دليل مراجعة التحقق من البرمجيات والمصادقة عليها (هندسة البرمجيات)

SKU 6.1 · أسس التحقق والمصادقة والاختبار

1. التحقق والمصادقة وخطة التحقق والمصادقة

   ما يفحصه كل من التحقق والمصادقة، والأساليب الساكنة والديناميكية لكليهما، وكيف يُصادَق على النظام مقابل احتياجات المستخدمين، وكيف تُبنى خطة تحقق ومصادقة تتدرج بحسب مستوى السلامة.

2. المراجعات والتفتيش والتدقيق والتحليل الساكن

   الجانب الساكن من التحقق والمصادقة: أنواع المراجعة الخمسة في IEEE 1028، وكيف يجري تفتيش فاغان، وكيف يفحص التدقيق مشروعاً مقابل معاييره وخططه، وما يكشفه التحليل الساكن، وكيف تُقدَّر العيوب التي فاتت التفتيش.

3. أساسيات الاختبار والنمذجة الأولية وإعداد التقارير

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

4. تصميم الاختبارات من مجال المدخلات ومن النماذج

   أساليب الصندوق الأسود التي تشتق الاختبارات من المواصفة: تقسيم التكافؤ والقيم الحدية لعدة متغيرات، وجداول القرار لتوليفات الشروط، والاختبار الزوجي، واختبار انتقال الحالات من نموذج حالات.

5. الاختبار القائم على الشيفرة وعلى العيوب: التغطية وMC/DC والطفرات

   معايير الصندوق الأبيض بعد تغطية الجمل والفروع — تغطية الشرط، والشرط/القرار، وMC/DC، والشروط المتعددة — وتحليل الطفرات الذي يحكم على مجموعة الاختبارات بالعيوب المزروعة التي تكشفها.

6. الاختبار القائم على الاستخدام ونمو الاعتمادية واختيار الأساليب

   كيف يقيس الاختبار الموجَّه بملف التشغيل الاعتمادية كما سيلقاها المستخدمون، وكيف يخبرك نموذج زمن التنفيذ الأساسي بكمية الاختبار الإضافية التي يتطلبها هدف لشدة الأعطال، وكيف تُختار أساليب الاختبار وتُجمع لموقف معين.

7. اختبار الوحدات: الأطر وبدائل الاختبار والتطوير المقاد بالاختبار

   كيف يُبنى اختبار الوحدة ويُشغَّل في إطار من عائلة xUnit، وكيف تُستبدل الاعتماديات بالمشغّلات والبدائل والجواسيس والمحاكيات والمزيفات، وكيف يضع التطوير المقاد بالاختبار الاختبارَ أولاً.