软件验证与确认(V&V)
服务概述
核级软件验证与确认(V&V)是软件测试的两种技术。软件验证是在软件开发的各个阶段,从软件技术人员的角度测试当前的开发成果符合设计的规范,保证按照设计流程和要求进行开发,即“正确地做了事”;软件确认是从用户的角度,测试当前的开发成果符合用户的真正需求,即“做了正确的事”。经过数十年的发展,该技术通过验证软件的正确性、一致性、完备性、准确性、可读性、可测试性等六大特性,已成为暴露软件缺陷、提高核电仪控设备软件质量的重要手段。公司结合国内外相对完整的法规、标准和导则的架构要求,形成了自主知识产权的从核电数字化技术研发、核电产品软件设计以及其设计、制造到设备投运、运行维护等全生命周期的核级软件验证与确认(V&V)体系。
服务特点
l 有效提高软件的安全性与可靠性
l 降低软件开发风险、开发时间和成本
l 提高产品的可用性
l 保证产品的可测试性、可维护性
l 保证产品质量与用户需求的准确性、一致性
可应用场景
l 核电
l 军工
l 航空航天