Filtering TOBIAS Combinatorial Test Suites [chapter]

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
2004 Lecture Notes in Computer Science  
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (expressed with assertions, pre and post-conditions) and associated implementations. The tool takes advantage of the executable character of VDM or JML assertions which provide an oracle for the testing process. Executing large test suites may require a lot of time. This paper shows how assertions can be exploited at
more » ... time to filter the set of test cases, and at execution time to detect inconclusive test cases.
doi:10.1007/978-3-540-24721-0_21 fatcat:ys4wivhzxfcuxcmtevdjka4y3e