मानकों के अनुसार सॉफ्टवेयर परीक्षण के लिए स्वचालित सत्यापन उपकरण का उपयोग करना DO-178B / C (КТ-178В), EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304

पद के लेखक से परिचय

8 से अधिक वर्षों के लिए महत्वपूर्ण प्रणालियों के लिए सॉफ्टवेयर विकसित करने का अनुभव होने के बाद, मैं समुदाय को महत्वपूर्ण प्रणालियों (एयरोस्पेस, चिकित्सा, परिवहन और उद्योग) के लिए सॉफ्टवेयर के विकास और सत्यापन से संबंधित कुछ सामग्रियों से परिचित कराना चाहता हूं। विदेशी सहयोगियों के कई दिलचस्प लेखों के अनुवाद और अनुकूलन के लिए सहमत होने के बाद, मैंने इस संसाधन का उपयोग करने का निर्णय लिया। मुझे खुशी होगी अगर लेख हमारे समुदाय के लिए रुचि का हो। लेख वेक्टर सॉफ्टवेयर, इंक से सामग्री का उपयोग करता है और वेक्टरकास्ट स्वचालित सत्यापन उपकरण का उपयोग करने का एक उदाहरण माना जाता है।
लेख में हम मानकों पर ध्यान केंद्रित करते हैं DO-178B / C (-178), लेकिन यह लेख मानकों के अनुसार उपयोग के लिए भी प्रासंगिक है: EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304।
मैं टिप्पणियों में या पीएम के सवालों का जवाब दूंगा।

परिचय

इस लेख में, हम देखेंगे कि DO-178B और DO-178C (CT-178B) मानकों "ऑन-बोर्ड सॉफ्टवेयर आवश्यकताओं की धारा 6.0 में परिभाषित सॉफ्टवेयर सत्यापन प्रक्रिया के लक्ष्यों को प्राप्त करने के लिए वेक्टरकैस्ट के एम्बेडेड सॉफ्टवेयर परीक्षण मंच का उपयोग कैसे किया जा सकता है।" उड्डयन प्रौद्योगिकी के प्रमाणन के लिए उपकरण और प्रणाली। " दस्तावेज़ खंड 12 में दो मानकों के बीच अंतर को उजागर करता है, उपकरण योग्यता प्रक्रिया।

क्या मानक हैं DO-178B और DO-178C

DO-178B को पहली बार दिसंबर 1992 में RTCA, Inc. द्वारा प्रकाशित किया गया था। दस्तावेज़ ने उन संगठनों द्वारा लागू बुनियादी सिद्धांतों को रेखांकित किया जो ऑन-बोर्ड उपकरण और प्रमाणन निकाय विकसित करते हैं, जैसे कि FAA, EASA, TransportCanada। DO-178B का विकास RTCA और EUROCAE के संयुक्त प्रयास का परिणाम था, बाद में ED-12B नामक एक दस्तावेज प्रकाशित हुआ। प्रमाणन प्राधिकरण सॉफ्टवेयर डेवलपमेंट टीम्स (CAST) ने प्रारंभिक प्रकाशन के बाद सहायक दस्तावेज विकसित किए हैं।

DO-178C DO-178B को मुख्य दस्तावेज के रूप में प्रतिस्थापित करेगा, जिसके अनुसार प्रमाणन प्राधिकरण सभी वाणिज्यिक एयरोस्पेस सिस्टम को मंजूरी देते हैं जिसमें सॉफ्टवेयर शामिल हैं। दस्तावेज़ DO-178C DO-178B को प्रकाशिकी के क्षेत्र में सॉफ्टवेयर विकास के प्रकाश में अनुभव और जानकारी के प्रकाश में संशोधित कर रहा है। DO-178C (ED-12C) नामक एक नया दस्तावेज़ नवंबर 2011 में तैयार किया गया था, जिसे दिसंबर 2011 में RTCA द्वारा अनुमोदित किया गया था, और इसे जनवरी 2012 में उपयोग के लिए उपलब्ध कराया गया था।

