Sökning: onr:"swepub:oai:DiVA.org:ri-24352" >
Search Based Testin...
Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study
-
- Doganay, Kivanc (författare)
- RISE,SICS,Swedish Institute of Computer Science, Kista Sweden
-
- Bohlin, Markus (författare)
- RISE,SICS,Swedish Institute of Computer Science, Kista Sweden
-
- Sellin, Ola (författare)
- Bombardier Transportation, Sweden,Bombardier Transportation, Västeras
-
(creator_code:org_t)
- 6
- 2013
- 2013
- Engelska.
-
Ingår i: Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. - 9781479913244 ; , s. 425-432
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- control systems
- function block diagrams
- MC/DC
- search-based testing
- structural testing
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas