安全级数字化系统软件测试用例生成方法研究
Abstract
基于概率风险评价(PRA)和物理仿真模型,本文提出了一种针对核电厂安全级数字化控制系统的软件测试用例生成方法。所产生的测试用例包含了风险指引信息,能定性描述软件实际操作场景。文中以某核电厂保护系统子系统软件为例,分析系统的故障模式和子系统软件输入空间,建立软件的运行剖面,结合RELAP5仿真模型,获得了可用于测试核电厂安全级数字化控制系统软件可靠性的测试用例。该方法产生的测试用例为开展核电厂安全级数字化控制系统的软件可靠性定量评估研究奠定了基础。