@misc{9650,
  author = {Muhammad Iqbal and Andrea Arcuri and Lionel Briand},
  title = {Environment Modeling With UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies},
  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.},
  year = {2010},
  journal = {ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)},
  volume = {6394},
  pages = {286-300},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {0302-9743},
  editor = {Dorina Petriu and Nicolas Rouquette and {\O}ystein Haugen},
}