परिक्षण सफेद बॉक्स
उपयोगिता परीक्षण
ए) लोड परीक्षण
प्रदर्शन का परीक्षण
क्रियात्मक परीक्षण
परिक्षण सॉफ़्टवेयर
परीक्षण बग खोजने के इरादे (या उद्देश्य) के साथ किसी प्रोग्राम (या प्रोग्राम का हिस्सा) को निष्पादित करने की प्रक्रिया है।
ऐसे कई मानदंड हैं जिनके द्वारा यह परीक्षण के प्रकारों को वर्गीकृत करने के लिए प्रथागत है। आमतौर पर, निम्नलिखित संकेत प्रतिष्ठित हैं:
I) परीक्षण की वस्तु के अनुसार:
(इस प्रणाली के लिए आवश्यकताओं के अनुपालन को स्थापित करने के लिए बाहरी अनुरोध के जवाब में किसी सॉफ़्टवेयर और हार्डवेयर सिस्टम या डिवाइस के प्रदर्शन और प्रतिक्रिया समय के संकेतकों का निर्धारण या संग्रह)
बी) तनाव परीक्षण
(सामान्य ऑपरेशन की सीमा से अधिक होने की स्थिति में सिस्टम की विश्वसनीयता और स्थिरता का मूल्यांकन करता है।)
ग) स्थिरता परीक्षण
4) यूजर इंटरफेस परीक्षण
5) सुरक्षा परीक्षण
6) स्थानीयकरण परीक्षण
7) संगतता परीक्षण
II) प्रणाली के ज्ञान से:
1) ब्लैक बॉक्स परीक्षण
(एक वस्तु का परीक्षण किया जा रहा है, जिसकी आंतरिक संरचना अज्ञात है)
(कार्यक्रम की आंतरिक संरचना की जाँच की जाती है, कार्यक्रम तर्क का विश्लेषण करके परीक्षण डेटा प्राप्त किया जाता है)
III) स्वचालन की डिग्री से:
1) मैनुअल परीक्षण
2) स्वचालित परीक्षण
3) अर्ध-स्वचालित परीक्षण
IV) घटकों के अलगाव की डिग्री के अनुसार:
1) घटक (इकाई) परीक्षण
2) एकीकरण परीक्षण
3) सिस्टम परीक्षण
वी) परीक्षण के समय तक:
1) अल्फा परीक्षण- पूर्णकालिक डेवलपर्स या परीक्षकों द्वारा कार्यक्रम के परीक्षण की एक बंद प्रक्रिया। एक अल्फा उत्पाद अक्सर केवल 50% पूर्ण होता है, एक प्रोग्राम कोड होता है, लेकिन डिज़ाइन का एक महत्वपूर्ण हिस्सा गायब होता है।
2) बीटा परीक्षण- भारी उपयोग समाप्त संस्करणबड़े पैमाने पर उपभोक्ता को बाजार में अंतिम प्रवेश से पहले उनके बाद के उन्मूलन के लिए अपने काम में त्रुटियों की अधिकतम संख्या की पहचान करने के लिए कार्यक्रम। सामान्य भविष्य के उपयोगकर्ताओं में से स्वयंसेवक परीक्षण में शामिल होते हैं।
सॉफ़्टवेयर सत्यापन परीक्षण की तुलना में अधिक सामान्य अवधारणा है। सत्यापन का उद्देश्य यह आश्वासन प्राप्त करना है कि सत्यापित की जा रही वस्तु (आवश्यकताएं या कोड) आवश्यकताओं के अनुरूप है, अनपेक्षित कार्यों के बिना कार्यान्वित की जाती है, और डिजाइन विनिर्देशों और मानकों को पूरा करती है ( आईएसओ 9000-2000) सत्यापन प्रक्रिया में निरीक्षण, कोड परीक्षण, परीक्षण परिणामों का विश्लेषण, समस्या रिपोर्ट का निर्माण और विश्लेषण शामिल है। इस प्रकार, यह आम तौर पर स्वीकार किया जाता है कि परीक्षण प्रक्रिया है अभिन्न अंगसत्यापन प्रक्रिया।
सेंट पीटर्सबर्ग
स्टेट इलेक्ट्रोटेक्निकल यूनिवर्सिटी
एमओईएम विभाग
अनुशासन से
"सॉफ्टवेयर विकास प्रक्रिया"
"सॉफ्टवेयर सत्यापन"
सेंट पीटर्सबर्ग
सत्यापन का उद्देश्य ………………………………………………………… पेज 3
परिचयात्मक टिप्पणी……………………………………………………….. पृष्ठ 3
विशेष और सामान्य लक्ष्य………………………………………….. पृष्ठ 4
लक्ष्य द्वारा अपेक्षित अभ्यास ……………………………………… पृष्ठ 4
SG1 सत्यापन के लिए तैयारी कर रहा है …………………………………………… पृष्ठ 4
SG2 परीक्षा आयोजित करना (सहकर्मी मूल्यांकन) ………………… पृष्ठ 7
SG3 सत्यापन का कार्यान्वयन ………………………………………………… पृष्ठ 9
परिशिष्ट 1. सत्यापन प्रक्रिया के लिए स्वचालन उपकरण का अवलोकन ……….. पृष्ठ 11
अनुलग्नक 2. मुख्य आधुनिक दृष्टिकोणसत्यापन के लिए…………….. पृष्ठ 12
प्रयुक्त साहित्य की सूची ……………………………………………….. पृष्ठ 14
उत्कृष्टता और परिपक्वता का एक एकीकृत मॉडल
सत्यापन (परिपक्वता स्तर 3)
लक्ष्य
सत्यापन का उद्देश्य हैयह आश्वासन प्रदान करना कि चयनित मिडलवेयर या अंतिम उत्पाद निर्दिष्ट आवश्यकताओं को पूरा करता है।
पानी के नोट
सॉफ्टवेयर उत्पादों का सत्यापन है तैयार उत्पाद या उसके मध्यवर्ती संस्करणों का सत्यापनमूल आवश्यकताओं को पूरा करने के लिए। इसका तात्पर्य न केवल कार्यक्रम का परीक्षण करना है, बल्कि परियोजना, उपयोगकर्ता और तकनीकी दस्तावेज आदि का लेखा-जोखा करना भी है।
सॉफ्टवेयर सिस्टम सत्यापन का उद्देश्य उन त्रुटियों की पहचान करना और रिपोर्ट करना है जो जीवन चक्र के चरणों के दौरान हो सकती हैं। सत्यापन के मुख्य कार्य:
सिस्टम आवश्यकताओं के साथ उच्च-स्तरीय आवश्यकताओं के अनुपालन का निर्धारण;
सिस्टम आर्किटेक्चर में उच्च-स्तरीय आवश्यकताओं के लिए लेखांकन;
स्रोत कोड में इसके लिए वास्तुकला और आवश्यकताओं का अनुपालन;
सिस्टम की आवश्यकताओं के साथ निष्पादन योग्य कोड के अनुपालन का निर्धारण;
उपरोक्त कार्यों को हल करने के लिए उपयोग किए जाने वाले साधनों का निर्धारण, जो तकनीकी रूप से सही और पर्याप्त रूप से पूर्ण हैं।
सत्यापन में तैयार उत्पादों का सत्यापन और ग्राहकों की आवश्यकताओं, तैयार उत्पादों की आवश्यकताओं और इसके व्यक्तिगत घटकों के लिए आवश्यकताओं सहित सभी चयनित आवश्यकताओं के खिलाफ मध्यवर्ती उत्पादों का सत्यापन शामिल है।
सत्यापन स्वाभाविक रूप से उत्पादों के विकास और उत्पादों पर सभी कार्यों के दौरान अपनी स्थापना के क्षण से एक वृद्धिशील (वृद्धिशील) प्रक्रिया है। सत्यापन आवश्यकताओं के सत्यापन के साथ शुरू होता है, फिर उनके विकास और निर्माण के विभिन्न चरणों में सभी मध्यवर्ती उत्पादों के सत्यापन का अनुसरण करता है, और अंतिम उत्पाद के सत्यापन के साथ समाप्त होता है।
उनके विकास और निर्माण के प्रत्येक चरण में मध्यवर्ती उत्पादों के सत्यापन से यह संभावना काफी बढ़ जाती है कि अंतिम उत्पाद ग्राहक की आवश्यकताओं, तैयार उत्पाद की आवश्यकताओं और इसके व्यक्तिगत घटकों की आवश्यकताओं को पूरा करेगा।
प्रक्रियाओं का सत्यापन और सत्यापन अनिवार्य रूप से संबंधित प्रक्रियाएं हैं, हालांकि, विभिन्न परिणाम प्राप्त करने के उद्देश्य से। सत्यापन का उद्देश्य यह प्रदर्शित करना है कि तैयार उत्पाद वास्तव में अपने मूल उद्देश्य को पूरा करता है। सत्यापन का उद्देश्य यह सुनिश्चित करना है कि उत्पाद निश्चित रूप से कुछ आवश्यकताओं को पूरा करता है। दूसरे शब्दों में, सत्यापन सुनिश्चित करता है कि " आप इसे सही करते हैं", और मान्यता यह है कि" आप सही चीज कर रहे हैं”.
लागत प्रभावशीलता और प्रदर्शन का मूल्यांकन करने के लिए प्रासंगिक प्रक्रियाओं (जैसे वितरण, विकास, संचालन या रखरखाव) में सत्यापन को जल्द से जल्द लागू किया जाना चाहिए। इस प्रक्रिया में विश्लेषण, सत्यापन और परीक्षण (परीक्षण) शामिल हो सकते हैं।
इस प्रक्रिया को कलाकारों की स्वतंत्रता की अलग-अलग डिग्री के साथ किया जा सकता है। कलाकारों की स्वतंत्रता की डिग्री को संगठन में अलग-अलग संस्थाओं के बीच, और किसी अन्य संगठन में संस्थाओं के बीच, जिम्मेदारियों के वितरण की विभिन्न डिग्री के साथ वितरित किया जा सकता है। इस प्रक्रिया को प्रक्रिया कहा जाता है स्वतंत्र सत्यापनयदि कार्यान्वयन करने वाला संगठन विक्रेता, डेवलपर, ऑपरेटर या अनुरक्षकों से स्वतंत्र है।
विशेषज्ञ आकलन (विशेषज्ञता) प्रभावी दोष उन्मूलन के लिए एक सुस्थापित उपकरण के रूप में सत्यापन का एक महत्वपूर्ण हिस्सा हैं। इससे एक महत्वपूर्ण उपाय उत्पाद के कार्यशील संस्करणों की गहरी समझ और समझ विकसित करने की आवश्यकता है, साथ ही संभावित दोषों की पहचान करने और यदि आवश्यक हो तो सुधार का अवसर बनाने के लिए उपयोग किए जाने वाले वर्कफ़्लोज़ की आवश्यकता है।
परीक्षाओं में दोष और अन्य आवश्यक परिवर्तनों की पहचान करने के लिए विशेषज्ञों द्वारा किए गए कार्य का एक व्यवस्थित अध्ययन शामिल है।
विशेषज्ञ मूल्यांकन के मुख्य तरीके हैं:
निरीक्षण
एंड-टू-एंड संरचनात्मक नियंत्रण
सत्यापन और सत्यापन की दो अवधारणाएं अक्सर भ्रमित होती हैं। इसके अलावा, सिस्टम आवश्यकता सत्यापन अक्सर सिस्टम सत्यापन के साथ भ्रमित होता है। मैं इस मुद्दे को देखने का सुझाव देता हूं।
लेख में, मैंने मॉडलिंग को ऑब्जेक्ट करने के लिए दो दृष्टिकोणों पर विचार किया: समग्र रूप से और संरचना के रूप में। वर्तमान लेख में, हमें इस विभाजन की आवश्यकता होगी।
मान लीजिए कि हमारे पास एक डिज़ाइन की गई कार्यात्मक वस्तु है। आइए इस वस्तु को हमारे द्वारा एक अन्य कार्यात्मक वस्तु के निर्माण के हिस्से के रूप में माना जाता है। वस्तु के निर्माण का वर्णन इस प्रकार करें कि उसमें वस्तु का विवरण हो। इस तरह के विवरण में, वस्तु का समग्र रूप से एक विवरण होता है, अर्थात, अन्य वस्तुओं के साथ इसकी बातचीत के इंटरफेस को वस्तु के निर्माण के ढांचे के भीतर वर्णित किया जाता है। बता दें कि वस्तु का एक संरचना के रूप में विवरण दिया जाता है। एक संरचना के रूप में वस्तु के विवरण के डिजाइन के लिए आवश्यकताओं वाली एक सूचना वस्तु होने दें। ज्ञान का एक निकाय हो जिसमें अनुमान नियम हों, जिसके आधार पर वस्तु के विवरण से एक संरचना के रूप में वस्तु का विवरण प्राप्त होता है। ज्ञान का शरीर वह है जो डिजाइनरों को संस्थानों में पढ़ाया जाता है - बहुत कुछ, बहुत सारा ज्ञान। वे वस्तु के बारे में ज्ञान के आधार पर इसकी संरचना को डिजाइन करने की अनुमति देते हैं।
तो, आप शुरू कर सकते हैं। हम तर्क दे सकते हैं कि यदि वस्तु का समग्र रूप से सही वर्णन किया गया है, यदि ज्ञान का शरीर सही है, और यदि अनुमान के नियमों का पालन किया जाता है, तो वस्तु के निर्माण का परिणामी विवरण सही होगा। अर्थात्, इस विवरण के आधार पर, के अनुरूप एक कार्यात्मक वस्तु वास्तविक स्थितियांसंचालन। क्या जोखिम उत्पन्न हो सकते हैं:
1. वस्तु के बारे में गलत ज्ञान का प्रयोग। लोगों के दिमाग में वस्तु का मॉडल वास्तविकता के अनुरूप नहीं हो सकता है। उदाहरण के लिए, वे भूकंप के वास्तविक खतरे को नहीं जानते थे। तदनुसार, वस्तु के लिए आवश्यकताओं को गलत तरीके से तैयार किया जा सकता है।
2. वस्तु के बारे में ज्ञान का अधूरा रिकॉर्ड - कुछ छूट जाता है, गलतियाँ हो जाती हैं। उदाहरण के लिए, वे हवाओं के बारे में जानते थे, लेकिन इसका उल्लेख करना भूल गए। इससे वस्तु के लिए आवश्यकताओं का अपर्याप्त पूर्ण विवरण हो सकता है।
3. ज्ञान का गलत शरीर। हमें अन्य मापदंडों पर द्रव्यमान की प्राथमिकता सिखाई गई, लेकिन यह पता चला कि हमें गति बढ़ानी थी।
4. वस्तु विवरण के लिए अनुमान नियमों का गलत अनुप्रयोग। तार्किक त्रुटियां, ऑब्जेक्ट डिज़ाइन के लिए आवश्यकताओं में कुछ गुम है, आवश्यकताओं का पता टूट गया है।
5. सिस्टम के डिजाइन के बारे में प्राप्त निष्कर्षों का अधूरा रिकॉर्ड। सब कुछ हिसाब में लिया गया, सब कुछ हिसाब किया गया, लेकिन वे लिखना भूल गए।
6. बनाया गया सिस्टम विवरण से मेल नहीं खाता।
यह स्पष्ट है कि सभी परियोजना कलाकृतियाँ, एक नियम के रूप में, अपने पूर्ण रूप में केवल परियोजना के अंत तक दिखाई देती हैं, और तब भी हमेशा नहीं। लेकिन, अगर हम यह मान लें कि विकास जलप्रपात है, तो जोखिम वैसे ही हैं जैसे मैंने वर्णन किया है। प्रत्येक जोखिम की जाँच करना एक विशिष्ट ऑपरेशन है जिसे एक नाम दिया जा सकता है। यदि किसी को दिलचस्पी है, तो आप इन शर्तों के साथ आने और आवाज उठाने का प्रयास कर सकते हैं।
सत्यापन क्या है? रूसी में, सत्यापन नियमों के अनुपालन के लिए एक जाँच है। नियम एक दस्तावेज़ के रूप में हैं। यानी दस्तावेज़ीकरण आवश्यकताओं के साथ एक दस्तावेज़ होना चाहिए। यदि दस्तावेज़ीकरण इस दस्तावेज़ की आवश्यकताओं को पूरा करता है, तो यह सत्यापन पास कर चुका है।
सत्यापन क्या है? रूसी में, सत्यापन निष्कर्ष की शुद्धता का सत्यापन है। यही है, ज्ञान का एक निकाय होना चाहिए जो वर्णन करता है कि ऑब्जेक्ट डेटा के आधार पर किसी डिज़ाइन का विवरण कैसे प्राप्त किया जाए। इन निष्कर्षों के आवेदन की शुद्धता की जाँच करना सत्यापन है। सत्यापन, अन्य बातों के अलावा, निरंतरता, पूर्णता और बोधगम्यता के लिए विवरण की जाँच करना है।
आवश्यकता सत्यापन अक्सर उन आवश्यकताओं पर निर्मित उत्पाद के सत्यापन के साथ भ्रमित होता है। ऐसा करना इसके लायक नहीं है।
टीम में दो से अधिक लोग शामिल हैं अनिवार्य रूप से टीम में भूमिकाओं, अधिकारों और जिम्मेदारियों के वितरण का सवाल उठाते हैं। भूमिकाओं का एक विशिष्ट सेट कई कारकों द्वारा निर्धारित किया जाता है - विकास प्रतिभागियों की संख्या और उनकी व्यक्तिगत प्राथमिकताएं, अपनाई गई विकास पद्धति, परियोजना की विशिष्टता और अन्य कारक। लगभग किसी भी विकास दल में, निम्नलिखित भूमिकाओं को प्रतिष्ठित किया जा सकता है। उनमें से कुछ पूरी तरह से अनुपस्थित हो सकते हैं, जबकि व्यक्ति एक साथ कई भूमिकाएँ निभा सकते हैं, लेकिन समग्र संरचना में थोड़ा बदलाव होता है।ग्राहक (आवेदक). यह भूमिका उस संगठन के प्रतिनिधि की है जिसने सिस्टम को विकसित करने का आदेश दिया था। आमतौर पर, आवेदक अपनी बातचीत में सीमित होता है और केवल परियोजना प्रबंधकों और प्रमाणन या कार्यान्वयन विशेषज्ञ के साथ संचार करता है। आमतौर पर, ग्राहक को उत्पाद के लिए आवश्यकताओं को बदलने का अधिकार होता है (केवल प्रबंधकों के सहयोग से), डिजाइन और प्रमाणन दस्तावेज पढ़ें जो विकसित की जा रही प्रणाली की गैर-तकनीकी विशेषताओं को प्रभावित करता है।
प्रोजेक्ट मैनेजर. यह भूमिका ग्राहक और प्रोजेक्ट टीम के बीच एक संचार चैनल प्रदान करती है। उत्पाद प्रबंधक ग्राहक की अपेक्षाओं का प्रबंधन करता है और परियोजना के लिए व्यावसायिक संदर्भ का विकास और रखरखाव करता है। उसका काम सीधे बिक्री से संबंधित नहीं है, वह उत्पाद पर केंद्रित है, उसका काम परिभाषित करना और प्रदान करना है ग्राहक की आवश्यकताएं. प्रोजेक्ट मैनेजर को उत्पाद के लिए आवश्यकताओं और उत्पाद के लिए अंतिम दस्तावेज़ीकरण को बदलने का अधिकार है।
कार्यक्रम प्रबंधक. यह भूमिका परियोजना टीम के भीतर संचार और संबंधों का प्रबंधन करती है, किसी तरह से समन्वयक के रूप में कार्य करती है, कार्यात्मक विनिर्देशों को विकसित और प्रबंधित करती है, परियोजना की समय-सारणी और परियोजना की स्थिति पर रिपोर्ट बनाए रखती है, और परियोजना के लिए महत्वपूर्ण निर्णय लेती है।
परिक्षण- किसी त्रुटि का पता लगाने के लिए किसी प्रोग्राम को निष्पादित करने की प्रक्रिया।
परीक्षण डेटा- इनपुट जो सिस्टम का परीक्षण करने के लिए उपयोग किए जाते हैं।
परीक्षण की स्थिति (परीक्षण का मामला)- सिस्टम का परीक्षण करने के लिए इनपुट और इनपुट के आधार पर अपेक्षित आउटपुट, यदि सिस्टम आवश्यकताओं के विनिर्देश के अनुसार काम करता है।
अच्छा परीक्षण मामला- एक ऐसी स्थिति जिसमें अभी तक ज्ञात त्रुटि का पता लगाने की उच्च संभावना है।
भाग्यशाली परीक्षा- एक परीक्षण जो अभी तक ज्ञात त्रुटि का पता लगाता है।
गलती- विकास के चरण में प्रोग्रामर की कार्रवाई, इस तथ्य की ओर ले जाती है कि सॉफ्टवेयर में एक आंतरिक दोष है, जो कार्यक्रम के संचालन के दौरान गलत परिणाम दे सकता है।
इनकार- सिस्टम का अप्रत्याशित व्यवहार, एक अप्रत्याशित परिणाम की ओर ले जाता है, जो इसमें निहित दोषों के कारण हो सकता है।
इस प्रकार, सॉफ्टवेयर परीक्षण की प्रक्रिया में, एक नियम के रूप में, निम्नलिखित की जाँच की जाती है।
जाँच और वैधता ( जाँच और वैधता-वी& वी)ग्राहक के विनिर्देशों और आवश्यकताओं के साथ सॉफ़्टवेयर के सही निष्पादन और अनुपालन का विश्लेषण, सत्यापन करने के लिए डिज़ाइन किए गए हैं। कार्यक्रमों और प्रणालियों की शुद्धता की जाँच करने के इन तरीकों का क्रमशः मतलब है:
- सत्यापन अपने विनिर्देश के अनुसार सिस्टम के निर्माण की शुद्धता का सत्यापन है;
- सत्यापन प्रणाली के लिए निर्दिष्ट आवश्यकताओं को पूरा करने की शुद्धता का सत्यापन है।
सत्यापन इसके डिजाइन और विकास के पूरा होने के बाद बनाई गई प्रणाली की शुद्धता के बारे में निष्कर्ष निकालने में मदद करता है। सत्यापन आपको निर्दिष्ट आवश्यकताओं की व्यवहार्यता स्थापित करने की अनुमति देता है और इसमें सही प्रोग्राम और सिस्टम प्राप्त करने के लिए कई क्रियाएं शामिल हैं, अर्थात्:
- योजना निरीक्षण और नियंत्रण प्रक्रियाएं डिजाइन निर्णयऔर आवश्यकताएं;
- CASE- साधनों द्वारा प्रोग्राम डिज़ाइन के स्वचालन का स्तर प्रदान करना;
- लक्ष्य परीक्षणों के सेट पर परीक्षण विधियों द्वारा कार्यक्रमों के सही कामकाज की जाँच करना;
- ऑपरेटिंग वातावरण, आदि के लिए उत्पाद का अनुकूलन।
सत्यापन इन गतिविधियों को जीवन चक्र चरणों में विनिर्देशों और डिजाइन आउटपुट की समीक्षा और निरीक्षण करके यह पुष्टि करने के लिए करता है कि प्रारंभिक आवश्यकताओं का सही कार्यान्वयन है और निर्दिष्ट शर्तों और बाधाओं को पूरा किया गया है। सत्यापन और सत्यापन के कार्यों में आवश्यकताओं के विनिर्देश की पूर्णता, स्थिरता और अस्पष्टता की जांच करना और सिस्टम कार्यों के प्रदर्शन की शुद्धता शामिल है।
सत्यापन और सत्यापन के अधीन हैं:
- प्रणाली के मुख्य घटक;
- घटकों के इंटरफेस (सॉफ्टवेयर, तकनीकी और सूचनात्मक) और वस्तुओं की बातचीत (प्रोटोकॉल और संदेश) जो वितरित वातावरण में सिस्टम के कार्यान्वयन को सुनिश्चित करते हैं;
- डेटाबेस और फाइलों (लेन-देन और संदेश) तक पहुंच के साधन और विभिन्न उपयोगकर्ताओं के डेटा तक अनधिकृत पहुंच के खिलाफ सुरक्षा के साधनों का सत्यापन;
- सॉफ्टवेयर और संपूर्ण सिस्टम के लिए प्रलेखन;
- परीक्षण, परीक्षण प्रक्रियाएं और इनपुट डेटा।
दूसरे शब्दों में, कार्यक्रम की शुद्धता के मुख्य व्यवस्थित तरीके हैं:
- सत्यापनपीएस घटक और आवश्यकताएं विनिर्देश सत्यापन;
- पीएस निरीक्षणदिए गए विनिर्देशों के साथ कार्यक्रम की अनुरूपता स्थापित करना;
- परिक्षणविभिन्न दोषों, विसंगतियों, उपकरण विफलताओं या सिस्टम क्रैश के कारण त्रुटियों और दोषों की पहचान करने के लिए एक विशिष्ट ऑपरेटिंग वातावरण में परीक्षण डेटा पर PS का आउटपुट कोड (अध्याय 9 देखें)।
आईएसओ/आईईसी 3918-99 और 12207 में सत्यापन और सत्यापन प्रक्रियाएं शामिल हैं। उनके लिए, जीवन चक्र के चरणों में बनाए गए उत्पाद (काम करने वाले, मध्यवर्ती उत्पादों सहित) की शुद्धता और इसकी आवश्यकताओं के अनुपालन को सत्यापित करने के लिए लक्ष्यों, कार्यों और कार्यों को परिभाषित किया गया है।
सत्यापन और सत्यापन प्रक्रियाओं का मुख्य कार्य है जांचें और पुष्टि करेंकि अंतिम सॉफ्टवेयर उद्देश्य के लिए उपयुक्त है और ग्राहक की आवश्यकताओं को पूरा करता है। ये प्रक्रियाएं जीवन चक्र के चरणों के कार्य उत्पादों में त्रुटियों की पहचान करना संभव बनाती हैं, उनकी घटना के कारणों का पता लगाए बिना, और इसके विनिर्देश के संबंध में सॉफ्टवेयर की शुद्धता को भी स्थापित करना।
ये प्रक्रियाएं परस्पर जुड़ी हुई हैं और एक शब्द - "सत्यापन और सत्यापन" (वी एंड वी 7) द्वारा परिभाषित हैं।
सत्यापन किया जाता है:
- आउटपुट कोड में अलग-अलग घटकों के अनुवाद की शुद्धता का सत्यापन, साथ ही ग्राहक की निर्दिष्ट आवश्यकताओं के अनुसार घटकों के संबंधों का पता लगाकर इंटरफ़ेस विवरण;
- फाइलों या डेटाबेस तक पहुंच की शुद्धता का विश्लेषण, डेटा में हेरफेर करने और परिणामों को प्रसारित करने के लिए प्रयुक्त सिस्टम टूल्स में अपनाई गई प्रक्रियाओं को ध्यान में रखते हुए;
- घटक सुरक्षा का सत्यापन ग्राहकों की आवश्यकताओं के अनुपालन और उनके अनुरेखण के लिए है।
सिस्टम के अलग-अलग घटकों की जाँच के बाद, उनका एकीकरण किया जाता है, साथ ही एकीकृत प्रणाली का सत्यापन और सत्यापन भी किया जाता है। यह निर्धारित करने के लिए कि परीक्षण सूट पर्याप्त हैं और परीक्षण को पूरा करने और सिस्टम की शुद्धता को स्थापित करने के लिए परीक्षण सूट की बहुलता पर सिस्टम का परीक्षण किया जाता है।
औपचारिक सत्यापन पर एक अंतरराष्ट्रीय परियोजना बनाने का विचार टी। होरे द्वारा प्रस्तावित किया गया था, फरवरी 2005 में कैलिफोर्निया में सत्यापित सॉफ्टवेयर पर एक संगोष्ठी में इस पर चर्चा की गई थी। फिर, उसी वर्ष अक्टूबर में, ज्यूरिख में आईएफआईपी सम्मेलन में, "पीएस की शुद्धता की जांच के लिए उपकरणों का पूर्ण स्वचालित सेट" विकसित करने के लिए 15 साल की अवधि के लिए एक अंतरराष्ट्रीय परियोजना को अपनाया गया था।
इसने निम्नलिखित मुख्य कार्य तैयार किए:
- कार्यक्रमों के निर्माण और विश्लेषण के एक एकीकृत सिद्धांत का विकास;
- विनिर्देशों के विकास और उनके सत्यापन, परीक्षण मामलों की पीढ़ी, शोधन, विश्लेषण और कार्यक्रमों के सत्यापन सहित सभी उत्पादन चरणों के लिए सत्यापन उपकरणों का एक व्यापक एकीकृत सेट बनाना;
- औपचारिक विशिष्टताओं और सत्यापित सॉफ्टवेयर वस्तुओं के भंडार का निर्माण अलग - अलग प्रकारऔर प्रकार।
यह परियोजना मानती है कि सत्यापन सॉफ्टवेयर की शुद्धता को बनाने और जांचने के सभी पहलुओं को कवर करेगा और बनाए जा रहे कार्यक्रमों में त्रुटियों की निरंतर घटना से जुड़ी सभी परेशानियों के लिए रामबाण बन जाएगा।
निर्दिष्ट कार्यक्रमों को प्रमाणित करने और सत्यापित करने के लिए कई औपचारिक तरीकों का अभ्यास में परीक्षण किया गया है। पूर्ण बड़ा कामके ढांचे के भीतर अंतरराष्ट्रीय समिति आईएसओ / आईईसी आईएसओ मानक/ आईईसी 12207:2002 सॉफ्टवेयर सत्यापन और सत्यापन प्रक्रियाओं के मानकीकरण पर। विभिन्न प्रोग्रामिंग वस्तुओं के औपचारिक तरीकों से शुद्धता की जाँच करना आशाजनक है।
भंडार कार्यक्रमों, विनिर्देशों और उपकरणों का भंडार है जो विकास और परीक्षण, तैयार घटकों के मूल्यांकन, उपकरण और विधि रिक्त स्थान में उपयोग किए जाते हैं। इसके निम्नलिखित सामान्य कार्य हैं:
- जटिल अनुप्रयोगों के लिए सत्यापित विनिर्देशों, प्रमाण विधियों, कार्यक्रम वस्तुओं और कोड कार्यान्वयन का संचय;
- विभिन्न सत्यापन विधियों का संचय, आगे के आवेदन के लिए एक वास्तविक सैद्धांतिक विचार को खोजने और चुनने के लिए उपयुक्त रूप में उनका डिज़ाइन;
- विभिन्न प्रोग्रामिंग वस्तुओं, साथ ही उपकरणों और तैयार प्रणालियों के औपचारिक विनिर्देशों की स्थापना और आदान-प्रदान के लिए मानक रूपों का विकास;
- नए पीएस बनाने के लिए तैयार सत्यापित उत्पादों को भंडार से नए वितरित और नेटवर्क वातावरण में स्थानांतरित करने के लिए इंटरऑपरेबिलिटी और इंटरैक्शन तंत्र का विकास।
इस परियोजना को 50 वर्षों के भीतर विकसित किया जाना है। पहले की परियोजनाएं समान लक्ष्य निर्धारित करती थीं: सॉफ्टवेयर की गुणवत्ता में सुधार, सेवा मॉडल को औपचारिक रूप देना, पीआईसी के उपयोग के माध्यम से जटिलता को कम करना, त्रुटियों का नेत्रहीन निदान करने और उन्हें समाप्त करने के लिए डिबगिंग टूल बनाना, आदि। हालांकि, प्रोग्रामिंग में कोई मौलिक परिवर्तन नहीं हुआ है। दृश्य डिबगिंग या प्राप्त करने की भावना उच्च गुणवत्तापर। विकास की प्रक्रिया जारी है।
एक नई अंतरराष्ट्रीय सॉफ्टवेयर सत्यापन परियोजना को अपने प्रतिभागियों से न केवल ज्ञान की आवश्यकता होती है सैद्धांतिक पहलूकार्यक्रम विनिर्देशों, लेकिन आने वाले वर्षों में इसके कार्यान्वयन के लिए उच्च योग्य प्रोग्रामर भी।
