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

Anna Zamansky, Eitan Farchi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2015 Collocated Workshops
Subtitle of host publicationATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers
EditorsDomenico Bianculli, Radu Calinescu, Bernhard Rumpe
PublisherSpringer Verlag
Pages35-42
Number of pages8
ISBN (Print)9783662492239
DOIs
StatePublished - 2015
Event13th International Conference on Software Engineering and Formal Methods, SEFM 2015 - York, United Kingdom
Duration: 7 Sep 20158 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9509
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Software Engineering and Formal Methods, SEFM 2015
Country/TerritoryUnited Kingdom
CityYork
Period7/09/158/09/15

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2015.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Helping the tester get it right: Towards supporting agile combinatorial test design'. Together they form a unique fingerprint.

Cite this