DO-178B और DO-178C (DO-178B / C) दोनों ही उस प्रक्रिया को विनियमित करते हैं जिसे ऑन-बोर्ड सिस्टम विकसित करते समय पालन किया जाना चाहिए। सॉफ्टवेयर सत्यापन प्रक्रिया में प्रमुख आवश्यकताओं में से एक DO-178B / C मानक के अनुसार उच्च और निम्न स्तर के सॉफ्टवेयर के लिए आवश्यकताओं के परीक्षण के साथ संयोजन में संरचनात्मक कोड कवरेज प्राप्त करना है।

प्रणाली के सुरक्षा मूल्यांकन के आधार पर, विफलता की स्थितियों की श्रेणियां स्थापित की गईं। ये श्रेणियां एविओनिक्स के क्षेत्र में सुरक्षित संचालन के लिए आवश्यक सॉफ्टवेयर अखंडता के स्तर को निर्धारित करती हैं। दस्तावेज़ DO-178B / C सॉफ्टवेयर को संपूर्णता के 5 स्तरों पर वर्गीकृत करता है, जो संपूर्ण प्रणाली के कामकाज पर इसके प्रभाव पर निर्भर करता है। नीचे दी गई तालिका विफलता राज्य श्रेणी और संरचनात्मक कवरेज लक्ष्य के बीच के संबंध को DO-178B / C के अनुसार दर्शाती है।

स्तर	विफलता का पता लगाने	संरचनात्मक कोटिंग का प्रकार
एक	सॉफ्टवेयर सिस्टम और विमान की भयावह विफलता का कारण बन सकता है	शर्तों और शाखाओं का संशोधित कवरेज; शाखा कवर; निर्देशों का कवरेज;
बी	सॉफ्टवेयर सिस्टम और विमान की आपातकालीन विफलता की स्थिति पैदा कर सकता है	शाखा कवर; निर्देशों का कवरेज;
सी	सॉफ्टवेयर सिस्टम और विमान की जटिल विफलताओं को जन्म दे सकता है	निर्देशों का कवरेज;
डी	सॉफ्टवेयर विमान की "उड़ान शर्तों को जटिल" जैसी विफलता की स्थिति पैदा कर सकता है	आवश्यकता नहीं है
ए	सॉफ्टवेयर विमान की परिचालन क्षमताओं को प्रभावित किए बिना विफलता की स्थिति पैदा कर सकता है	आवश्यकता नहीं है

वेक्टरकैस्ट क्या है

उपकरण की वेक्टरकास्ट लाइन सूचना के संग्रह और डीओ -171 बी / सी में निर्दिष्ट सभी स्तरों पर संरचनात्मक कोड कवरेज डेटा पर रिपोर्ट के निर्माण का समर्थन करती है, जिसमें स्तर ए, और डीओ -171 बी / सी के साथ सत्यापन के लिए आवश्यक सभी परीक्षण कलाकृतियों का निर्माण शामिल है। वेक्टरकैस्ट उत्पाद लाइन में पाँच पूरक प्रौद्योगिकियाँ शामिल हैं:

• वेक्टरकैस्ट / सी ++ / एडीए - ये उपकरण सी में लिखे गए स्रोत मॉड्यूल के परीक्षण की प्रक्रिया को स्वचालित करते हैं,
  C ++ या Ada - दोनों इकाई और एकीकरण परीक्षण के लिए। कवरेज डेटा को 100% कवरेज प्राप्त करने के लिए वेक्टरकास्ट / कवर डेटा के साथ जोड़ा जा सकता है।
