क्विक चेक के साथ एक असफल परीक्षण संपत्ति का कारण कैसे प्रदर्शित करें?

Question

क्विक चेक के माध्यम से परीक्षण किए जाने पर असफल संपत्ति परीक्षण के कारणों को प्रदर्शित करने का सबसे अच्छा अभ्यास क्या है?

उदाहरण के लिए विचार करें:

prop a b = res /= [] 
    where 
     (res, reason) = checkCode a b 

फिर एक सत्र दिखाई देगा:

> quickCheck prop 
Falsifiable, after 48 tests: 
42 
23 

लेकिन यह डीबगिंग के लिए quickCheck falsifable के हिस्से के रूप विफलता का कारण दिखाने के लिए वास्तव में सुविधाजनक होगा रिपोर्ट।

मैं इसे इस तरह हैक कर लिया है:

prop a b = if res /= [] then traceShow reason False else True 
    where 
     (res, reason) = checkCode a b 

वहाँ एक बेहतर/अच्छे या अधिक quickcheckish तरह से यह करने के लिए है?

Answer 1

मुझे लगता है कि आपके "कारण" चर में कुछ गलत परीक्षण किए गए परीक्षण-विशिष्ट डेटा शामिल हैं। आप इसके बजाय "परिणाम" वापस कर सकते हैं, जिसमें सफलता/असफल/अमान्य स्थितियां और एक स्ट्रिंग शामिल है जो गलत हो गई है। प्रॉपर्टी जो रिटर्न परिणाम को क्विक चेक द्वारा ठीक उसी तरह से संभाला जाता है जैसे बूल लौटाता है।

इस तरह (संपादित करें):

module QtTest where 

import Test.QuickCheck 
import Test.QuickCheck.Property as P 


-- Always return success 
prop_one :: Integer -> P.Result 
prop_one _ = MkResult (Just True) True "always succeeds" False [] [] 


-- Always return failure 
prop_two :: Integer -> P.Result 
prop_two n = MkResult (Just False) True ("always fails: n = " ++ show n) False [] [] 

नोट है कि यह "परिणाम" प्रकार Test.QuickCheck.Property में परिभाषित आप चाहते है।

भी मुझे लगता है कि यह उन का उपयोग करना बेहतर शैली होगा इस तरह के

prop_three :: Integer -> Property 
prop_three n = printTestCase ("always fails: n = " ++ show n) False 

के रूप में कुछ combinators Test.QuickCheck.Property में परिभाषित किया गया है जो आप नहीं बल्कि निर्माता को सीधे फ़ोन से परिणाम रचना मदद, कर रहे हैं।

Answer 2

क्योंकि क्विक चेक आपको फ़ंक्शन में इनपुट देता है, और क्योंकि परीक्षण के तहत कोड शुद्ध है (यह सही है?), आप केवल उन इनपुट को फ़ंक्शन में खिला सकते हैं और परिणाम प्राप्त कर सकते हैं। यह अधिक लचीला है, क्योंकि उन इनपुट के साथ आप मूल कार्य में बार-बार परीक्षण के साथ परीक्षण कर सकते हैं जब तक कि यह सही न हो।