Paper Info
Title
Mode-Aware Concolic Testing For Plc Software Special Session "Formal Methods For The Design And Analysis Of Automated Production Systems"
Abstract
During the development of PLC software, standards usually require testing to consider certain coverage criteria. Since a manual generation of coverage tests is tedious and error-prone, automatic approaches as concolic testing are highly desirable. Approaches targeting non-reactive software usually cannot address their peculiarities, e. g. the cyclic execution combined with state-machine behaviour. Hence, we present a novel concolic testing technique to fill this gap. In particular, our technique utilises operation modes that typically describe the state machine semantics of single units in PLC programs, also called function blocks. This allows for guiding symbolic execution along paths that conform with the state-machine semantics and are likely to uncover new program behaviour. We show that our technique efficiently generates coverage tests for a variety of programs, outperforming existing approaches tailored to PLC software.
Year
DOI
Venue
2018
10.1007/978-3-319-98938-9_21
INTEGRATED FORMAL METHODS, IFM 2018
Keywords
Field
DocType
Software testing, Integration of formal methods, Programmable Logic Controllers
Programming language,Computer science,Finite-state machine,Software,Concolic testing,Programmable logic controller,Symbolic execution,Semantics,Software testing
Conference
Volume
ISSN
Citations 
11023
0302-9743
1
PageRank 
References 
Authors
0.40
5
2
Name
Order
Citations
PageRank
Hendrik Simon131.16
Stefan Kowalewski260265.14