Automated test coverage measurement for reactor protection system software implemented in function block diagram

Eunkyoung Jee; Suin Kim; Sungdeok Cha; Insup Lee

doi:10.1007/978-3-642-15651-9_17

Automated test coverage measurement for reactor protection system software implemented in function block diagram

Eunkyoung Jee, Suin Kim, Sungdeok Cha, Insup Lee

Department of Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings
Pages	223-236
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-642-15651-9_17
Publication status	Published - 2010
Event	29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010 - Vienna, Austria Duration: 2010 Sep 14 → 2010 Sep 17

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6351 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010
Country	Austria
City	Vienna
Period	10/9/14 → 10/9/17

Keywords

function block diagram
programmable logic controller
test automation
test coverage measurement

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-15651-9_17

Fingerprint Dive into the research topics of 'Automated test coverage measurement for reactor protection system software implemented in function block diagram'. Together they form a unique fingerprint.

Cite this

Jee, E., Kim, S., Cha, S., & Lee, I. (2010). Automated test coverage measurement for reactor protection system software implemented in function block diagram. In Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings (pp. 223-236). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6351 LNCS). https://doi.org/10.1007/978-3-642-15651-9_17

Automated test coverage measurement for reactor protection system software implemented in function block diagram. / Jee, Eunkyoung; Kim, Suin; Cha, Sungdeok; Lee, Insup.

Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. 2010. p. 223-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6351 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jee, E, Kim, S, Cha, S & Lee, I 2010, Automated test coverage measurement for reactor protection system software implemented in function block diagram. in Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6351 LNCS, pp. 223-236, 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, Vienna, Austria, 10/9/14. https://doi.org/10.1007/978-3-642-15651-9_17

Jee E, Kim S, Cha S, Lee I. Automated test coverage measurement for reactor protection system software implemented in function block diagram. In Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. 2010. p. 223-236. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-15651-9_17

Jee, Eunkyoung ; Kim, Suin ; Cha, Sungdeok ; Lee, Insup. / Automated test coverage measurement for reactor protection system software implemented in function block diagram. Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings. 2010. pp. 223-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8a5f673f199c4dfd8420374260e0178e,

title = "Automated test coverage measurement for reactor protection system software implemented in function block diagram",

abstract = "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.",

keywords = "function block diagram, programmable logic controller, test automation, test coverage measurement",

author = "Eunkyoung Jee and Suin Kim and Sungdeok Cha and Insup Lee",

note = "Copyright: Copyright 2010 Elsevier B.V., All rights reserved.; 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010 ; Conference date: 14-09-2010 Through 17-09-2010",

year = "2010",

doi = "10.1007/978-3-642-15651-9_17",

language = "English",

isbn = "3642156509",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "223--236",

booktitle = "Computer Safety, Reliability, and Security - 29th International Conference, SAFECOMP 2010, Proceedings",

}

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

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 -