Development of safety-critical software exhaustive testing framework for nuclear power plant digital i&c system
Loading...
Authors
Lee, Sang Hun
Issue Date
2019-12
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Nuclear engineering
Alternative Title
Abstract
In this research, an exhaustive software testing method based on an automated test case generation framework for the function block diagram (FBD) programs used in NPP safety systems combined with the simulation-based test-bed was developed. As the software output is determined by the combinations of the states of software input and internal variables, generating the exhaustive test cases can be considered as a problem of finding the solutions that satisfy the on-demand situation of a software. The proposed test case generation framework translates FBD program to semantically equivalent SMT formula based on the formal definition of FBD and generates exhaustive test cases given desired software output by iteratively solving the SMT formula. In addition, an emulation-based software test-bed was developed which emulates the microprocessor architecture and memory map of a safety-critical programmable logic controller (PLC) used in NPP digital I&C system and captures its behavior at each machine instruction while the software executes its dedicated safety function. The test-bed can be used to execute the FBD program given the test cases and generate the test results by comparing the software output generated by the test-bed and the expected output.
Description
December 2019
School of Engineering
School of Engineering
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY