To apply model-based testing successfully and effectively, a complete, coherent and easy-to-read model of a system has to be constructed. If the model is incomplete, inconsistent or inaccurate due to human error, the corresponding test development becomes useless or even dangerous: the developers might rely on the test results that do not correctly reflect the actual system-under-test. In this chapter we discuss human-centred aspects of model-based test design, focusing on combinatorial testing. These aspects are implemented within a formal framework for combinatorial test design. The framework is called AHR by its core features: Agile, Human-centred and Refinement-oriented. The goal of the framework is to provide a human-centered iterative, refinement-based construction of system models and the corresponding test plans, as well as to supports reuse and refinement of the developed test plans at different levels of abstraction.
|Title of host publication||Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers|
|Editors||Leszek A. Maciaszek, Joaquim Filipe|
|Number of pages||18|
|State||Published - 2016|
|Event||11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016 - Rome, Italy|
Duration: 27 Apr 2016 → 28 Apr 2016
|Name||Communications in Computer and Information Science|
|Conference||11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016|
|Period||27/04/16 → 28/04/16|
Bibliographical noteFunding Information:
★ This work has been funded by the FWF under grant P21374-N13. ★★ The author’s work is funded by a postdoctoral research grant provided by the Insti-tute for the Promotion of Innovation by Science and Technology in Flanders.
© Springer International Publishing AG 2016.
- Combinatorial test design
- Formal methods
ASJC Scopus subject areas
- Computer Science (all)
- Mathematics (all)