安全软件验证与确认中的单元模块测试技术

核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认（V&V），以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节，主要目的是验证和确认软件代码开发过程中，软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术，着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面，并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。

Technique for Unit Testing of Safety Software Verification and Validation

The key issue arising from digitalization of the reactor protection system for nuclear power plant is how to carry out verification and validation (V&V), to demonstrate and confirm the software that performs reactor safety functions is safe and reliable. One of the most important processes for software V&V is unit testing, which verifies and validates the software coding based on concept design for consistency, correctness and completeness during software development. The paper shows a preliminary study on the technique for unit testing of safety software V&V, focusing on such aspects as how to confirm test completeness, how to establish test platform, how to develop test cases and how to carry out unit testing. The technique discussed here was successfully used in the work of unit testing on safety software of a digital reactor protection system.