SODA

Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study

Doganay, Kivanc and Bohlin, Markus and Sellin, Ola (2013) Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study. In: Sixth IEEE International Conference on Software Testing, Verification and Validation - 6th International Workshop on Search-Based Software Testing .

Full text not available from this repository.

Abstract

This paper presents a case study of search-based test generation for embedded system software units developed using the Function Block Diagrams (FBDs), a graphical language in the IEC 61131-3 standard aimed at programmable logic controllers (PLCs). We consider 279 different components from the train control software developed by Bombardier Transportation, a major rail vehicle manufacturer. The software is compiled into C code with a particular structure. We use a modified hill climbing algorithm for generating test data to maximize MC/DC coverage for assignments with logical expressions in the C code, while retaining the semantics of the original FBD implementation. An experimental evaluation for comparing the effectiveness (coverage rate) and the efficiency (required number of executions) of hill climbing algorithm with random testing is presented. The results show that random testing performs well for most units under test, while around 30% of the artifacts significantly benefit from the hill climbing algorithm. Structural properties of the units that affect the performance of hill climbing and random testing are also discussed.

Item Type:Conference or Workshop Item (Paper)
ID Code:5716
Deposited By:Kivanc Doganay
Deposited On:16 Oct 2014 14:08
Last Modified:16 Oct 2014 14:08

Repository Staff Only: item control page