Combinatorial test design (CTD) is an effective test planning technique that reveals faulty feature interaction in a given system. CTD takes a systematic approach to formally model the system to be tested, and propose test cases ensuring coverage of given conditions or interactions between parameters. In this position paper we propose a framework for supporting agile CTD, a human-centered methodology, which takes into account the human tester’s possible mistakes and supports revision and refinement. In this approach a combinatorial model of the system and test plans are constructed in an incremental and iterative way, providing the tester with the ability to refine and validate the constructions. We propose a formal framework which can be used as a theoretical foundation for the development of agile CTD support tools, and describe a use case of an envisioned tool.
|Title of host publication||Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops|
|Subtitle of host publication||ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers|
|Editors||Domenico Bianculli, Radu Calinescu, Bernhard Rumpe|
|Number of pages||8|
|State||Published - 2015|
|Event||13th International Conference on Software Engineering and Formal Methods, SEFM 2015 - York, United Kingdom|
Duration: 7 Sep 2015 → 8 Sep 2015
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||13th International Conference on Software Engineering and Formal Methods, SEFM 2015|
|Period||7/09/15 → 8/09/15|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science (all)