"त्रुटि-मुक्त" के रूप में "सही?" जैसा कि "ईश्वर और स्वर्गदूतों द्वारा लिखा गया है, मनुष्य नहीं?" (हम यहाँ प्रोग्राम-लॉजिक और शायद हार्डवेयर-लॉजिक एरर्स बोल रहे हैं)
मैं कोड की एक भी लाइन के बारे में सच नहीं कह सकता कि यह त्रुटि के बिना है। ऐसा इसलिए है क्योंकि हम इंसान, अच्छी तरह से, हम कोई नकारात्मक परिकल्पना साबित नहीं कर सकते हैं!
सबसे अच्छा मैं यह कह सकता हूं कि त्रुटि की संभावना 0 और 1 के बीच की एक संख्या है। मैं अच्छी तरह से या बीमार-परिभाषित और अच्छी तरह से या बीमार समझे गए सॉफ़्टवेयर विकास और परीक्षण सिद्धांतों के माध्यम से उस संख्या तक पहुंचता हूं; प्रश्न में स्रोत सॉफ़्टवेयर लाइनों की एक गिनती द्वारा; मैं कितना अच्छा या खराब उम्मीदवार हूं, खराब म्यूट की समझ से, उन सिद्धांतों को कोड की उन लाइनों के उत्पादन में लागू करता है; और अधिक।
और मैं उस समझ को केवल एक संभावना के रूप में व्यक्त कर सकता हूं । तो "लॉजिक-एरर-फ्री" शब्द का अर्थ है, कुछ भी नहीं।
यदि मैंने एक सॉफ़्टवेयर इंजीनियर के लिए एक विज्ञापन देखा, जिसने "त्रुटि-मुक्त" कोड का उत्पादन किया, तो मैं तुरंत लागू करूंगा या मैं तुरंत भाग जाऊंगा: कंपनी ने इस बारे में ज्यादा नहीं सोचा कि यह कैसे विकसित होती है, परीक्षण करती है, और इसके सॉफ्टवेयर का उद्धार करती है । तो यह या तो एक महान अवसर या एक अंतहीन दुःस्वप्न होगा।
और चाहिए - - किसी भी सॉफ्टवेयर की, हालांकि, मैं आसानी से कर सकते हैं कहते हैं कि मैं कोड कोई त्रुटि है कि गिरावट है कि उम्मीद के बाहर है कि sucky, संदिग्ध, तर्क-ey सामान: कोड है कि compiles और त्रुटि या चेतावनी के बिना लिंक; वह "वैध html" या "वैध css" है; जावास्क्रिप्ट (कहना) जो कोई अस्पष्टीकृत त्रुटि संदेश या ब्राउज़र दोष उत्पन्न करता है। वह हिस्सा मैं सीधा और एक ग्राफ पर काले और सफेद रंग में चिह्नित कर सकता हूं।
पाई के रूप में वह हिस्सा आसान है। कोई भी ऐसा कर सकता है ।
अरे, आपकी खोज में अच्छी किस्मत :-)