Abstract
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.
Original language | English |
---|---|
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 |
Publisher | Springer Verlag |
Pages | 35-42 |
Number of pages | 8 |
ISBN (Print) | 9783662492239 |
DOIs | |
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 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9509 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 |
---|---|
Country/Territory | United Kingdom |
City | York |
Period | 7/09/15 → 8/09/15 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2015.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science