用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 >首页 > 标准信息

全文阅读 全文下载 章节阅读

基本信息

GJB 5234-2004
军用软件验证和确认
Military software verification and validation
2004-09-20
2005-01-01
有效
韩红强;冯惠;王纬;高林;许聚常;韩柯;
信息产业部电子第四研究所;总参谋部第六十一所;总装备部测量通信总体研究所;中国航天科工集团第706 所;
中国人民解放军总装备部电子信息基础部
中国人民解放军总装备部
软件完整性;异常报告;任务;测试结果;测试计划
【范围】 本标准规定了军用软件验证和确认过程以及军用软件验证和确认计划(以下简称 SVVP)的编制要 求。验证和确认过程确定一个已知活动的开发产品是否符合活动要求,软件是否满足它的预期用途和用 户需要。验证和确认过程可包括软件产品和过程的分析、评价、评审、审查、评估和测试。 本标准适用于那些处于开发、维护和重用中的军用软件。本标准的使用者可根据具体的软件项目剪 裁实施本标准。
【与前一版的变化】

包含术语

验收测试a) 确定一系统是否符合其验收准则且能使客户确定是否接收此系统的正式测试。 b) 使用户、客户或其他授权实体确定是否接受系统或部件的正式测试。
部件测试为验证一个软件元素(例如单元、模块)或软件元素集的设计的准确实现和对程序要求的符合性而进 行的测试。
关键性分析针对系统失效、系统老化或未能满足软件要求或系统目标所造成影响的严重性而进行的软件特性 (例如,安全性、安全保密性、复杂性和性能)的结构化评估。
危险在人身伤害和健康、财产、环境的损害等方面的潜在伤害来源或具有潜在伤害的情形。
危险分析对由系统开发或运行导致的软件的不良后果进行的系统定性或定量的评价。这些后果可能包括损 害、疾病、死亡、任务失败、经济损失、财产损失、环境破坏或负面社会影响。本评价可包括分类、消 除、减少或缓解危险的审查或分析方法。
危险标识认识到危险存在并定义其特性的过程。
独立验证和确认由在技术、管理和财务上与开发组织具有规定程度独立性的组织执行的验证和确认过程
集成测试有关软件程序的一种有序的、递增的测试过程,在该过程中,对软件元素、硬件元素或软硬件元素 进行组合并测试,直到整个系统集成起来以表明其是否符合程序设计及系统的能力和需求。
完整性级别项的某个特性的取值范围的一种表示,该特性取值范围对将系统风险保持在可接受的限度内是必需 的。对于执行缓解功能的项,此特性是指项必须执行缓解功能的可靠性。对于因其失效能导致威胁的项, 此特性是指对该失效的频率的限制。
接口设计文档描述系统与众多部件之间接口的体系结构和设计的文档集。这些描述包括控制算法、协议、数据内 容与格式、性能。
接口需求规格说明规定系统间或部件间接口的需求的文档集。这些需求包括对格式和计时的约束条件
最低限度任务针对所指定的软件完整性级别而要求的那些验证和确认任务
可选任务针对特定应用需求可附加到最低限度验证和确认任务的那些验证和确认任务
要求的输入执行任一生存周期活动中要求的最低限度验证和确认任务时必需的一些项
要求的输出执行任一生存周期活动中要求的最低限度验证和确认任务而产生的一些项
风险特定危险事件的频率或概率与后果的综合
风险分析系统地使用可用信息来标识危险并估计对于个人或人群、财产或环境的风险
软件设计描述为便于分析、策划、实现和决策而产生的软件的一种表示。软件设计描述可用作交流软件设计信息 的媒体,也可以认为是系统的蓝图或模型。
软件验证和确认计划描述进行软件验证和确认的计划。
软件验证和确认报告验证和确认结果和软件质量评估的文档集。
系统测试为验证和确认系统是否达到其原始目标而对集成的硬件和软件系统进行测试的活动
确认通过检查和提供客观证据,证实特定预期用途的需求是否得到满足。 注 1:在设计和开发中,确认关系到检查产品是否符合用户要求的过程。 注 2:一般是在规定的操作条件下对最终产品进行确认。在早期阶段,这样做可能也是必要的。 注 3:“已确认的”一词用来表示相应的状态。 注 4:如果有几种不同的预期用途,可进行多种确认。 注 5:特定预期用途的需求通常是指需求规格说明或合同中规定的需求。
验证通过检查和提供客观证据,证实规定的需求已经得到满足。 注 1:在设计和开发中,验证是指对某项指定活动的结果进行检查的过程,以确定该活动是否符合该活动声明的需 求。 注 2:“已验证的”一词用来表示相应的状态。

引用文件/被引文件

武器系统软件开发文档

参考文献/被参考文献

信息技术 软件生存周期过程
IEEE Standard Dictionary of Measures to Produce Reliable Software
IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce
IEEE Standard for Software Verification and Validation
IEEE Standard for Software Reviews and Audits
IEEE Standard Classification for Software Anomalies
IEEE Guide for Software Verification and Validation Plans
IEEE Standard for a Software Quality Metrics Methodology-1992 IEEE Standard for a Software Quality Metrics Methodology

相关标准

军用小型数字电子计算机通用技术条件
军用航空轮胎试验方法
军用轮胎式装载机设计定型试验规程
军用轮胎式装载机设计定型试验规程试验方法
军用轮式装载机设计定型试验规程
军用航空轮胎
军用航空轮胎系列
军用通信系统术语
地面雷达情报处理和传递系统通用技术条件软件要求
军用气象车通用规范

包含图表

表 1 软件完整性级别
表 1 软件完整性级别
表 2 后果的定义
表 3 软件完整性级别
图 1 V&V 过程、活动
图 2 软件 V&V 概述示
表 4 V&V 管理活动的
表 5 获取支持 V&V 活
表 6 策划 V&V 活动的
表 6 策划 V&V 活动的
表 7 概念 V&V 活动的
表 7 概念 V&V 活动的
表 8 需求 V&V 活动的
表 8 需求 V&V 活动的
表 8 需求 V&V 活动的
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
表 10 实现 V&V 活动
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
图 3 V&V 测试产品和
表 11 测试 V&V 活动
表 12 安装和检验 V&V
表 13 运行 V&V 活动
表 14 维护 V&V 活动
表 15 指定给每个软件
表 9 设计 V&V 活动的
表 9 设计 V&V 活动的
表 1 在生存周期中可
表 1 在生存周期中可
表 B.1 映射
表 B.1 映射
表 B.1 映射
表 B.1 映射
表 C.1 IV&V 的形式C.
图 F.1 是在软件生存

标准反馈


  • 问题类型:
    反    馈: