التحقق والتحقق من صحة البرمجيات (Software Verification and Validation)

في مجالات إدارة مشاريع البرمجيات، واختبار البرمجيات، وهندسة البرمجيات، تُعد عملية التحقق (Verification) والتحقق من الصحة (Validation) ركيزتين أساسيتين لضمان أن النظام البرمجي يلبي المواصفات والمتطلبات المحددة، وبالتالي يحقق الغرض المقصود منه. يُشار إلى هذه العملية أحيانًا باسم مراقبة جودة البرمجيات، وهي تقع عادةً ضمن مسؤوليات مختبري البرمجيات كجزء من دورة حياة تطوير البرمجيات (SDLC).

الفرق الجوهري بين التحقق والتحقق من الصحة

غالبًا ما يتم الخلط بين المصطلحين، ولكن يمكن تلخيص الفرق بينهما بوضوح من خلال تساؤلين بسيطين:

• التحقق (Verification): هل نبني المنتج بشكل صحيح؟ (Are we building the product right?)
• التحقق من الصحة (Validation): هل نبني المنتج الصحيح؟ (Are we building the right product?)

بمعنى آخر، يركز التحقق على التأكد من أن المواصفات قد تم تنفيذها بشكل صحيح في النظام، بينما يركز التحقق من الصحة على العودة إلى احتياجات المستخدم النهائية للتأكد من أن المنتج يلبي تلك الاحتياجات.

أولاً: التحقق من البرمجيات (Software Verification)

تتضمن عملية التحقق التأكد من أن مخرجات كل مرحلة من مراحل التطوير تتوافق مع المدخلات والمواصفات الخاصة بها. لا يمكن الاعتماد فقط على تشغيل البرنامج للتحقق من صحة التصميم أو المعمارية، بل يتطلب الأمر مراجعة الوثائق والمخططات المرتبطة.

التحقق من الوثائق والمواصفات (Artifact Verification)

يتم التحقق من مخرجات كل مرحلة مقابل مواصفاتها المدخلة، ومن الأمثلة على ذلك:

• التحقق من مواصفات التصميم مقابل مواصفات المتطلبات: هل التصميم المعماري والتصميم التفصيلي ونموذج قاعدة البيانات المنطقي ينفذون المتطلبات الوظيفية وغير الوظيفية بشكل صحيح؟
• التحقق من مخرجات البناء مقابل مواصفات التصميم: هل الكود المصدري وواجهات المستخدم والنموذج الفيزيائي لقاعدة البيانات ينفذون مواصفات التصميم بدقة؟

ثانياً: التحقق من صحة البرمجيات (Software Validation)

يتحقق التحقق من الصحة من أن المنتج البرمجي النهائي يلبي الاستخدام المقصود واحتياجات جميع أصحاب المصلحة (المستخدمين، المشغلين، المديرين، والمستثمرين)، وليس فقط ما ورد في وثيقة المواصفات.

طرق التحقق من الصحة

1. التحقق الداخلي (Internal Validation): يفترض أن أهداف أصحاب المصلحة قد فُهمت بشكل صحيح وتم التعبير عنها بدقة في وثائق المتطلبات. إذا كان البرنامج يلبي هذه المواصفات، فقد تم التحقق من صحته داخلياً.
2. التحقق الخارجي (External Validation): يتم من خلال سؤال أصحاب المصلحة مباشرة عما إذا كان البرنامج يلبي احتياجاتهم. يتوجب في هذه المرحلة إجراء اختبار القبول (Acceptance Test)، وهو اختبار ديناميكي يؤكد رضا المستخدم النهائي.

التحقق من صحة الوثائق والمدخلات

يجب التحقق من صحة المتطلبات قبل اكتمال المنتج البرمجي بالكامل. ومن الأمثلة على ذلك:

• التحقق من مواصفات متطلبات المستخدم: التأكد من أن المتطلبات تمثل بالفعل أهداف أصحاب المصلحة من خلال المقابلات أو إصدار نماذج أولية (Prototypes).
• التحقق من مدخلات المستخدم: التأكد من أن البيانات التي يدخلها المستخدم عبر لوحة المفاتيح أو الحساسات تلتزم بقواعد النطاق والقيود (مثل نوع البيانات، المدى، والتنسيق).