Development of safety-critical software exhaustive testing framework for nuclear power plant digital i&c system

Authors
Lee, Sang Hun
ORCID
Loading...
Thumbnail Image
Other Contributors
Kang, Hyun
Danon, Yaron
Liu, Li (Emily)
Milanova, Ana
Issue Date
2019-12
Keywords
Nuclear engineering
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
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
Department
Dept. of Mechanical, Aerospace, and Nuclear Engineering
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.