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