AuthorsM. Z. Iqbal, A. Arcuri and L. Briand
EditorsD. Petriu, N. Rouquette and Ø. Haugen
TitleEnvironment Modeling With UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
AfilliationSoftware Engineering, Software Engineering
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2010
Conference NameACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
Volume6394
Pagination286-300
PublisherSpringer Berlin / Heidelberg
ISBN Number0302-9743
Abstract

The behavior of real-time embedded systems (RTES) is mostly driven by its environment. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. To do so, we explicitly model the environment, its interactions with the RTES, and potentially unsafe situations triggered by failures of the RTES under test. Though environment modeling is not new, we aim to do so using a language that is familiar to software engineers, that is the UML and its extensions. This is important as test automation is performed by software testers that are usually not familiar with techniques geared towards simulating natural phenomena. Furthermore,simulation should only be concerned with what is visible to the RTES under test. In this paper, we provide and evaluate, on two industrial case studies, such an environment modeling methodology. We show how the models are used to fully automate black-box testing using search-based techniques and the generation of code simulating the environment. Results show that our modeling methodology provides sufficient information to support effective model-based testing of industrial RTES.

Citation KeySimula.approve.28