منهج التحقق
انتقل من التعريف إلى الدليل دون أن تتخطى الخطوات التي بينهما.
المسار الذي يقطعه الادعاء من تعريف مكتوب إلى نتيجة مثبتة، وما تستطيع كل خطوة أن تثبته وما لا تستطيع.
من المنهج إلى المستوى
يكتسب المستوى بنوع من العمل لا بمرور الوقت. ويبين هذا الجدول أي عمل يمكن أن يسند أي مستوى.
| المنهج | المستوى الذي يمكن أن يسنده | ما يتألف منه |
|---|---|---|
| تحديد المعمارية | E1 معمارية محددة | مواصفة روجعت لما هو النظام وكيف ترتبط أجزاؤه. |
| تقييم النموذج الأولي والمحاكاة والبرمجيات في الحلقة | E2 نموذج أولي تم التحقق منه | تشغيلات قابلة للتكرار على مدخلات معدة، مع تسجيل الإعداد. |
| العتاد في الحلقة والتحقق التكاملي | E3 تحقق متكامل | الأجزاء وهي تعمل معا بواجهات حقيقية ونتائج مسجلة. |
| التحقق الميداني المنضبط | E4 تحقق ميداني منضبط | تجربة مخططة في بيئة حقيقية، بظروف معلنة وسجل محفوظ. |
| الاعتماد والدليل التشغيلي | E5 معتمد وتشغيلي | اعتماد رسمي، أو سجلات من التشغيل ضمن نطاق معلن. |
| البند | محددة | نموذج أولي | متكاملة | ميدانية |
|---|---|---|---|---|
| الوحدة أ | منجزة | جارية | لم تبدأ | لم تبدأ |
| الوحدة ب | منجزة | لم تبدأ | لم تبدأ | لم تبدأ |
| الوحدة ج | جارية | لم تبدأ | لم تبدأ | لم تبدأ |
ما يثبته كل منهج وما لا يثبته
المحاكاة ليست دليلا ميدانيا. فكل منهج يجيب عن نوع واحد من الأسئلة ويسكت عما يليه.
- مراجعة المعماريةيمكنه أن يثبت اتساق التصميم واكتماله على الورق، ولا يثبت أنه يعمل.
- المحاكاة والبرمجيات في الحلقةيمكنه أن يثبت سلوك المنطق في حالات معدة. ولا يثبت سلوكه مع إشارات حقيقية وتشويش حقيقي وطقس حقيقي.
- العتاد في الحلقة والتكامليمكنه أن يثبت أن الأجزاء تعمل معا. ولا يثبت سلوك المنظومة في وضع غير منضبط.
- التجربة الميدانية والاعتماديمكنه أن يثبت السلوك في الظروف التي اختبرت. ولا يثبته في ظروف لم تختبر.
كيف يكتب الادعاء
كل ادعاء يستند إلى سجل يسمي ثلاثة أمور، حتى يرى القارئ أين ينتهي.
- النطاقما الذي اختبر وما الذي لم يختبر.
- الظروفالبيئة والمدخلات والتاريخ التي صح فيها.
- القيدما لا تبينه النتيجة.
التصحيحات والإصدارات
نصحح علنا. والادعاء الذي يتغير يحتفظ بصياغته السابقة في سجل ظاهر، وكل مقال وسجل دليل يحمل رقم إصدار وتاريخا.
- قد ينخفض المستوىإذا سحب سجل أو تبين أنه أضعف مما ذكر، ينخفض المستوى وتبين الصفحة السبب.
- أخبرنا بما هو خطأإذا رأيت أن صفحة تقول أكثر مما يسنده دليلها فراسلنا. فذلك طلب تصحيح، ونرد عليه.