• वेक्टरकैस्ट / कवर - सी, सी ++ और एडीए के लिए एक कार्यात्मक और / या सिस्टम परीक्षण के निष्पादन के दौरान कोड कवरेज कलाकृतियों को बनाने के लिए डिज़ाइन किया गया है।
• VectorCAST / RGW - परीक्षण स्क्रिप्ट के साथ लिंक आवश्यकताएँ प्रदान करता है।
• वेक्टरकैस्ट / आरएसपी - वेक्टरकैस्ट / सी ++ या वेक्टरकैस्ट / अदा का विस्तार करता है, जो लक्ष्य प्लेटफार्मों और / या एक सिमुलेशन वातावरण में वास्तविक समय अनुप्रयोगों का परीक्षण करने की क्षमता प्रदान करता है।
• वेक्टरकैस्ट / मैनेज - यूनिट और एकीकरण परीक्षण के लिए प्रतिगमन परीक्षण की गतिविधियों को स्वचालित करने के लिए उपयोग किया जाता है।

उपकरण निम्न-स्तरीय सॉफ़्टवेयर आवश्यकताओं के परीक्षण के तथ्य की पुष्टि करने के लिए परीक्षण मामलों के निर्माण और प्रबंधन का भी समर्थन करते हैं।

कैसे वेक्टरकास्ट DO-178B / C का समर्थन करता है

सॉफ्टवेयर सत्यापन प्रक्रिया के उद्देश्यों को DO-178B / C मानक के खंड 6.0 में परिभाषित किया गया है।

धारा 6.4 - "सॉफ्टवेयर परीक्षण"

यह खंड तीन प्रकार के परीक्षण स्थापित करता है:

हार्डवेयर / सॉफ्टवेयर एकीकरण परीक्षण
इस प्रकार के परीक्षण का उपयोग उच्च-स्तरीय आवश्यकताओं को पूरा करने के लिए किया जाता है और निष्पादन योग्य कार्यक्रम की एक पूर्ण छवि का उपयोग करके लक्ष्य उपकरणों पर किया जाता है। इस प्रकार का परीक्षण वेक्टरकैस्ट / कवर का उपयोग करता है, जो सिस्टम और / या कार्यात्मक स्तरों की परीक्षण प्रक्रियाओं के निष्पादन के दौरान कोड कवरेज को पंजीकृत करता है।

सॉफ्टवेयर एकीकरण परीक्षण
सॉफ्टवेयर एकीकरण परीक्षण तत्वों के परस्पर संबंध की पुष्टि करता है। इस स्तर पर परीक्षण एक समय में कई सॉफ्टवेयर घटकों का परीक्षण करने के लिए वेक्टरकैश / सी ++ या वेक्टरकैस्ट / अदा का उपयोग करके किया जाता है। इस प्रकार के परीक्षण का समर्थन करने के लिए एक पूर्ण परीक्षण कार्यक्रम स्वचालित रूप से उत्पन्न होता है, और यह सुनिश्चित करने के लिए कि सभी आवश्यकताओं का परीक्षण किया जाता है, सॉफ़्टवेयर परीक्षण को अलग-अलग परीक्षण स्क्रिप्ट में चिह्नित किया जा सकता है।

निम्न स्तर का परीक्षण
निम्न-स्तर की आवश्यकताओं का परीक्षण करने के लिए उपयोग किया जाता है और आमतौर पर एक अलग स्रोत कोड मॉड्यूल को अलग करने के लिए इकाई परीक्षणों की एक श्रृंखला द्वारा किया जाता है। परीक्षण के इस चरण के दौरान, वेक्टरकैस्ट / सी ++ और वेक्टरकैस्ट / एडीए का उपयोग किया जाता है।

खंड 6.4.1 - "परीक्षण पर्यावरण"

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

वेक्टरकैस्ट लक्ष्य प्लेटफॉर्म पर परीक्षण या इसके सिम्युलेटर का उपयोग करने के लिए पूरी तरह से समर्थन करता है, आमतौर पर कंपाइलर प्रदाता द्वारा प्रदान किया जाता है। परीक्षण किए गए पृथक घटकों के संरचनात्मक कोटिंग को कोटिंग मैट्रिक्स की एक समग्र प्रस्तुति को प्रदर्शित करने के लिए पूर्ण एकीकरण परीक्षण के दौरान एकत्र किए गए कोटिंग के साथ जोड़ा जा सकता है।

