TY - GEN
T1 - Data Flow Testing for PLC Programs via Dynamic Symbolic Execution
AU - He, Weigang
AU - Mao, Xia
AU - Su, Ting
AU - Huang, Yanhong
AU - Shi, Jianqi
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - Programmable logic controllers (PLCs) are broadly used in the safety-critical industrial field, which requires high reliability to avoid catastrophes. Data flow testing (DFT) focuses on data flow relationships in a program and has a stronger fault-detection ability than other control flow-based testing. However, there is no automated testing tool supporting DFT for PLC programs. Hence, we propose an automated data flow testing framework for PLC programs. Our DFT framework is based on dynamic symbolic execution (DSE). Considering the cyclic execution feature of PLC programs, our approach needs reachable states which can be provided by branch testing. Besides, our approach improves testing performance through a novel guided path search algorithm. Furthermore, we evaluate our approach on several programs to demonstrate that this approach is practical and effective.
AB - Programmable logic controllers (PLCs) are broadly used in the safety-critical industrial field, which requires high reliability to avoid catastrophes. Data flow testing (DFT) focuses on data flow relationships in a program and has a stronger fault-detection ability than other control flow-based testing. However, there is no automated testing tool supporting DFT for PLC programs. Hence, we propose an automated data flow testing framework for PLC programs. Our DFT framework is based on dynamic symbolic execution (DSE). Considering the cyclic execution feature of PLC programs, our approach needs reachable states which can be provided by branch testing. Besides, our approach improves testing performance through a novel guided path search algorithm. Furthermore, we evaluate our approach on several programs to demonstrate that this approach is practical and effective.
KW - Data flow Testing
KW - Dynamic symbolic execution
KW - PLC
UR - https://www.scopus.com/pages/publications/85126178639
U2 - 10.1109/APSEC53868.2021.00023
DO - 10.1109/APSEC53868.2021.00023
M3 - 会议稿件
AN - SCOPUS:85126178639
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 152
EP - 160
BT - Proceedings - 2021 28th Asia-Pacific Software Engineering Conference, APSEC 2021
PB - IEEE Computer Society
T2 - 28th Asia-Pacific Software Engineering Conference, APSEC 2021
Y2 - 6 December 2021 through 9 December 2021
ER -