मॉडल-आधारित औपचारिक विनिर्देशन के निर्देशित परीक्षण का अमूर्त डेटा प्रकार

एक मॉडल-आधारित औपचारिक विनिर्देशन निर्देशित सॉफ़्टवेयर परीक्षण दृष्टिकोण प्रस्तुत किया गया है। यह एक परीक्षण ओरेकल प्रदान करता है और औपचारिक विनिर्देशों के आधार पर कार्यात्मक (ब्लैक-बॉक्स) परीक्षण के लिए एक नया कवरेज मानदंड प्रस्तुत करता है। एक कार्यान्वयन के स्रोत कोड, इसके औपचारिक विनिर्देशन और पुनर्प्राप्त करने वाली कार्यप्रणालियों को देखते हुए, एक परीक्षण ड्राइवर उत्पन्न किया जा सकता है जो कार्यात्मक परीक्षण को करने, मूल्यांकन करने और मापने के लिए। हालांकि, किसी कार्यान्वयन की पूर्ण विनिर्देशन की अनुरूपता का establishment परीक्षण के द्वारा अकेले नहीं किया जा सकता, हमारा दृष्टिकोण पूर्ण विनिर्देशन अनुरूपता की एक मजबूत आवश्यक शर्त प्रदान करता है।