Helping the tester get it right: Towards supporting agile combinatorial test design

Anna Zamansky; Eitan Farchi

doi:10.1007/978-3-662-49224-6_4

Helping the tester get it right: Towards supporting agile combinatorial test design

Anna Zamansky, Eitan Farchi

Department of Information Systems

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

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	https://doi.org/10.1007/978-3-662-49224-6_4
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

Access to Document

10.1007/978-3-662-49224-6_4

Cite this

Zamansky, A., & Farchi, E. (2015). Helping the tester get it right: Towards supporting agile combinatorial test design. In D. Bianculli, R. Calinescu, & B. Rumpe (Eds.), Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers (pp. 35-42). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9509). Springer Verlag. https://doi.org/10.1007/978-3-662-49224-6_4

Zamansky, Anna ; Farchi, Eitan. / Helping the tester get it right : Towards supporting agile combinatorial test design. Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. editor / Domenico Bianculli ; Radu Calinescu ; Bernhard Rumpe. Springer Verlag, 2015. pp. 35-42 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d1fcbe1d61d34aa2be6195b14d55f2fd,

title = "Helping the tester get it right: Towards supporting agile combinatorial test design",

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{\textquoteright}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.",

author = "Anna Zamansky and Eitan Farchi",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 ; Conference date: 07-09-2015 Through 08-09-2015",

year = "2015",

doi = "10.1007/978-3-662-49224-6\_4",

language = "English",

isbn = "9783662492239",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "35--42",

editor = "Domenico Bianculli and Radu Calinescu and Bernhard Rumpe",

booktitle = "Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops",

address = "Germany",

}

Zamansky, A & Farchi, E 2015, Helping the tester get it right: Towards supporting agile combinatorial test design. in D Bianculli, R Calinescu & B Rumpe (eds), Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9509, Springer Verlag, pp. 35-42, 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, York, United Kingdom, 7/09/15. https://doi.org/10.1007/978-3-662-49224-6_4

Helping the tester get it right: Towards supporting agile combinatorial test design. / Zamansky, Anna; Farchi, Eitan.
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. ed. / Domenico Bianculli; Radu Calinescu; Bernhard Rumpe. Springer Verlag, 2015. p. 35-42 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9509).

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

TY - GEN

T1 - Helping the tester get it right

T2 - 13th International Conference on Software Engineering and Formal Methods, SEFM 2015

AU - Zamansky, Anna

AU - Farchi, Eitan

PY - 2015

Y1 - 2015

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

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

UR - https://www.scopus.com/pages/publications/84956639541

U2 - 10.1007/978-3-662-49224-6_4

DO - 10.1007/978-3-662-49224-6_4

M3 - Conference contribution

AN - SCOPUS:84956639541

SN - 9783662492239

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 35

EP - 42

BT - Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops

A2 - Bianculli, Domenico

A2 - Calinescu, Radu

A2 - Rumpe, Bernhard

PB - Springer Verlag

Y2 - 7 September 2015 through 8 September 2015

ER -

Zamansky A, Farchi E. Helping the tester get it right: Towards supporting agile combinatorial test design. In Bianculli D, Calinescu R, Rumpe B, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers. Springer Verlag. 2015. p. 35-42. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49224-6_4

Helping the tester get it right: Towards supporting agile combinatorial test design

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this