हंपी

कई स्वचालित परीक्षण, विश्लेषण, और प्रमाणीकरण तकनीकों को प्रभावी रूप से एक बाधा निर्माण चरण में घटित किया जा सकता है, जिसके बाद एक बाधा समाधान चरण होता है। चिंताओं की यह पृथक्करण अक्सर अधिक प्रभावी और रखरखाव योग्य उपकरणों की ओर ले जाती है। तैयार उत्पाद बाधा समाधानकर्ताओं की बढ़ती दक्षता इस दृष्टिकोण को और भी आकर्षक बनाती है। हालाँकि, स्ट्रिंग-हेरफेर करने वाले कार्यक्रमों के लिए विश्लेषण तकनीकों द्वारा निर्मित स्ट्रिंग बाधाओं के लिए कुछ ही प्रभावी और पर्याप्त रूप से अभिव्यक्तिपूर्ण तैयार समाधानकर्ता हैं।