FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

• Published in: Science of computer programming Vol. 163; pp. 115 - 137
• Main Authors: Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.10.2018
• Subjects: Automated test sequence generation; Function block diagram; SMT solver; Structural testing; Structural testing; Automated test sequence generation; SMT solver; Function block diagram

As Function Block Diagram (FBD) programs are used to implement safety-critical systems such as nuclear reactor protection systems, it is crucial to generate effective test cases. FBD programs are running on programmable logic controllers (PLCs) that execute the programs repeatedly within a particula...