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

Authors:
Detlef Streitferdt;Florian Kantz;Philipp Nenninger;Thomas Ruschival;Holger Kaul;Thomas Bauer;Tanvir Hussain;Robert Eschbach
Affiliations:
Ilmenau University of Technology, Germany;ABB Corporate Research, Germany;ABB Corporate Research, Germany;ABB Corporate Research, Germany;ABB Corporate Research, Germany;Fraunhofer IESE, Germany;Fraunhofer IESE, Germany;Fraunhofer IESE, Germany
Venue:
International Journal of Embedded and Real-Time Communication Systems
Year:
2011

Citing 14
Cited 0

Estimating the Probability of Failure When Testing Reveals No Failures

IEEE Transactions on Software Engineering
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Operational Profiles in Software-Reliability Engineering

IEEE Software
Software Fault Interactions and Implications for Software Testing

IEEE Transactions on Software Engineering
Using Markov Chain Usage Models to Test Complex Systems

HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
Model-based testing for applications derived from software product lines

A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Coverage and adequacy in software product line testing

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
From Requirements to Statistical Testing of Embedded Systems

ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain

COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain

COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Model-based system testing of software product families

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

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.