स्व-संकेत सॉफ़्टवेयर मान्यता के लिए नए प्रकट विचार

स्वचालित उपकरणों और संरचित प्रोग्रामिंग तकनीकों का उपयोग McDonnell Douglas Corporation के विभिन्न वैज्ञानिक और व्यावसायिक अनुप्रयोग प्रोग्रामिंग परियोजनाओं में किया जा रहा है। परिणामस्वरूप कार्यक्रमों की जांच करने से कुछ विकास और रखरखाव विशेषताएँ उजागर होती हैं जो स्वचालित उपकरणों के लिए नए और बहुत दिलचस्प अनुप्रयोगों का सुझाव देती हैं। PET (FORTRAN के लिए वर्तमान में चलने वाला McDonnell Douglas मान्यता उपकरण) का उपयोगकर्ता एम्बेडेड असर्शन क्षमता को शामिल करने के लिए विस्तार करना कार्यक्रमों के गतिशील निष्पादन को स्वचालित रूप से सत्यापित करने की दिशा में एक कदम प्रस्तुत करता है। एक उपयोगकर्ता-उन्मुख स्थानीय और वैश्विक असर्शन क्षमता की शुरुआत की जाती है और इसके कार्यान्वयन पर चर्चा की जाती है। एक अच्छी तरह से विचार किए गए संरचित प्रोग्रामिंग वातावरण में इन उपकरणों का आवेदन अधिक विश्वसनीय सॉफ़्टवेयर सिस्टम के विकास में एक सकारात्मक कदम आगे बढ़ाता है।