Testing Techniques Of Verification & Validation For Safety-Related Software

It is the national energy strategy to actively develop nuclear power industry. Nuclear digital instrument & control system especially the digital protection system (safety-related control system) is the key equipment which maintains the safe, reliable and economy operation of nuclear power plant. Because of foreign technology monopoly of nuclear digital I&C system, the independent R&D of nuclear digital protection system is of great importance in improving the enterprise technology innovation.This paper researches on the testing techniques of verification and validation for safety-related software, focusing on the safety instrument and control function software as well as hardware program, the main work is done as follows:1.Read standards and guidelines with respect to nuclear software verification & validation, then analyze the whole lifecycle of safety-related software verification & validation.2.Analyze the system requirements of typical safety function software, use requirement management tool to create a requirement database and manage the requirement information, and then implement the requirement verification to the typical modules of the requirement database, on the basis of a traditional requirement verification method.3.Analyze the characteristics of the application programs in the reactor protection system, and use white-boxing testing according to the function module and black-boxing testing according to the function software of the typical safety instrument and control system. 4.Make use of the model checking theory in the verification of the reactor protection system hardware program, in order to make sure that the hardware platform be well realized.5.In the final, implement the validation testing to the instrument and control function of the reactor protection system prototype, validate the main protection function.