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

SKU 3.1 · أسس النمذجة والتحليل

1. أسس النمذجة وأنواع النماذج

   ما النموذج وما الذي يجعله مفيداً، ومبادئ النمذجة، وتصنيف النماذج بحسب ما تصفه (المعلومات، والبنية، والسلوك) وبحسب درجة دقتها، وكيف يُختار أسلوب نمذجة لسؤال معين.

2. نمذجة المعلومات والبنية: نماذج أصناف التحليل والتعددية

   بناء نموذج أصناف تحليل من نص المتطلبات، والاختيار بين الصنف والسمة، والارتباطات، والتعميم، وأصناف الارتباط، وقراءة التعددية، وفحص هل يمكن أن تفي مجموعة معينة من الكائنات بتعددية النموذج.

3. نمذجة السلوك: حالات الاستخدام ومخططات النشاط وآلات الحالات

   نماذج السلوك الثلاثة المستخدمة في التحليل — نماذج حالات الاستخدام للأهداف، ومخططات النشاط لسير العمل بقراراته وخطواته المتوازية، وآلات الحالات للكائنات التي يعتمد تفاعلها على تاريخها — وكيف تُعدّ السيناريوهات التي يحتويها النموذج.

4. التوصيف الرسمي: الثوابت والشروط المسبقة واللاحقة

   توصيف النظام حالةً لها ثابت وعملياتٍ لها شروط مسبقة ولاحقة، والتزام الإثبات بأن كل عملية تحافظ على الثابت، وكيف يكشف ذلك أخطاء التوصيف قبل كتابة أي شيفرة.

5. التحليل الهندسي للنماذج: الاكتمال والاتساق والصحة

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

6. تطبيق التتبع عبر النماذج والشيفرة والاختبارات

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