TY - GEN
T1 - Automated test coverage measurement for reactor protection system software implemented in function block diagram
AU - Jee, Eunkyoung
AU - Kim, Suin
AU - Cha, Sungdeok
AU - Lee, Insup
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2010
Y1 - 2010
N2 - We present FBDTestMeasurer, an automated test coverage measurement tool for function block diagram (FBD) programs which are increasingly used in implementing safety critical systems such as nuclear reactor protection systems. We have defined new structural test coverage criteria for FBD programs in which dataflow-centric characteristics of FBD programs were well reflected. Given an FBD program and a set of test cases, FBDTestMeasurer produces test coverage score and uncovered test requirements with respect to the selected coverage criteria. Visual representation of uncovered data paths enables testers to easily identify which parts of the program need to be tested further. We found many aspects of the FBD logic that were not tested sufficiently when conducting a case study using test cases prepared by domain experts for reactor protection system software. Domain experts found this technique and tool highly intuitive and useful to measure the adequacy of FBD testing and generate additional test cases.
AB - We present FBDTestMeasurer, an automated test coverage measurement tool for function block diagram (FBD) programs which are increasingly used in implementing safety critical systems such as nuclear reactor protection systems. We have defined new structural test coverage criteria for FBD programs in which dataflow-centric characteristics of FBD programs were well reflected. Given an FBD program and a set of test cases, FBDTestMeasurer produces test coverage score and uncovered test requirements with respect to the selected coverage criteria. Visual representation of uncovered data paths enables testers to easily identify which parts of the program need to be tested further. We found many aspects of the FBD logic that were not tested sufficiently when conducting a case study using test cases prepared by domain experts for reactor protection system software. Domain experts found this technique and tool highly intuitive and useful to measure the adequacy of FBD testing and generate additional test cases.
KW - function block diagram
KW - programmable logic controller
KW - test automation
KW - test coverage measurement
UR - http://www.scopus.com/inward/record.url?scp=77956601997&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956601997&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-15651-9_17
DO - 10.1007/978-3-642-15651-9_17
M3 - Conference contribution
AN - SCOPUS:77956601997
SN - 3642156509
SN - 9783642156502
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 223
EP - 236
BT - Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings
T2 - 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010
Y2 - 14 September 2010 through 17 September 2010
ER -