अंतर। आवश्यकताएं और अनुबंध।

Question

मैंने माइक्रोसॉफ्ट साइट पर अंतर देखा है लेकिन वास्तव में अंतर नहीं देख सकता। वेबसाइट के लिंक के नीचे

• Contracts.Ensures
• Contract.Requires

हैं किसी भी अतिरिक्त explaination महान

होगा का उपयोग दृश्य स्टूडियो सी #

Answer 1

Requires एक पूर्व शर्त है, जिसका अर्थ है कि निर्दिष्ट शर्त सही होना चाहिए पहले विधि को लागू करने के लिए। Ensuresपोस्टकंडिशन है, जिसका अर्थ यह है कि विधि गारंटी दी जाती है कि के बाद विधि कॉल पूर्ण हो गया है।

पूर्व शर्त और/या पोस्टकंडिशन का उल्लंघन किया जा सकता है जबकि विधि निष्पादित हो रही है: क्रमशः विधि से प्रवेश और बाहर निकलने पर परीक्षण किए जाते हैं। एक invariate condition एक अनुबंध है जो कहता है कि निर्दिष्ट स्थिति हमेशा सत्य होती है।

Bertrand MeyerObject-Oriented Software Construction और अधिक [अधिक] विवरण के लिए पढ़ें। मेयर द्वारा This paper छोटा [बहुत छोटा] है।