सत्यापन प्रमाणीकरण से कैसे भिन्न है?

सत्यापन प्रत्येक चरण में विनिर्देश के अनुरूपता की जाँच करता है — उत्पाद को सही ढंग से बनाना — जबकि प्रमाणीकरण यह जाँचता है कि तैयार उत्पाद वास्तव में उपयोगकर्ता की आवश्यकताओं को पूरा करता है — सही उत्पाद बनाना। यदि आवश्यकताएँ स्वयं गलत थीं तो एक प्रणाली सत्यापित हो सकती है फिर भी प्रमाणीकरण में विफल हो सकती है।

क्या कोड समीक्षाएं वास्तव में प्रयास के लायक हैं?

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

सॉफ्टवेयर सत्यापन और प्रमाणीकरण

सॉफ्टवेयर सत्यापन और प्रमाणीकरण (V&V) यह पुष्टि करने की पूरक प्रक्रियाएं हैं कि सॉफ्टवेयर को उसके विनिर्देश (specification) के संबंध में सही ढंग से बनाया गया है और उपयोगकर्ता की आवश्यकताओं को पूरा करने के लिए सही सॉफ्टवेयर बनाया गया था।

PaperMind से विषय खोजेंजल्द हीFind papers & topics

Tools & resources

स्लाइड डाउनलोड करें

Learn & explore

वीडियोजल्द ही

Definition

सत्यापन यह मूल्यांकन है कि क्या विकास चरण का एक उत्पाद उसकी शुरुआत में लगाई गई शर्तों को पूरा करता है, और प्रमाणीकरण यह मूल्यांकन है कि क्या अंतिम उत्पाद अपने इच्छित उपयोग और उपयोगकर्ता की आवश्यकताओं को पूरा करता है।

Scope

यह विषय स्थिर V&V तकनीकों जैसे समीक्षाएं, वॉकथ्रू और औपचारिक निरीक्षण; निष्पादन के बिना दोषों का पता लगाने के लिए स्थिर प्रोग्राम विश्लेषण; परीक्षण के माध्यम से गतिशील V&V; V&V गतिविधियों की योजना और स्वतंत्रता; और ISO/IEC/IEEE 1012 जैसे मानक जो V&V प्रक्रियाओं और कठोरता के स्तरों को नियंत्रित करते हैं, को शामिल करता है।

Core questions

सत्यापन और प्रमाणीकरण प्रश्न और विधि में कैसे भिन्न हैं?
समीक्षाएं और निरीक्षण किन दोषों को पकड़ते हैं जिन्हें परीक्षण नहीं पकड़ पाता?
स्थिर विश्लेषण गतिशील परीक्षण का पूरक कैसे है?
सॉफ्टवेयर की गंभीरता के साथ V&V की कठोरता का मिलान कैसे किया जाता है?

Key theories

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

Clinical relevance

V&V गतिविधियाँ, विशेष रूप से प्रारंभिक समीक्षाएं और स्थिर विश्लेषण, दोषों को बाद के चरणों तक पहुंचने से पहले ही हटा देती हैं जहाँ वे कहीं अधिक महंगे होते हैं; सुरक्षा- और मिशन-महत्वपूर्ण सॉफ्टवेयर के लिए, स्वतंत्र V&V अक्सर मानकों और नियामकों द्वारा अनिवार्य किया जाता है।

Evidence & guidelines

ISO/IEC/IEEE 1012 V&V प्रक्रियाओं और अखंडता स्तरों को परिभाषित करता है, और DO-178C (एवियोनिक्स) और IEC 61508 (कार्यात्मक सुरक्षा) जैसे डोमेन मानक जोखिम के अनुरूप V&V आवश्यकताओं को लागू करते हैं।

History

औपचारिक निरीक्षण 1976 में IBM में फागन द्वारा प्रस्तुत किया गया था और इसे बार-बार अत्यधिक लागत प्रभावी दिखाया गया; स्थिर विश्लेषण उपकरण 1990 के दशक से परिपक्व हुए, और V&V सुरक्षा-महत्वपूर्ण डोमेन में एक विनियमित अनुशासन बन गया, जिसे IEEE 1012 जैसे मानकों में संहिताबद्ध किया गया।

Key figures

Michael Fagan
Barry Boehm
Roger Pressman

Seminal works

fagan1976
ieee1012
pressman2014

Frequently asked questions

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