डिज़ाइनिंग सॉफ़्टवेयर के संदर्भ में "असंगतता" और "अपूर्णता" का वास्तव में क्या अर्थ है?सॉफ्टवेयर इंजीनियरिंग शब्दावली - "असंगतता" और "अपूर्णता" का वास्तव में क्या अर्थ है
उदा। - विनिर्देशों का निर्माण
सॉफ्टवेयर इंजीनियरिंग के औपचारिक तरीकों का उपयोग विनिर्देशों के निर्माण के दौरान ऑब्जेक्ट ओरिएंटेड डिजाइन जैसे अन्य कम औपचारिक तरीकों से कम "असंगत" और "अधूरा" कहा जाता है।
असंगतता और अपूर्णता दोनों औपचारिक तर्क से मूल रूप से शब्द हैं, जहां उनका उपयोग तार्किक प्रणालियों का वर्णन करने के लिए किया जाता है।
पूर्ण परिभाषाओं सटीक सन्दर्भ पर निर्भर करती है, लेकिन inconsistency सामान्य रूप से की तरह "कुछ एक्स के लिए, आप दोनों एक्स और! एक्स साबित कर सकते हैं" कुछ का मतलब है, और incompleteness की तरह "कुछ एक्स के लिए, आप साबित नहीं कर सकते एक्स कुछ का मतलब और आप साबित नहीं कर सकते! एक्स "।
तो, विनिर्देशों के लिए, मैं कुछ समझने के लिए "असंगत" समझ सकता हूं जैसे "लागू नहीं किया जा सकता है, क्योंकि यह किसी तरह से आत्म-विरोधाभासी है", और "अधूरा" का मतलब है "कुछ निर्दिष्ट करने के लिए, आउटपुट स्पष्ट रूप से परिभाषित नहीं हैं "।
डेटाबेस सिस्टम में, एक सतत लेनदेन वह है जो इसके निष्पादन के दौरान किसी भी अखंडता बाधाओं का उल्लंघन नहीं करता है। यदि कोई लेनदेन किसी गैरकानूनी स्थिति में डेटाबेस छोड़ देता है, तो इसे निरस्त कर दिया जाता है और एक त्रुटि की सूचना दी जाती है।
एल्गोरिदम में, पूर्णता की धारणा एल्गोरिदम की समाधान को संदर्भित करने की क्षमता को संदर्भित करती है यदि कोई मौजूद है, और यदि नहीं, तो रिपोर्ट नहीं है कि कोई समाधान संभव नहीं है।
कम्प्यूटेशनल जटिलता सिद्धांत में, एक समस्या पी जटिलता कक्षा सी के लिए पूर्ण है, यदि पी में सी है, और सी में हर समस्या उस कमी का उपयोग कर पी को कम कर देती है। उदाहरण के लिए, कक्षा एनपी-पूर्ण श्रेणी में प्रत्येक समस्या कक्षा एनपी के लिए पूर्ण है, बहुपद के समय के तहत, कई में कमी।
सॉफ़्टवेयर परीक्षण में, पूर्णता के लिए कॉल ग्राफ़ (सॉफ़्टवेयर आइटम के बीच) और नियंत्रण ग्राफ (प्रत्येक सॉफ़्टवेयर आइटम के अंदर) के कार्यात्मक सत्यापन के लक्ष्य के लिए है। पूर्णता की अवधारणा ज्ञान आधार सिद्धांत में पाई जाती है।
आप इस तरह की परिभाषाओं के साथ आगे बढ़ सकते हैं ... शायद सवाल कम अस्पष्ट बना सकते हैं?
और अगर मैं एक बुरा दिन था, मैं करना चाहेंगे "अपूर्णता प्रमेयों Goedels", के रूप में यह निश्चित विषय पर हो सकता है;)
सवाल शीर्षक सॉफ्टवेयर eng इंगित करता है। लेकिन शरीर सॉफ्टवेयर डिजाइन निर्दिष्ट करता है। ये दो शब्द समकक्ष नहीं हैं।
विसंगति और अपूर्णता के संबंध में, ऐसे कई क्षेत्र हैं जिनमें ये लागू होते हैं। एक एल्गोरिथ्म हो सकता है -
अधूरापन: बस उनमें से कुछ नाम हैं अधूरा, हैंडलिंग नहीं संभव मामलों ठीक से
इनकॉन sistency
वे बहुत सी बातें मतलब हो सकता है, मैं बस यहाँ कुछ उदाहरण फेंक देंगे:
असंगति:
अपूर्णता पर विभिन्न डिजाइन पैटर्न का उपयोग करना:
सूचियां आगे बढ़ती हैं ...
संदर्भ के आधार पर यह संभव है, Formal Methods कार्यक्रमों की शुद्धता साबित करने के लिए गणितीय तकनीकों का जिक्र कर रहा है। उस संदर्भ में, गणितीय सबूत का उपयोग यह सुनिश्चित करेगा कि विनिर्देश असंगत नहीं हैं (कोई तार्किक विरोधाभास नहीं) या incomplete (विनिर्देश की वैधता का औपचारिक प्रमाण है)।
आपके द्वारा प्रदान किए गए उदाहरण के संदर्भ में, उनका मतलब यह है कि औपचारिक प्रक्रिया को लागू करना - जिसमें एक अंत तक दस्तावेज दृष्टिकोण, पद्धति, डिलिवरेबल्स का सेट, परिभाषित भूमिकाएं और जिम्मेदारियां उत्पन्न होंगी, एक ही मुद्दे के लिए एक विज्ञापन-दृष्टिकोण दृष्टिकोण से बेहतर उत्पाद। दूसरे शब्दों में, औपचारिक प्रणाली जो एक पूर्ण सॉफ़्टवेयर इंजीनियरिंग प्रक्रिया का वर्णन करती है, उस परियोजना के पूरे जीवनकाल में लगातार और लागू होती है, जो सिस्टम के मुकाबले बेहतर परिणाम प्रदान करती है जो इस समर्थन ढांचे को प्रदान नहीं करती है।
यह घर बनाने के समान ही है।हां, आप बस बाहर निकल सकते हैं और नौकायन बोर्ड शुरू कर सकते हैं और आप कुछ ऐसा करने में सक्षम हो सकते हैं जिसमें आप रह सकते हैं, लेकिन यदि आप इसके बजाय आर्किटेक्चर, निर्माण सामग्री और तकनीकों का अध्ययन करते हैं, वर्कफ़्लो को परिभाषित करते हैं, तो आप समाप्त हो जाएंगे एक बेहतर घर इससे भी बेहतर, हालांकि, आप सफलता की काफी अधिक संभावना के साथ, उसी घर, या एक समान निर्माण करने में सक्षम होंगे।
औपचारिक प्रणालियों के संदर्भ में निरंतरता और पूर्णता (और उनकी संबंधित अस्वीकृति) का एक अर्थ निम्नलिखित है। असल में, एक प्रणाली लगातार होती है अगर इससे किसी विरोधाभास को प्राप्त करना संभव नहीं है। अंतर्निहित मॉडल के बारे में सभी सच्चाइयों को उत्पन्न करना संभव है अगर एक प्रणाली पूरी हो गई है। आदर्श सिद्धांतों के उचित सेट के साथ आना है जो कुछ दिए गए डोमेन के बारे में सभी को केवल "कैप्चर" करने में सक्षम हैं।
वे बहुत सी चीजों का मतलब कर सकते हैं। क्या आप उपयोग के उदाहरण प्रदान कर सकते हैं जिन्हें आप अस्पष्ट पाते हैं? – jfawcett
उनका मतलब यह नहीं है कि –
@jfawcett मैंने एक उदाहरण जोड़ा है – Julian