TY - GEN
T1 - Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution
AU - Hao, Li
AU - Shi, Jianqi
AU - Su, Ting
AU - Huang, Yanhong
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/7
Y1 - 2019/7
N2 - A programmable logic controller (PLC) is essentially a computer dedicated to industrial control which is widely used in the field of global automation control. However, PLC software bugs can result in economic losses and even personal safety issues. PLC software must be thoroughly tested regarding function, structure, safety, and other aspects to avoid accidents. Existing PLC tools are mainly based on the manual setting of input data, which is not only unable to be well automated but also cannot provide information about code coverage. This paper presents an automated test case generation approach for a Structured Text (ST) language to reduce the cost of testing, using dynamic symbolic execution. We apply this method to implement the coverage-based automated test case generation tool STAutoTester. We have evaluated STAutoTester on 21 programs. The experimental results show that STAutoTester can effectively handle these programs. For 11 ST programs, STAutoTester reduces, on average, 87.5% of generated test cases compared to SYMPLC.
AB - A programmable logic controller (PLC) is essentially a computer dedicated to industrial control which is widely used in the field of global automation control. However, PLC software bugs can result in economic losses and even personal safety issues. PLC software must be thoroughly tested regarding function, structure, safety, and other aspects to avoid accidents. Existing PLC tools are mainly based on the manual setting of input data, which is not only unable to be well automated but also cannot provide information about code coverage. This paper presents an automated test case generation approach for a Structured Text (ST) language to reduce the cost of testing, using dynamic symbolic execution. We apply this method to implement the coverage-based automated test case generation tool STAutoTester. We have evaluated STAutoTester on 21 programs. The experimental results show that STAutoTester can effectively handle these programs. For 11 ST programs, STAutoTester reduces, on average, 87.5% of generated test cases compared to SYMPLC.
KW - Automated Test Generation
KW - Dynamic Symbolic Execution
KW - Structured Text Language
UR - https://www.scopus.com/pages/publications/85076997623
U2 - 10.1109/TASE.2019.00004
DO - 10.1109/TASE.2019.00004
M3 - 会议稿件
AN - SCOPUS:85076997623
T3 - Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
SP - 200
EP - 207
BT - Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
Y2 - 29 July 2019 through 31 July 2019
ER -