Chronological Test Generation for Software Project SLoC

Download Now
Provided by: International Journal on Computer Science and Technology (IJCST)
Topic: Software
Format: PDF
Recent advances in mechanical techniques for systematic testing have increased their ability to automatically find subtle bugs, and hence, to deploy more dependable software. This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line. Given properties of features as first-order logic formulas in alloy, their approach uses SAT-based analysis to automatically generate test inputs for each product in a product line.
Download Now

Find By Topic