हम जानते हैं कि JUnit परीक्षण लिखना आपके कोड के माध्यम से एक विशेष पथ को प्रदर्शित करता है।
मेरे एक सहयोगी ने टिप्पणी की:
मैन्युअल रूप से लेखन इकाई परीक्षण सबूत द्वारा उदाहरण है ।
वह हास्केल की पृष्ठभूमि से आ रहा था जिसमें क्विकचेक जैसे उपकरण हैं और प्रकार के साथ कार्यक्रम व्यवहार के बारे में तर्क करने की क्षमता है ।
उनका निहितार्थ यह था कि इनपुट के कई अन्य संयोजन हैं जो इस पद्धति से अप्रयुक्त हैं जिसके लिए आपके कोड का परीक्षण नहीं किया गया है।
मेरा सवाल है: क्या मैन्युअल रूप से इकाई परीक्षण लिख रहे हैं उदाहरण के लिए सबूत?
3
नहीं, परीक्षण लिखना / उपयोग नहीं करना । यह दावा करते हुए कि आपकी इकाई परीक्षण इस बात का प्रमाण है कि कार्यक्रम में कुछ भी गलत नहीं है उदाहरण के लिए प्रमाण (एक अनुपयुक्त सामान्यीकरण) है। परीक्षण गणितीय रूप से कोड शुद्धता साबित करने के बारे में नहीं हैं - परीक्षण उनकी प्रकृति, प्रायोगिक जाँच द्वारा होते हैं। यह एक सुरक्षा जाल है जो आपको कोड के बारे में कुछ बताकर आत्मविश्वास बनाने में मदद करता है। लेकिन आप वह हैं जिसे कोड की जांच करने के लिए एक अच्छी रणनीति चुननी है, और आप वह हैं जिसकी व्याख्या करना है कि डेटा का क्या मतलब है।
—
फिलिप मिलोवानोविक