Interaction Testing in Model-Based Development: Effect on Model-Coverage

Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl

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


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 mode- logic 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
Title of host publication13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India
Number of pages10
Publication statusPublished - 2006


Dive into the research topics of 'Interaction Testing in Model-Based Development: Effect on Model-Coverage'. Together they form a unique fingerprint.

Cite this