Departmental Papers (CIS)

Date of this Version

9-14-2010

Document Type

Conference Paper

Comments

SAFECOMP 2010. The 29th International Conference on Computer Safety, Reliability and Security. September 14 - 17 2010. Vienna, Austria.

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.

Subject Area

CPS Formal Methods

Publication Source

Lecture Notes in Computer Science: Computer Safety, Reliability, and Security

Volume

6351

Start Page

223

Last Page

236

DOI

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

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15651-9_17

Keywords

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

Download

Share

COinS
 

Date Posted: 14 July 2010

This document has been peer reviewed.