DESIGN AND EVALUATION OF MUTATION OPERATORS FOR THE ASMETAL LANGUAGE
No Thumbnail Available
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Saudi Digital Library
Abstract
استحدثت آلات الحالة المجردة (ASM) بواسطة جورفيتش في عام 4891 . وتهدف آلات الحالة المجردة لسد الفجوة بين المواصفات غير الرسمية والرسمية من خلال تحويل المواصفات غير الرسمية لمواصفات رسمية واضحة وموجزة. وتعتبر نماذج ASM بسيطة وموجزة، وقابلة للتنفيذ. بالإضافة إلى أنها تدعم مستويات مختلفة من التجريد، وتوفر نماذج صقل واضحة المعالم. وتدعم ASMs كل من المواصفات المتزامنة وغير القطعية . وقد تم اقتراح عدة لغات على أساس ASM للتطوير والتحقق من صحة مواصفات آلات الحالة المجردة. Asmeta هي عبارة عن إطار للتشغيل المتبادل و المتكامل والتي توفر بنية تحتية موحدة تخدم مختلف لغات وأدوات مجال معين. ويعد اختبار الطفرة تقنية تهدف لتقييم مدى ملاءمة مجموعات الاختبار من خلال تعمد إدخال أخطاء في التعليمات البرمجية للبرنامج وذلك من أجل تقييم مدى قدرة مجموعة الاختبار الكشف عن الأخطاء التى تم إدخالها آنفا. وتقترح هذه الرسالة نهج اختبار الطفرة يستند على تقنية المواصفات ASM . وفي هذه الرسالة، تم تصمم مجموعة من مشغلات الطفرة للغة AsmetaL . وتم تحليل وتقييم هذه المشغلات تجريبيا باستخدام عدة دراسات حالة. وعلاوة على ذلك، فإن مجموعة المشغلات المقترحة تم تنفيذها بواسطة MuAsmetaL ، والتي تعتبر أداة لإجراء اختبار الطفرة للغة AsmetaL ، مما يسمح للتحقق من صحة وتنفيذ الطفرات، فضلا عن توليد الإحصاءات ذات الصلة. وكتطبيق للنهج المقترح، تم تولد مجموعات اختبار باستخدام أداة ATGT المتوافقة مع لغة AsmetaL بناء على معايير التغطية المختلفة، وجرى تقييمها. ومن المعروف عن اختبار الطفرة أنه ذا تكلفة حسابية عالية. وفي هذه الرسالة، تم تطبيق كل من الطفرة الانتقايية والعشوايية للغة AsmetaL مما أدى لنتايج ايجابية من حيث الفعالية وخفض التكلفة الحسابية.