A human-centred framework for supporting agile model-based testing

Maria Spichkova, Anna Zamansky

Research output: Contribution to journalConference articlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)105-112
Number of pages8
JournalCEUR Workshop Proceedings
Volume1612
StatePublished - 2016
EventCAiSE Forum, CAiSE-Forum 2016, at the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016 - Ljubljana, Slovenia
Duration: 13 Jun 201617 Jun 2016

ASJC Scopus subject areas

  • Computer Science (all)

Fingerprint

Dive into the research topics of 'A human-centred framework for supporting agile model-based testing'. Together they form a unique fingerprint.

Cite this