核动力厂仪表控制系统进入了数字化时代，如何有效地证明和确认执行安全功能的软件自身的安全性和可靠性、安全软件需要具备哪些条件对于核安全审评当局来说才是可以接收的，是实现数字化必须解决的关键问题，安全软件必须经过独立的V&V是解决这一问题的基本途径。安全软件的验证与确认(V&V)技术是当今世界范围内核能科学与工程领域热门的前沿课题，着重研究解决对安全软件的法规要求、实施V&V过程的步骤及方法、并发展有