ما هو الاختبار القائم على النموذج؟

ما هو الاختبار القائم على النموذج؟

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

هناك العديد من النماذج المتاحة، وهي تصف جوانب مختلفة من سلوك النظام. ومن أمثلة النموذج ما يلي:

• تدفق البيانات
• التحكم في التدفق
• الرسوم البيانية التبعية
• جداول القرار
• آلات انتقال الدولة

يصف الاختبار المبني على النموذج كيف يتصرف النظام استجابةً لإجراء ما (يحدده النموذج). قم بتوفير الإجراء ومعرفة ما إذا كان النظام يستجيب وفقًا للتوقعات.

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

مثال على الاختبار القائم على النموذج

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

أنواع MBT

هناك نوعان من أطر الاختبار القائمة على النموذج-

1. دون اتصال / بداهة: إنشاء مجموعات الاختبار قبل تنفيذها. مجموعة الاختبار ليست سوى مجموعة من حالات الاختبار.
2. عبر الإنترنت/أثناء التنقل: إنشاء مجموعات الاختبار أثناء تنفيذ الاختبار

نماذج مختلفة في الاختبار

من أجل فهم MBT، من الضروري فهم بعض النماذج الموضحة أدناه. دعنا نذهب من خلالهم واحدا تلو الآخر:

آلات الحالة المحدودة

يساعد هذا النموذج المختبرين على تقييم النتيجة اعتمادًا على المدخلات المحددة. يمكن أن تؤدي مجموعات مختلفة من المدخلات إلى حالة النظام المقابلة.

سيكون للنظام حالة محددة وحالة حالية، والتي تحكمها مجموعة من المدخلات المقدمة من قبل المختبرين.

خذ بعين الاعتبار المثال-

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

مخططات الدولة

إنها امتداد لآلة الحالة المحدودة ويمكن استخدامها للأنظمة المعقدة والزمنية الحقيقية. تُستخدم مخططات الحالة لوصف سلوكيات مختلفة للنظام. ولديها عدد محدد من الحالات. يتم تحليل سلوك النظام وتمثيله في شكل أحداث لكل حالة.

على سبيل المثال -

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

لغة النمذجة الموحدة (UML)

لغة تصميم موحدة (UML) هي لغة نمذجة موحدة للأغراض العامة. يتضمن UML مجموعة من تقنيات التدوين الرسومي لإنشاء نماذج مرئية يمكنها وصف السلوك المعقد للغاية للنظام.

يحتوي UML على تدوينات مثل:

• تجاربنا
• الجهات الفاعلة
• طريقة العمل
• مكونات
• لغة برمجة

تحديات الاختبار القائم على النموذج

من الواضح أن نشر MBT في كل منظمة يتطلب قدرًا كبيرًا من الاستثمار والجهد. فيما يلي عيوب MBT في: هندسة البرمجيات.

• المهارات اللازمة المطلوبة في المختبرين
• وقت منحنى التعلم سيكون أكثر
• من الصعب فهم النموذج نفسه

مزايا اختبار النموذج

وفيما يلي فوائد MBT:

• حالة اختبار/صيانة سهلة للجناح
• تخفيض التكلفة
• تغطية اختبار محسنة
• يمكن إجراء اختبارات مختلفة على عدد n من الأجهزة
• الكشف المبكر عن الخلل
• زيادة في عدد العيوب
• توفير الوقت
• تحسين الرضا الوظيفي للمختبر

خاتمة

يقوم المختبرون ببناء نماذج عقلية على أي حال أثناء الاختبار. ويمكن تحويل تلك النماذج العقلية إلى نماذج على الورق. وهذا يساعد المختبرين على تحقيق سهولة القراءة وإعادة الاستخدام.

الاختبار القائم على النموذج هو نهج جديد ل اختبار البرمجيات. يظهر تطور اختبار البرمجيات أدناه -