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

Question

की सहायता से पारसी परीक्षण मैं एक पारसी पार्सर के लिए एक परीक्षण लिखना चाहता हूं।

data Event = Event { keyEvent :: String } 
    deriving Show 

parseKey :: Parser Event 
parseKey = do 
      char '<' 
      k <- many1 (letter <|> digit <|> oneOf "_") 
      char '>' 
      return $ Event k 

मैं जानता हूँ कि मैं parse = parse . pretty . parse संपत्ति की जांच करने की जरूरत है कि: यहाँ पार्सर और डेटा संरचना का उदाहरण है। लेकिन मुझे सही और गलत परीक्षण मामलों को कैसे उत्पन्न करना चाहिए? आम तौर पर, मुझे BNF दिए गए परीक्षण मामलों को कैसे उत्पन्न करना चाहिए? मुझे instance Arbitrary के बारे में पता है, लेकिन इससे बहुत मदद नहीं है।

यदि आप इस सरल पार्सर के लिए जनरेटर का एक अच्छी तरह से टिप्पणी उदाहरण प्रदान करते हैं तो मैं सराहना करता हूं।

Answer 1

परीक्षण पार्सर्स पूरी तरह से तुच्छ नहीं है। (सभी परीक्षणों के साथ, चीज की जटिलता के आधार पर।)

एक चीज जो आप कर सकते हैं वह Arbitrary उदाहरण लिखना है जो सभी मान्य अभिव्यक्तियों (या जो कुछ भी आप पार्स करने का प्रयास कर रहे हैं) बनाते हैं, और फिर चेक करें कि यदि आप चीज को सुंदर प्रिंट करते हैं और फिर परिणामी स्ट्रिंग को पार्स करते हैं, तो आप ठीक उसी तरह वापस आते हैं जो आपने शुरू किया था।

• अगर जवाब गलत है, क्या टूट गया है:

  उस के साथ समस्याओं की एक जोड़ी रहे हैं? पार्सर या प्रिंटर?

• यदि आप जिस चीज को पार्सिंग कर रहे हैं वह वैकल्पिक ब्रैकेट और चीजों के लिए पर्याप्त जटिल है, तो आपको यह जांचना होगा कि वैकल्पिक ब्रैकेट के साथ और बिना दोनों काम करता है। आपका सुंदर प्रिंटर केवल एक ही रास्ता या दूसरे को ही करेगा।

• यह जांच नहीं करता है कि कचरा इनपुट वास्तव में अस्वीकार कर दिया जाता है (और कुछ अजीब के रूप में पार्स नहीं किया जाता है)। उदाहरण के लिए, मैंने बहुत सारे पारसी पार्सर्स लिखे हैं जो इनपुट के अंत पर होने पर सिंटैक्स त्रुटि को चुपचाप अनदेखा कर देंगे।

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

बेशक, यह निर्भर करता है कि आपका पार्सर कितना जटिल है, और आप कितना आश्वासन चाहते हैं ... यदि आप बस JSON को पार्स कर रहे हैं, तो आप शायद इसे आसानी से जांच सकते हैं। यदि आप मार्कडाउन की तरह कुछ पार्स कर रहे हैं ... मेरे भगवान को आपकी आत्मा पर दया है!