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

Eunkyoung Jee, Suin Kim, Sungdeok Cha, Insup Lee

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages223-236
Number of pages14
Volume6351 LNCS
DOIs
Publication statusPublished - 2010 Sep 20
Event29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010 - Vienna, Austria
Duration: 2010 Sep 142010 Sep 17

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6351 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010
CountryAustria
CityVienna
Period10/9/1410/9/17

Keywords

  • function block diagram
  • programmable logic controller
  • test automation
  • test coverage measurement

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6351 LNCS, 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