डार्ट

हम एक नया टूल प्रस्तुत करते हैं, जिसका नाम DART है, जो स्वचालित रूप से सॉफ़्टवेयर का परीक्षण करता है और तीन मुख्य तकनीकों को जोड़ता है: (1) स्थैतिक स्रोत-कोड विश्लेषण का उपयोग करके एक प्रोग्राम के बाहरी पर्यावरण के साथ इंटरफ़ेस का स्वचालित निष्कर्षण; (2) इस इंटरफ़ेस के लिए एक परीक्षण ड्राइवर का स्वचालित निर्माण जो प्रोग्राम के लिए सबसे सामान्य पर्यावरण का अनुकरण करने के लिए यादृच्छिक परीक्षण करता है; और (3) यादृच्छिक परीक्षण के तहत प्रोग्राम के व्यवहार का गतिशील विश्लेषण और वैकल्पिक प्रोग्राम मार्गों के अनुसार निष्पादन को व्यवस्थित रूप से निर्देशित करने के लिए नए परीक्षण इनपुट का स्वचालित निर्माण। ये तीनों तकनीकें मिलकर Directed Automated Random Testing, या संक्षेप में DART बनाती हैं। DART की मुख्य ताकत यह है कि किसी भी ऐसे प्रोग्राम पर परीक्षण पूरी तरह से स्वचालित रूप से किया जा सकता है जो संकलित हो – किसी परीक्षण ड्राइवर या हार्नेस कोड को लिखने की आवश्यकता नहीं है। परीक्षण के दौरान, DART मानक त्रुटियों जैसे प्रोग्राम क्रैश, assertion उल्लंघन, और अनंत लूप का पता लगाता है। C प्रोग्राम के कई उदाहरणों के यूनिट परीक्षण के लिए प्रारंभिक प्रयोग उत्साहवर्धक हैं।