Key points are not available for this paper at this time.
يمكن تحقيق تحسين جودة البرمجيات في المدى القريب من خلال استخدام منهجية اختبار البرامج النظامية. تحاول هذه المنهجية ربط حالات اختبار البرمجيات الوظيفية بالمواصفات الرسمية للبرمجيات كوسيلة لتحقيق التوافق بين البرمجيات ومواصفاتها. يتطلب ذلك توليد بيانات حالات اختبار مناسبة. يعتمد توليد حالات الاختبار التلقائي على المعرفة المسبقة لنوعين من معلومات الهيكل الداخلي: تمثيل شجرة المؤسسة الفرعية التي تحددت تلقائيًا من داخل كل نص برنامج، وتمثيل هيكل التكرار لكل مؤسسة فرعية. يسمح تقسيم برنامج كبير بذلك لتوليد حالات اختبار تلقائي بشكل فعال وفعال باستخدام تقنيات الرجوع البسيطة. خلال الرجوع، يتم تطبيق عدد من التحليلات التبسيطية والتوحيد والتحقق من الاتساق. النتيجة هي إما (1) التعرف المبكر على استحالة تدفق برنامج معين، أو (2) توليد فعال لمواصفات المتغيرات المدخلة التي تسبب مرور حالة الاختبار عبر كل جزء من تدفق البرنامج المطلوب. تُعطى عدد من أمثلة ناتج الآلة من تسهيلات الرجوع، ويتم مناقشة الفعالية العامة للعملية بالكامل.
درس ميلر وآخرون (الأربعاء) هذا السؤال.