AHR: Human-centred aspects of test design

Maria Spichkova; Anna Zamansky

doi:10.1007/978-3-319-56390-9_6

AHR: Human-centred aspects of test design

Maria Spichkova, Anna Zamansky

Department of Information Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
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
Publisher	Springer Verlag
Pages	111-128
Number of pages	18
ISBN (Print)	9783319563893
DOIs	https://doi.org/10.1007/978-3-319-56390-9_6
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

Publication series

Name	Communications in Computer and Information Science
Volume	703
ISSN (Print)	1865-0929

Conference

Conference	11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016
Country/Territory	Italy
City	Rome
Period	27/04/16 → 28/04/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.

Keywords

Combinatorial test design
Formal methods
Testing
Usability
Visualisation

ASJC Scopus subject areas

General Computer Science
General Mathematics

Access to Document

10.1007/978-3-319-56390-9_6

Cite this

Spichkova, M., & Zamansky, A. (2016). AHR: Human-centred aspects of test design. In L. A. Maciaszek, & J. Filipe (Eds.), Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers (pp. 111-128). (Communications in Computer and Information Science; Vol. 703). Springer Verlag. https://doi.org/10.1007/978-3-319-56390-9_6

@inproceedings{c9b6f923e7dc40e1ab6aa6d9474eca32,

title = "AHR: Human-centred aspects of test design",

abstract = "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.",

keywords = "Combinatorial test design, Formal methods, Testing, Usability, Visualisation",

author = "Maria Spichkova and Anna Zamansky",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016 ; Conference date: 27-04-2016 Through 28-04-2016",

year = "2016",

doi = "10.1007/978-3-319-56390-9_6",

language = "English",

isbn = "9783319563893",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

pages = "111--128",

editor = "Maciaszek, {Leszek A.} and Joaquim Filipe",

booktitle = "Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers",

address = "Germany",

}

Spichkova, M & Zamansky, A 2016, AHR: Human-centred aspects of test design. in LA Maciaszek & J Filipe (eds), Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers. Communications in Computer and Information Science, vol. 703, Springer Verlag, pp. 111-128, 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, Rome, Italy, 27/04/16. https://doi.org/10.1007/978-3-319-56390-9_6

AHR: Human-centred aspects of test design. / Spichkova, Maria; Zamansky, Anna.
Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers. ed. / Leszek A. Maciaszek; Joaquim Filipe. Springer Verlag, 2016. p. 111-128 (Communications in Computer and Information Science; Vol. 703).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - AHR

T2 - 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016

AU - Spichkova, Maria

AU - Zamansky, Anna

N1 - Publisher Copyright: © Springer International Publishing AG 2016.

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - Combinatorial test design

KW - Formal methods

KW - Testing

KW - Usability

KW - Visualisation

UR - http://www.scopus.com/inward/record.url?scp=85019085762&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-56390-9_6

DO - 10.1007/978-3-319-56390-9_6

M3 - Conference contribution

AN - SCOPUS:85019085762

SN - 9783319563893

T3 - Communications in Computer and Information Science

SP - 111

EP - 128

BT - Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers

A2 - Maciaszek, Leszek A.

A2 - Filipe, Joaquim

PB - Springer Verlag

Y2 - 27 April 2016 through 28 April 2016

ER -

AHR: Human-centred aspects of test design

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this