التحقق والتثبت من البرمجيات

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

يمكن أن يخضع مخرج كل مرحلة من مراحل عملية تطوير البرامج للتحقق عند فحصه وفقًا لمواصفات المدخلات.

أمثلة على التحقق من المنتجات الثانوية:

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

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

يحدث التحقيق الخارجي عندما يُنفذ بسؤال أصحاب المصلحة عما إذا كان البرنامج يلبي احتياجاتهم. تتطلب منهجيات تطوير البرمجيات المختلفة مستويات مختلفة من مشاركة وملاحظات المستخدمين وأصحاب المصلحة؛ لذلك، يمكن أن يكون التحقيق الخارجي حدثًا منفصلًا أو مستمرًا. يكون التحقيق الخارجي النهائي ناجحًا عندما يقبل جميع أصحاب المصلحة المنتج البرمجي ويصرحون بأنه لبى احتياجاتهم. يتطلب هذا التحقيق الخارجي النهائي استخدام اختبار القبول وهو اختبار ديناميكي.

ولكن، من الممكن أيضًا إجراء اختبارات داخلية ثابتة لمعرفة ما إذا كان يُلبي مواصفات المتطلبات ولكن يندرج هذا في نطاق التحقق الثابت لأن البرنامج يكون غير شغّال.

يجب تحقيق المتطلبات قبل أن يصبح المنتج البرمجي جاهزًا ككل (تتطلب عمليات التطوير الشلالية تعريفها بشكل كامل قبل بدء التصميم؛ لكن لا تتطلب عمليات التطوير التكرارية ذلك وتسمح بالتحسين المستمر).

أمثلة على تحقيق المنتجات الثانوية:

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

وفقًا لنموذج نضج القدرة (سي إم إم آي-إس دبليو النسخة 1.1)،

• التحقق من البرمجية: عملية تقييم البرمجيات أثناء عملية التطوير أو عند نهايتها لتحديد ما إذا كانت تفي بالمتطلبات المحددة. [آي إي إي إي-إس تي دي-610]
• التحقيق البرمجي (التحقق من صحة البرمجيات): عملية تقييم البرنامج لتحديد ما إذا كانت منتجات مرحلة تطوير معينة تفي بالشروط المفروضة في بداية تلك المرحلة. [آي إي إي إي-إس تي دي-610]

يمكن اعتبار التحقيق أثناء تطوير البرمجيات شكلًا من أشكال تحقيق مواصفات متطلبات المستخدم؛ وهذا يُعادل في نهاية عملية التطوير تحقيق البرامج الداخلي و/ أو الخارجي. أما التحقق، من وجهة نظر سي إم إم آي، هو من نوع المنتجات الثانوية.

بمعنى آخر، يضمن التحقق أن مخرجات كل مرحلة من مراحل عملية تطوير البرنامج تنفذ بفعالية ما تحدده منتجات الدخل المقابلة (المتطلبات -> التصميم -> المنتج البرمجي)، في حين يضمن التحقيق أن المنتج البرمجي يلبي احتياجات جميع أصحاب المصلحة (لهذا، يُعبر عن مواصفات المتطلبات بشكل صحيح ودقيق في المقام الأول). يضمن التحقق أنك «بنيته بشكل صحيح» ويؤكد أن المنتج، كما هو مقدم، يفي بخطط المطورين. يضمن التحقيق البرنامج أنك «بنيت الشيء الصحيح» ويؤكد أن المنتج، كما هو مقدم، يفي بالاستخدام المقصود وأهداف أصحاب المصلحة.

استخدمت هذه المقالة التعريف المحكم أو الضيق للتحقيق.

من منظور الاختبار:

• خطأ: وظيفة خاطئة أو مفقودة في التعليمات البرمجية.
• فشل: مظهر من مظاهر الخطأ أثناء التنفيذ. مثل أن يكون البرنامج غير فعال، أو أنه لا يقوم بما يفترض أن يقوم به.
• عطل: لا يلبي النظام وظائفه المحددة وفقًا لمواصفاته. البرنامج غير فعال (يستهلك الكثير من الموارد مثل دورات وحدة المعالجة المركزية، ويستخدم الكثير من الذاكرة، ويجري الكثير من عمليات الإدخال/الإخراج، وغيرها)، أو لا يمكن استخدامه، أو أنه غير موثوق. أو لا يُنفذ شيء ما «بالطريقة» المفترض أن يُنفذه بها.