डीडीटी परीक्षण दृष्टिकोण के स्रोत कोड की परवाह किए बिना वेक्टरकैस्ट परीक्षण मामलों का समर्थन किया जाता है। यह तकनीक आपको डेवलपर की मशीन पर, सिम्युलेटर में या सीधे लक्ष्य मंच पर ऑपरेशन के पूरी तरह से स्वचालित मोड में परीक्षण चलाने की अनुमति देती है।

धारा 6.4.2 - "आवश्यकताओं के आधार पर टेस्ट केस का चयन"

DO-178B / C इंगित करता है कि सॉफ़्टवेयर सत्यापन आवश्यकताओं पर आधारित होना चाहिए, जैसा कि स्रोत कोड के आधार पर सत्यापन के विपरीत है। आवश्यकता-आधारित परीक्षणों में पहले आवश्यकताओं को ध्यान में रखने वाले कोड को चलाने के लिए इनपुट कोड बनाने के लिए परीक्षक या डेवलपर्स की आवश्यकता होती है। इस प्रकार का परीक्षण दो रूप लेता है: इनपुट मानों और मजबूत परीक्षणों की स्वीकार्य सीमा में परीक्षण के मामले।

धारा 6.4.2.1 - "मान्य सीमा में परीक्षण के उदाहरण"

मूल्यों की सामान्य श्रेणी का परीक्षण करने का उद्देश्य सामान्य इनपुट डेटा और ऑपरेटिंग मोड पर प्रतिक्रिया करने के लिए सॉफ़्टवेयर की क्षमता का प्रदर्शन करना है। अधिक सटीक रूप से, इनपुट डेटा के वास्तविक और पूर्णांक मानों की जाँच की जानी चाहिए। वेक्टरकैस्ट जीयूआई का उपयोग करके या स्क्रिप्ट का उपयोग करके इन मूल्यों को सेट करने की क्षमता प्रदान करता है, जैसा कि नीचे दिए गए चित्र में दिखाया गया है:

समय से संबंधित कार्यों के लिए, परीक्षण फ़ंक्शन की विशेषताओं की शुद्धता सुनिश्चित करने के लिए कई कोड पुनरावृत्तियों का प्रदर्शन किया जाना चाहिए।

वेक्टरकास्ट समय के साथ परीक्षणों के माध्यम से पुनरावृति का एक सरल और सुविधाजनक तरीका प्रदान करता है। इस सुविधा को "यौगिक परीक्षण" कहा जाता है। यह परीक्षक को समय के साथ कई बार या कई परीक्षणों को चलाने की अनुमति देता है, ताकि निष्पादन के दौरान डेटा स्थिर रहे।

तार्किक समीकरण द्वारा व्यक्त की गई आवश्यकताओं के लिए, MC / DC की आवश्यकता हो सकती है। वेक्टरकैस्ट एमसी / डीसी कवरेज और तुल्यता मैट्रीस प्रदान करता है।

खंड 6.4.2.2 - "मजबूत परीक्षण उदाहरण"

मजबूत परीक्षण स्क्रिप्ट का उद्देश्य किसी दिए गए सीमा के बाहर मूल्यों और स्थितियों का जवाब देने के लिए सॉफ़्टवेयर की क्षमता का प्रदर्शन करना है। वेक्टरकैस्ट किसी भी प्रकार के मूल्यों या असामान्य मूल्यों के परीक्षण से "सीमा से बाहर" का समर्थन करता है। ऐसा करने के लिए, मानों की सामान्य श्रेणी की जांच करने के लिए विकल्प का उपयोग करें। निम्नलिखित आंकड़ा सीमा से बाहर मूल्य निर्धारित करने का एक उदाहरण दिखाता है।

खंड 6.4.3 - "आवश्यकता परीक्षण विधियाँ"

