Interaction testing in model-based development: Effect on model-coverage

Renée C. Bryce, Ajitha Rajan, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations


Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (such as, code generation), therefore, it is crucial that the model be extensively validated. Automatic generation of interaction test suites is a candidate for partial automation of this model validation task. Interaction testing is a combinatorial approach that systematically tests all t-way combinations of inputs for a system. In this paper, we report how well interaction test suites (2-way through 5-way interaction test suites) structurally cover a model of the modelogic of a flight guidance system. We conducted experiments to (1) compare the coverage achieved with interaction test suites to that of randomly generated tests and (2) determine if interaction test suites improve the coverage of black-box test suites derived from system requirements. The experiments show that the interaction test suites provide little benefit over the randomly generated tests and do not improve coverage of the requirements-based tests. These findings raise questions on the application of interaction testing in this domain.

Original languageEnglish (US)
Title of host publicationProceedings - APSEC 2006
Subtitle of host publicationAsia-Pacific Software Engineering Conference
Number of pages7
StatePublished - 2006
EventAPSEC 2006: Asia-Pacific Software Engineering Conference - Bangalore, India
Duration: Dec 6 2006Dec 8 2006

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362


OtherAPSEC 2006: Asia-Pacific Software Engineering Conference

Bibliographical note

Copyright 2011 Elsevier B.V., All rights reserved.


Dive into the research topics of 'Interaction testing in model-based development: Effect on model-coverage'. Together they form a unique fingerprint.

Cite this