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

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

• Type: Conference
• Year: 2006
• Where: APSEC
• Authors: Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl
• Keywords: APSEC 2006, Interaction Test Suites, Interaction Testing, Randomly Generated Tests, Software Engineering