核安全级软件质量控制方法研究

核安全级软件对仪控系统的安全功能实现发挥着重要作用。相关法规和标准对核安全相关软件质量提出了明确要求,但对标准的不同理解导致实际操作上存在落地难问题。对相关法规标准要求开展了研究,同时结合软件的设计实现过程,从软件设计、软件实现、软件集成阶段研究如何开展质量控制活动。创新性地提出部件测试、设计验证与确认(V&V)、实现验证与确认、应用软件确认测试的软件质量控制方法,使软件满足需求和系统功能要求。同时,阐述软件质量控制与系统质量控制关系。软件质量控制方法的研究结果为实际工作开展提供一种可行方法,同时为标准落实提供了可行的操作实践。应用该方法的软件和系统质量优于同类其他系统,取得较好的质量结果,为安全关键软件的质量控制提供了有益的参考实践。