आवश्यकताओं के आधार पर परीक्षण विधियाँ (परीक्षण) निम्नलिखित हैं:

• हार्डवेयर / सॉफ्टवेयर एकीकरण परीक्षण
• सॉफ्टवेयर एकीकरण परीक्षण
• निम्न स्तर का परीक्षण

वेक्टरकैस्ट परीक्षण के सभी तीन स्तरों का समर्थन करता है। हार्डवेयर / सॉफ्टवेयर एकीकरण परीक्षण के लिए, वेक्टरकास्ट ए, बी और सी के स्तर के विकास की परियोजनाओं के लिए संरचनात्मक कवरेज क्षमताएं प्रदान करता है। यह परीक्षण लक्ष्य प्लेटफॉर्म पर या लक्ष्य प्लेटफॉर्म सिम्युलेटर का उपयोग करके किया जा सकता है।

सॉफ्टवेयर एकीकरण और निम्न-स्तरीय परीक्षण के लिए, वेक्टरकैस्ट एक निष्पादन योग्य परीक्षण कार्यक्रम को स्वचालित रूप से डिज़ाइन करना संभव बनाता है, जो व्यक्तिगत घटकों या घटकों के एक सेट का परीक्षण प्रदान करता है। परीक्षण के इन चरणों के दौरान, एक संरचनात्मक कोटिंग को इकट्ठा किया जाता है, जिसे परीक्षण की पूर्णता का आकलन करने के लिए एक एकल इकाई में जोड़ा जाता है।

खंड 6.4.4 - "टेस्ट कवर विश्लेषण"

टेस्ट कवरेज विश्लेषण में संरचनात्मक कोटिंग और आवश्यकताओं के आधार पर कोटिंग के विश्लेषण का परीक्षण शामिल है। पहला कदम यह है कि परीक्षण मामले का विश्लेषण करने के लिए पुष्टि करें कि सभी आवश्यकताएँ विशिष्ट / दिए गए परीक्षण मामले से संबंधित हैं। अगला कदम यह सत्यापित करना है कि परीक्षण आवश्यकताओं के आधार पर पूरे हुए हैं।

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

खंड 6.4.4.1 - "आवश्यकताओं के आधार पर परीक्षण कोटिंग्स का विश्लेषण"

वेक्टरकास्ट / आरजीडब्ल्यू (आवश्यकताएँ गेटवे) आपको कवरेज विश्लेषण की आवश्यकताओं को पूरा करने के लिए परीक्षण मामलों के साथ सॉफ्टवेयर आवश्यकताओं के संबंध को ट्रैक करने की अनुमति देता है।

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

यदि आप परीक्षण मामलों को कम से कम एक बार चलाते हैं, तो ट्रैसेबिलिटी मेट्रिक्स को वेक्टरकास्ट या आवश्यकताओं प्रबंधन उपकरण से देखा जा सकता है। उपयोगकर्ता का पूरा नियंत्रण है कि कौन सी विशेषताएँ वेक्टरकास्ट आवश्यकताओं डेटाबेस को वापस देगी। डेटा जैसे "परीक्षण नाम", "परीक्षा परिणाम" (सफलता / विफलता / परिणाम की कमी) उपयोगकर्ता द्वारा चयनित आवश्यकताओं डेटाबेस की विशेषता के साथ जुड़ा हो सकता है।

खंड 6.4.4.2 - "संरचनात्मक कोटिंग विश्लेषण"

इस विश्लेषण का उद्देश्य यह निर्धारित करना है कि आवश्यकताओं के आधार पर परीक्षण के दौरान कोड के किस हिस्से को निष्पादित नहीं किया गया था।

