摘要
基于概率风险评价(PRA)和物理仿真模型,本文提出了一种针对核电厂安全级数字化控制系统的软件测试用例生成方法。所产生的测试用例包含了风险指引信息,能定性描述软件实际操作场景。文中以某核电厂保护系统子系统软件为例,分析系统的故障模式和子系统软件输入空间,建立软件的运行剖面,结合RELAP5仿真模型,获得了可用于测试核电厂安全级数字化控制系统软件可靠性的测试用例。该方法产生的测试用例为开展核电厂安全级数字化控制系统的软件可靠性定量评估研究奠定了基础。
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.
作者
周俊燚
吴一纯
蔡源凤
施纯森
ZHOU Jun-yi, WU Yi-chun, CAI Yuan-feng, SHI Chun-sen(Xiamen University, Xiamen 361102, Chin)
出处
《核电子学与探测技术》
北大核心
2017年第8期819-823,共5页
Nuclear Electronics & Detection Technology
基金
厦门大学能源学院发展基金(2017NYFZ01)
福建省科技计划(2016H0034)资助
关键词
风险指引
软件测试
测试用例
物理仿真模型
概率风险评价
risk-informed
software testing
test cases
physical simulation model
probabilistic risk assessment
