quickcheck

10गर्मी

1उत्तर

बाइटस्ट्रिंग का उपयोग कर हास्केल क्विक चेक 2?

आरडब्ल्यूएच पुस्तकों का कहना है ByteString समर्थन प्राप्त करने, मैं जोड़ने की जरूरत है कि: instance Arbitrary B.ByteString where arbitrary = fmap B.pack arbitrary coarbitrary = coarbitrary .

7गर्मी

2उत्तर

मैं क्विक चेक को सभी अपवादों को पकड़ने से कैसे रोक सकता हूं?

क्विक चेक लाइब्रेरी में सभी अपवादों को पकड़ना प्रतीत होता है जो किसी संपत्ति का परीक्षण करते समय फेंक दिए जाते हैं। विशेष रूप से, यह व्यवहार मुझे पूरे क्विक चेक गणना पर समय सीमा लगाने से रोकता है। उदा

9गर्मी

2उत्तर

QuickCheck बाहर निकलने की स्थिति, और कबाल एकीकरण

मुझे यह समझाया गया कबाल के साथ कुछ quickcheck परीक्षण एकीकृत करने के कोशिश कर रहा हूँ। यह gist पता चलता है quickCheck फ़ंक्शन कि विफलता पर गैर शून्य स्थिति है, लेकिन मुझे लगता है कि व्यवहार नहीं मिल र

14गर्मी

2उत्तर

मैं क्विक चेक का उपयोग कर उच्च-आदेश फ़ंक्शन का परीक्षण कैसे कर सकता हूं?

मेरे पास एक उच्च-आदेश फ़ंक्शन है जिसे मैं परीक्षण करना चाहता हूं, और जिन गुणों में मैं परीक्षण करना चाहता हूं उनमें से एक यह है कि यह पारित किए गए कार्यों के साथ क्या करता है। चित्रण के प्रयोजनों के ल

9गर्मी

2उत्तर

वहाँ QuickCheck साथ उपयोग करने के लिए मनमानी की एक monadic संस्करण है?

मैं QuickCheck का उपयोग कर शुद्ध कोड का परीक्षण करना चाहते जब मैं अक्सर एक Arbitrary उदाहरण लिखने के लिए की है। monadic कोड का परीक्षण करने के लिए, मैं इस article में वर्णित के रूप Test.QuickCheck.Mon

7गर्मी

1उत्तर

हास्केल: क्विक चेक के साथ एक (प्रतिक्रियाशील) एफएसएम का परीक्षण कैसे करें?

मैंने एक छोटे से फुटबॉल गेम के लिए एक परिमित राज्य मशीन मॉड्यूल लिखा है जिसमें मैं वर्तमान में काम कर रहा हूं। यह एक एफएसएम (मूल रूप से इसके राज्यों और संक्रमण) की स्थापना के लिए एक इंटरफेस प्रदान करत

17गर्मी

1उत्तर

क्विक चेक

में परीक्षण डेटा कैसे उत्पन्न होता है, इस पर नियंत्रण करते हुए मैंने हास्केल में सबसेट योग समस्या का हल ढूंढने के लिए एक एल्गोरिदम लिखा था। हस्ताक्षर subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [

25गर्मी

2उत्तर

# परीक्षण बढ़ाने के लिए Haskell QuickCheck 2.4 कैसे प्राप्त करें?

ठीक है, जैसा कि मैंने अपने previous question के माध्यम से सीखा है, आरडब्ल्यूएच पुस्तक पहले से ही क्विक चेक के लिए पुरानी है। और मैंने जो भी पोस्ट पढ़ी हैं, उसके बावजूद मुझे बताएं कि क्विक चेक का उपयोग

14गर्मी

2उत्तर

Quickcheck

के लिए विफल मान को खोजें जब कोई मान QuickCheck'd परीक्षण में विफल रहता है, तो मैं इसे डिबगिंग के लिए उपयोग करना चाहता हूं। वहाँ किसी भी तरह से मैं की तरह कुछ कर सकते हैं: let failValue = quickCheck' m

31गर्मी

2उत्तर

क्विक चेक से मुझे अच्छे (छोटे) सिंक कैसे मिलते हैं?

मैं कुछ नेस्टेड सूची में QuickCheck को चलाने के लिए कोशिश कर रहा हूँ, कुछ है कि इस तरह दिखता है: type Constraint = Text data Value = Value [Constraint] data Literal = Literal Value [Value] type For