Chronological Test Generation for Software Project SLoC

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.

Find By Topic