वेक्टरकास्ट आपको अपने परीक्षण प्रयासों की प्रभावशीलता की गणना करने और यह निर्धारित करने की अनुमति देता है कि परीक्षण-आधारित परीक्षण के दौरान आवेदन के किन हिस्सों को निष्पादित किया गया था। यह आपके परीक्षणों की पूर्णता का विश्लेषण करने के लिए एक सुविधाजनक उपकरण है, जो किसी एप्लिकेशन को कोड के साथ जारी करने की संभावना को समाप्त करता है जिसे परीक्षण नहीं किया गया है। वेक्टरकॉस्ट आपको अपने आवेदन के किसी भी हिस्से या समग्र रूप से आवेदन का विश्लेषण करने की अनुमति देता है। प्रत्येक विश्लेषण की गई फ़ाइल के लिए, वेक्टरकास्ट एक स्रोत कोड दर्शक बनाता है जिसमें निम्न जानकारी शामिल होती है:

• एक कवरेज सारांश आपके स्रोत कोड का एक रंग-कोडित दृश्य है जो निर्धारित करता है कि कोड पूरी तरह से, आंशिक रूप से कवर किया गया है, या खुला है।
• मेट्रिक्स सारांश एक स्रोत कोड जटिलता सूची (मैककेबे) और प्रत्येक दिनचर्या के लिए वर्तमान स्रोत कोड कवरेज स्थिति प्रदान करता है।
• सशर्त कवरेज विश्लेषण प्रत्येक उपप्रोग्राम के लिए सभी नियंत्रण पथ दिखाता है।
• स्तर ए सॉफ्टवेयर के लिए MC / DC RTCA DO-178B / C के लिए है।

एमसी / डीसी विश्लेषण बताता है कि प्रत्येक अवचेतन स्वतंत्र रूप से पूरी स्थिति के परिणाम पर कार्य कर सकता है। इसकी पुष्टि करने के लिए, आपको स्थिति के परिणाम के मूल्यों के साथ-साथ प्रत्येक उप-स्थितियों के मूल्यों को रिकॉर्ड करने में सक्षम होना चाहिए। वेक्टरकास्ट / कवर इस जानकारी को दो प्रारूपों में एकत्रित करता है: स्रोत कोड की एक टिप्पणी सूची में और प्रत्येक तार्किक स्थिति के लिए युग्मित तुलना के मैट्रिक्स में।

स्तर ए के लिए संरचनात्मक कवरेज में अंतर

DO-178B और DO-178C मानकों के बीच एक महत्वपूर्ण अंतर है, जो स्तर ए पर सॉफ्टवेयर की संरचनात्मक कवरेज को संदर्भित करता है। सभी मामलों में स्तर ए से संबंधित नहीं है, संरचनात्मक कोटिंग का विश्लेषण स्रोत कोड का उपयोग करके किया जाता है। स्तर ए के लिए, यदि कंपाइलर ऑब्जेक्ट कोड उत्पन्न करता है जो सीधे स्रोत कोड ऑपरेटरों से पता नहीं लगाया जाता है, तो ऐसे कोड की शुद्धता सुनिश्चित करने के लिए अतिरिक्त सत्यापन किया जाना चाहिए।

वाक्यांश का अर्थ "अतिरिक्त सत्यापन किया जाना चाहिए" DO-178B और DO-178C में भिन्न होता है। DO-178B कहता है कि ऑब्जेक्ट कोड पर अतिरिक्त सत्यापन किया जाना चाहिए। DO-178C ने इस आवश्यकता को हटा दिया और बस कहा गया कि अतिरिक्त सत्यापन किया जाना चाहिए।

धारा 12.1.3 - "आवेदन की स्थिति या विकास परिवेश बदलना"

पहले से विकसित अनुप्रयोग का उपयोग और संशोधन में एक नया विकास वातावरण, एक संकलक, एक लक्ष्य प्रोसेसर, या मूल में उपयोग किए गए सॉफ़्टवेयर के अलावा एकीकरण शामिल हो सकता है।

अलग-अलग कंपाइलर या कंपाइलर विकल्पों के अलग-अलग सेट का उपयोग करते समय, परिणामस्वरूप हमें अलग ऑब्जेक्ट कोड मिलता है, और पिछले सॉफ़्टवेयर के सत्यापन के परिणाम एक नए एप्लिकेशन के लिए उपयुक्त नहीं हो सकते हैं।

