Research on Techniques for Nuclear-level Software Verification and Validation

Gao Chao,Hu Lisheng
DOI: https://doi.org/10.3969/j.issn.1007-757X.2010.04.002
2010-01-01
Abstract:The key issue arising from nuclear digital instrument and control(I&C) system is how to carry out V&V,in order to ensure the transparency of the design process,to verify the integrity of the software requirement specification,and to confirm the consistency of specification,correctness of nuclear software function and design requirement.The verification and validation of nuclear software summarily include the management of software design process and software testing techniques.This paper follows IEC60880 as well as IAEA's guidelines of software verification and validation,focusing on studies of requirement verification and testing techniques,which are of great importance in nuclear-level software verification and validation,through developing an automatic testing tool.
What problem does this paper attempt to address?