Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Formal Methods
test coverage measurement
test automation
function block diagram
programmable logic controller
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Kim, Suin
Cha, Sungdeok
Contributor
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.

Advisor
Date of presentation
2010-09-14
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T03:49:31.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
SAFECOMP 2010. The 29th International Conference on Computer Safety, Reliability and Security. September 14 - 17 2010. Vienna, Austria.
Recommended citation
Collection