现有软件验证和确认有关标准的综述.pdfVIP

现 有 软 件 验 证 和 确 认 有 关 标 准 的 综 述 熊正隆 核工业标准化研究所，北京100091 验证和确认( VV) 是软件工程领域的一项重要课题，很多标准都论述或涉及这一课题，对 现有软件 的验证和确认是这个课题的一部分，且在系统应用软件的开发中具有重要意义。现有软 件的验证和确认首先应 掌握现有软件的概念和特征，然后分别采用根据经验的VV审查会或对 预开发软件的质量鉴定来进 行验证和确认，最后决定系统的应用软件对现有软件是直接采用、修 改后采用还是不采用。 标准; 现有软件; 验 证和确认; VV审查; 质量鉴定 围 内 性决 即可。 用 时 可靠性。 确认 @@[ 3] 能源行 业 核 电标准 化技术委员会. NB/ T 2002 6 - 2 0 10 《核 电厂 安全 重 要仪 表和 控 制系 统总体 要 求》( I EC 6 15 13 ：2 00 1，I DT) [ S] . 北京：原 子能出版社 ，2 010 . @@[ 4] 国际电工委员会. I EC 60 880 ：2 006 《核 电厂安 全 重 要仪 表和 控 制系 统执 行A类 功 能的计算机 软件》. 日内瓦：国际电工委员会 2006. @@[ 5] 国际电工委员会. I EC 62 138 ：2 004 《核 电厂安 全 重 要 仪 表 与 控制 系 统执 行B类 和C类 功能 的 计 算机软件》. 日内瓦：国际电工委员会 ，2 004 . @@[ 6] 国家核 安全局. HAD 102/ 16 《核 电厂基于计算 @@[ 1] 全 国信息技术标准化技 术委员会. GB/ T 8566 机 的安全 重要 系 统的软件 》( I AEA NS - G - 1. - 2 007 《信 息 技 术软 件生 存 周期 过程 》( I SO/ 1：2 000) . 北京：国家核安全局版社，2004. I EC 122 07 ∶ 199 5/ Amd . 1 ∶2 002/ Amd . 2 ∶2004 @@[ 7] 中国人 民解 放军 总 装备 部. GJ B 52 34- 2 004 MOD) [ S] . 北京：中国标准 出版社 ，2 007 . 《军用软件验证和确认》 （参照I EEE 1012 ：1998 @@[2 ] 美国核学会. ANSI / ANS 10 . 4：2008 《核工业非 《软件验证和确认》并吸收I EEE 1059 ：1993 《软 安 全 有 关 科 学 与工 程计 算 机软 件 的验 证和 确 件 验 证和 确认 计 划指南》的部分 内容而制定) . 认》 （EJ/ T 617- 199 1 《核 工业科学与工程计算 北京：总装备部军标出版社，2004