The successful application of model-based testing (MBT) heavily relies on constructing a complete and coherent model of a system. This implies that inconsistency, incompleteness, or inaccuracy due to human error bear significant consequences. We propose a formal framework for MBT which we call AHR: agile, human-centred and refinementoriented. AHR captures an iterative construction of models and test plans, as well as supports refinements at different levels of abstraction. Copyright (c) by the paper's authors. Copying permitted only for private and academic purposes.
|Number of pages||8|
|Journal||CEUR Workshop Proceedings|
|State||Published - 2016|
|Event||CAiSE Forum, CAiSE-Forum 2016, at the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016 - Ljubljana, Slovenia|
Duration: 13 Jun 2016 → 17 Jun 2016
ASJC Scopus subject areas
- Computer Science (all)