Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram
نویسندگان
چکیده
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.
منابع مشابه
Automated test case generation for FBD programs implementing reactor protection system software
Automated and effective testing for function block diagram (FBD) programs has become an important issue, as FBD is increasingly used in implementing safety-critical systems. This work describes an automated test case generation technique for FBD programs and its associated tool—FBDTester. Given an FBD program and desired test coverage criteria, FBDTester generates test requirements and invokes ...
متن کاملA data flow-based structural testing technique for FBD programs
0950-5849/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.infsof.2009.01.003 * Corresponding author. Tel.: +82 2 3290 4844; fax E-mail addresses: [email protected], sungdeok.cha@ With increased use of programmable logic controllers (PLCs) in implementing critical systems, quality assurance became an important issue. Regulation requires structural testing be performed for safety-critical sy...
متن کاملUsing Logic Coverage to Improve Testing Function Block Diagrams
In model-driven development, testers are often focusing on functional model-level testing, enabling verification of design models against their specifications. In addition, in safety-critical software development, testers are required to show that tests cover the structure of the implementation. Testing cost and time savings could be achieved if the process of deriving test cases for logic cove...
متن کاملSynthesis of FBD-based PLC design from NuSCR formal specification
NuSCR is a formal specification language to document requirements for real-time embedded software with nuclear engineering applications in mind. Domain experts actively participated in selecting how to best represent various aspects. It uses tabular notations to specify required computations and automata to document stateor time-dependent behavior. As programmable logic controllers (PLCs) are w...
متن کاملEvaluation of Structural Testing Effectiveness in Industrial Model-driven Software Development
Software testing is a crucial but cost consuming practice in the development of safety critical software-intensive systems. In industry software testing techniques are chosen heuristically rather than scientifically. Researchers have studied for many years which test method is more efficient and effective in an industrial setting. Nevertheless, test design decisions still remain a challenge whe...
متن کامل