quickcheck

11गर्मी

2उत्तर

क्विक चेक गुणों में उपयोग किए गए शो-इन फ़ंक्शन

मैं QuickCheck संपत्ति लिखने की कोशिश कर रहा हूं जो इनपुट के रूप में एक या अधिक कार्य लेता है। इसे आसान बनाने के लिए, कि समारोह रचना की जाँच करने के लिए एक संपत्ति पर विचार लगातार समारोह आवेदन के बराब

10गर्मी

5उत्तर

वर्कबैक क्विक चेक 2 में चेक करें?

क्विक चेक 1 से फ़ंक्शन verboseCheck क्विक चेक 2 में अनुपस्थित प्रतीत होता है (या कम से कम, मुझे यह नहीं मिल रहा है)। क्या यह दिखाने का कोई और तरीका है कि परीक्षण के दौरान कौन से मूल्यों का उपयोग किया

36गर्मी

11उत्तर

क्या आपने वास्तविक प्रोजेक्ट

Quickcheck और इसके संस्करणों में भी क्विक चेक का उपयोग किया है (यहां तक कि Java में भी एक है), दिलचस्प लगता है। हालांकि, अकादमिक हित के अलावा, क्या यह वास्तविक अनुप्रयोग परीक्षण में वास्तव में उपयोग

8गर्मी

2उत्तर

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

क्विक चेक के माध्यम से परीक्षण किए जाने पर असफल संपत्ति परीक्षण के कारणों को प्रदर्शित करने का सबसे अच्छा अभ्यास क्या है? उदाहरण के लिए विचार करें: prop a b = res /= [] where (res, reason)

17गर्मी

2उत्तर

क्विक चेक उदाहरण कैबेल पैकेज में कहां से संबंधित हैं?

मेरे पास cabal package है जो एक प्रकार NBT निर्यात करता है जो अन्य डेवलपर्स के लिए उपयोगी हो सकता है। मैं अपने प्रकार के लिए Arbitrary उदाहरण को परिभाषित करने की परेशानी से गुजर चुका हूं, और यह मेरे क

48गर्मी

2उत्तर

मोनाडिक क्विक चेक

के साथ आईओ क्रियाओं का परीक्षण करना क्या कोई मुझे मोनाडिक क्विक चेक का उपयोग करके आईओ कार्यों का परीक्षण करने का एक संक्षिप्त उदाहरण दे सकता है?

12गर्मी

1उत्तर

कई प्रकार के खिलाफ QuickCheck गुणों का परीक्षण?

मेरे पास एक प्रकार का वर्ग Atomic है, जो कुछ प्रकारों को रैपर मान (Atom) से परिवर्तित करने के लिए कार्यों को परिभाषित करता है। मैं एक क्विक चेक संपत्ति को परिभाषित करना चाहता हूं जो कहता है: "Atomic क

12गर्मी

3उत्तर

हास्केल के क्विक चेक

-- 3 (find k"th element of a list) element_at xs x = xs !! x prop_3a xs x = (x < length xs && x >= 0) ==> element_at xs (x::Int) == (xs !! x::Int) के साथ एक विशिष्ट लंबाई की सूचियां उत्पन्न करते स

11गर्मी

2उत्तर

निरंतर एकीकरण के साथ हनीट/क्विक चेक

क्या हनीट या क्विक चेक में कोई एक्सटेंशन है जो परीक्षण परिणामों की विस्तृत रिपोर्टिंग करने के लिए Bamboo जैसी निरंतर एकीकरण प्रणाली की अनुमति देता है? अब तक, मेरा सबसे अच्छा विचार है कि बिल्ड स्क्रिप्

8गर्मी

1उत्तर

आप पैकेज कोड द्वारा प्रदान किए गए हास्केल प्रकार वर्ग उदाहरणों को कैसे ओवरराइड करते हैं?

मेरे पास कुछ पुराने हास्केल कोड हैं जिनमें क्विक चेक टेस्ट केस शामिल हैं। क्विक चेक के नए संस्करण (मैंने अभी 2.4.0.1 में अपग्रेड किया है) में Arbitrary Word8 और अन्य के लिए टाइप क्लास इंस्टेंस शामिल ह