TY - GEN
T1 - Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems
T2 - 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010
AU - Iqbal, Muhammad Zohaib
AU - Arcuri, Andrea
AU - Briand, Lionel
PY - 2010
Y1 - 2010
N2 - The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) methodology explicitly models key properties of 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 propose a precise methodology fitting our specific purpose, based on a language that is familiar to software testers, that is the UML and its extensions, as opposed to technologies geared towards simulating natural phenomena. Furthermore, in our context, simulation should only be concerned with what is visible to the RTES under test. Our methodology, focused on black-box MBT, was assessed on two industrial case studies. We show how the models are used to fully automate black-box testing using search-based test case generation techniques and the generation of code simulating the environment.
AB - The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) methodology explicitly models key properties of 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 propose a precise methodology fitting our specific purpose, based on a language that is familiar to software testers, that is the UML and its extensions, as opposed to technologies geared towards simulating natural phenomena. Furthermore, in our context, simulation should only be concerned with what is visible to the RTES under test. Our methodology, focused on black-box MBT, was assessed on two industrial case studies. We show how the models are used to fully automate black-box testing using search-based test case generation techniques and the generation of code simulating the environment.
UR - http://www.scopus.com/inward/record.url?scp=78349246811&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16145-2_20
DO - 10.1007/978-3-642-16145-2_20
M3 - Conference contribution
AN - SCOPUS:78349246811
SN - 3642161448
SN - 9783642161445
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 286
EP - 300
BT - Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings
Y2 - 3 October 2010 through 8 October 2010
ER -