核反应堆统一建模与分析平台软件通过IEEE 1012-2004软件验证和确认测评
文摘
2024-09-19 17:47
江苏
2024年8月，由中国核动力研究设计院和苏州同元软控信息技术有限公司双方共同打造的“核反应堆统一建模与分析平台” (NUMAP)软件通过了中国赛宝实验室的IEEE 1012-2004测评，标志着NUMAP在软件代码、软件系统架构、需求文档、概要设计文档、详细设计文档等方面均通过功能安全测试，软件可靠性得到有效验证。检测报告具有国内国际权威性、互认性和公信力。![]()
IEEE 1012-2004是一个关于软件检验和验证的广泛认可的标准，由IEEE（电气电子工程师学会）制定，是许多国际组织和权威机构审核软件V&V活动的参考标准之一。IEEE1012-2004应用广泛，该标准在软件开发领域，特别是需要高可靠性和安全性的行业中，如核电、航空航天、医疗器械等，得到了广泛的应用。它提供了软件验证与确认的基本准则和实践，包括测试管理、测试设计、测试执行等方面，有助于确保软件产品的质量和可靠性。
IEEE 1012标准详细规定了软件检验和验证的定义、分类、过程、方法和工具，为软件开发者、测试人员和审查人员提供了一套明确的指南，以确保软件的质量和可靠性。该标准旨在提高软件的可维护性、可扩展性和可移植性，降低软件故障的风险，提高系统的整体性能。
