Welcome to the InfoSci Platform
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

Detlef Streitferdt, Florian Kantz, Philipp Nenninger, Thomas Ruschival, Holger Kaul, Thomas Bauer, Tanvir Hussain, Robert Eschbach
Copyright: © 2011 |Volume: 2 |Issue: 2 |Pages: 20
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781613506905|DOI: 10.4018/jertcs.2011040102
Cite Article Cite Article

MLA

Streitferdt, Detlef, et al. "Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain." IJERTCS vol.2, no.2 2011: pp.22-41. http://doi.org/10.4018/jertcs.2011040102

APA

Streitferdt, D., Kantz, F., Nenninger, P., Ruschival, T., Kaul, H., Bauer, T., Hussain, T., & Eschbach, R. (2011). Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 2(2), 22-41. http://doi.org/10.4018/jertcs.2011040102

Chicago

Streitferdt, Detlef, et al. "Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 2, no.2: 22-41. http://doi.org/10.4018/jertcs.2011040102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.