Automated test case generation for FBD programs implementing reactor protection system software
- Authors
- Jee, Eunkyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang-Soo; Bae, Doo-Hwan
- Issue Date
- 12월-2014
- Publisher
- WILEY
- Keywords
- automated test case generation; function block diagram; SMT solver; programmable logic controller
- Citation
- SOFTWARE TESTING VERIFICATION & RELIABILITY, v.24, no.8, pp.608 - 628
- Indexed
- SCIE
SCOPUS
- Journal Title
- SOFTWARE TESTING VERIFICATION & RELIABILITY
- Volume
- 24
- Number
- 8
- Start Page
- 608
- End Page
- 628
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/96567
- DOI
- 10.1002/stvr.1548
- ISSN
- 0960-0833
- Abstract
- Automated and effective testing for function block diagram (FBD) programs has become an important issue, as FBD is increasingly used in implementing safety-critical systems. This work describes an automated test case generation technique for FBD programs and its associated toolFBDTester. Given an FBD program and desired test coverage criteria, FBDTester generates test requirements and invokes the Satisfiability Modulo Theories solver iteratively to derive a set of test cases. An industrial case study using reactor protection system software shows that the automatically generated test suites detected at least 82% of the known faults, whereas manually generated test cases only detected approximately 35%. Mutation analysis revealed that the automatically generated test suites substantially outperformed manually generated ones. Although test sequence generation requires some manual effort in the current FBDTester, it is apparent that the proposed approach significantly improves the efficiency and the reliability of FBD testing. Copyright (c) 2014 John Wiley & Sons, Ltd.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Department of Computer Science and Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.