Title :
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
Author :
Abad, Pablo ; Aguirre, Nazareno ; Bengolea, Valeria ; Ciolek, Daniel ; Frias, Marcelo ; Galeotti, John ; Maibaum, Tom ; Moscato, M. ; Rosner, Nicolas ; Vissani, Ignacio
Author_Institution :
Inst. Tecnol. de Buenos Aires, Buenos Aires, Argentina
Abstract :
We present a novel and general technique for automated test generation that combines tight bounds with incremental SAT solving. The proposed technique uses incremental SAT to build test suites targeting a specific testing criterion, amongst various black-box and white-box criteria. As our experimental results show, the combination of tight bounds with incremental SAT, and the testing criterion driven approach implemented in our prototype tool FAJITA, enable us to effectively generate test suites for container classes with rich contracts, more efficiently than other state-of-the-art tools.
Keywords :
automatic test pattern generation; computability; program testing; software prototyping; software quality; software tools; FAJITA prototype tool; automated test generation; black-box criteria; incremental SAT solving; rich contracts; state-of-the-art tools; test suites; testing criterion driven approach; white-box criteria; Algorithm design and analysis; Contracts; Cost accounting; Instruments; Java; Metals; Testing;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Conference_Location :
Luembourg
Print_ISBN :
978-1-4673-5961-0
DOI :
10.1109/ICST.2013.46