Abstract
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, pro 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 generation time to filter the set of test cases, and at execution time to detect inconclusive test cases. Keywords: combinatorial testing, model-based specifications, VDM, JML © Springer-Verlag 2004.
Cite
CITATION STYLE
Ledru, Y., Bousquet, L. D., Maury, O., & Bontron, P. (2004). Filtering TOBIAS Combinatorial Test Suites. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2984, 281–294. https://doi.org/10.1007/978-3-540-24721-0_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
