Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: Methodology and industrial case studies

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings
Pages286-300
Number of pages15
EditionPART 1
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010 - Oslo, Norway
Duration: 3 Oct 20108 Oct 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume6394 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010
Country/TerritoryNorway
CityOslo
Period3/10/108/10/10

Fingerprint

Dive into the research topics of 'Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: Methodology and industrial case studies'. Together they form a unique fingerprint.

Cite this