लक्ष्य प्रोसेसर या संकलक परिवर्तन

यह ध्यान रखना महत्वपूर्ण है कि वेक्टरकैस्ट के साथ विकसित सभी परीक्षणों को लक्ष्य मंच से स्वतंत्र माना जाना चाहिए। वेक्टरकास्ट परीक्षण एप्लिकेशन द्वारा उपयोग किए गए डेटा के अनुरूप है, लेकिन लक्ष्य प्रोसेसर द्वारा ही नहीं। जब एप्लिकेशन को एक नए लक्ष्य प्रोसेसर में पोर्ट किया जाता है, तो वेक्टरकैस्ट परीक्षण को नए लक्ष्य वातावरण में फिर से चलाया जा सकता है।

एक नया संकलक उपयोग किए जाने पर एक ही दृष्टिकोण लागू होता है। वेक्टरकैस्ट में प्रतिगमन परीक्षण तंत्र नए क्रॉस-कंपाइलर का उपयोग करके सभी चल रहे परीक्षण कार्यक्रमों का पुनर्निर्माण करेगा, और नए वातावरण में परीक्षा परिणामों को सत्यापित करने के लिए सभी मौजूदा परीक्षण फिर से चलाए जाएंगे। नए टारगेट प्रोसेसर या कंपाइलर वातावरण के लिए, नए पर्यावरण के लिए वेक्टरकास्ट टूल्स की पुनः योग्यता आवश्यक हो सकती है।

टूलकिट योग्यता

हालांकि समग्र उपकरण योग्यता प्रक्रिया अपरिवर्तित बनी हुई है, टूल योग्यता प्रक्रिया के विवरण में DO-178B और DO-178C के बीच कई अंतर हैं।

दोनों मानक स्थापित करते हैं कि एक सॉफ्टवेयर सत्यापन उपकरण की योग्यता आवश्यक है जब दस्तावेजों में परिभाषित सत्यापन प्रक्रिया को अनदेखा किया जाता है, अपुष्ट आउटपुट वाले सॉफ्टवेयर टूल का उपयोग करके छोटा या स्वचालित किया जाता है।

वेक्टरकॉस्ट सत्यापन प्रक्रिया के स्वचालन को संदर्भित करता है जैसा कि डीओ -17 बी और डीओ -17 सी में परिभाषित किया गया है। सॉफ्टवेयर टूल योग्यता को DO-178B और DO-178C मानकों की धारा 12.2 द्वारा अनुमोदित किया गया है।

धारा 12.2.1 DO-178C कहता है: “यह उपकरण केवल विशिष्ट प्रणालियों में उपयोग के लिए योग्य है, जहां उपकरण का उपयोग करने के इरादे को कार्यक्रम के प्रमाणन प्रमाणन योजना (PSAC) में अनुमोदित किया गया है जो प्रणाली का समर्थन करता है। यदि पहले एक सिस्टम के लिए योग्य उपकरण का उपयोग किसी अन्य सिस्टम पर करने का इरादा है, तो उसे किसी अन्य सिस्टम के संदर्भ में वापस किया जाना चाहिए। "

उपकरण योग्यता में मानकों के बीच अंतर

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

DO-178C के लिए, उपकरण कौशल स्तर (TQL) को पहले सॉफ़्टवेयर जीवन चक्र में उपकरण के प्रभाव का आकलन करने के लिए निर्धारित किया जाना चाहिए। 12.2.2 « », . :

• 1: , , , ;
• 2: , () , , :
  
  • () ,
  • () , .
• 3: , .

( D) (TQL) :

( VectorCAST) . . , .

RTCA DO-330 « », DO-178C.

VectorCAST

VectorCAST , Vector Software , :

(TOR):

• , VectorCAST

(TQD) :

, / DER.

VectorCAST

VectorCAST . , , . Vector Software , . Vector Software 1.0 TQD .