Method and Practice on Safety Software Verification & Validation for Digital Reactor Protection System

摘要：

The key issue arising from digitalization of reactor protection system for Nuclear Power Plant (NPP) is how to carry out Verification and Validation (V&V), to demonstrate and confirm the software is reliable enough to perform reactor safety functions. Among others the most important activity of software V&V process is unit testing. This paper discussed the basic concepts on safety software V&V and the technique for software unit testing, focusing on such aspects as how to ensure test completeness, how to establish test platform, how to develop test cases and how to carry out unit testing. The technique discussed herein was successfully used in the work of unit testing on safety software of a digital reactor protection system.

作者: LI Duo Zhang Liangju Feng Junting

作者单位: Institute of Nuclear and New Energy Technology, Tsinghua Univ., Beijing 100084, China

会议类型: 国际会议

会议名称: ISSNP2008、CSEPC、ISOFIC2008(第二届21世纪和谐核电系统国际会议、第四届电厂控制中认知系统工程方法国际会议暨第三届未来核电厂仪表与控制国际会议)

会议地点: 哈尔滨

会议语种:英文

页码: 474-479

在线出版日期: 2008-09-08（万方平台首次上网日期，不代表论文的发表时间）