Based-on probabilistic risk assessment (PRA) and the physical simulation model, a software test case generation method fit for nuclear power plant(NPP) safety digital control system is provided in this paper. The test cases generated by this method include risk-informed information, and could qualitatively describe the software operation scenarios. Using a NPP protection subsystem software as an example,by analyzing the system failure mode and the subsystem software input space, the operational profile is built. Combining with a RELAP5 simulation model, the test cases for safety-related digital system software reliability testing are obtained finally. The test cases generated with the method could be the base for software reliability quantitative assessment of NPP safety-related digital control system.%基于概率风险评价(PRA)和物理仿真模型,本文提出了一种针对核电厂安全级数字化控制系统的软件测试用例生成方法.所产生的测试用例包含了风险指引信息,能定性描述软件实际操作场景.文中以某核电厂保护系统子系统软件为例,分析系统的故障模式和子系统软件输入空间,建立软件的运行剖面,结合RELAP5仿真模型,获得了可用于测试核电厂安全级数字化控制系统软件可靠性的测试用例.该方法产生的测试用例为开展核电厂安全级数字化控制系统的软件可靠性定量评估研究奠定了基础.
展开▼
