航天软件评测中心.ppt

1、以航天品质成就 软件测试质量,中国航天软件评测中心 赵国亮,当今软件在国民经济各个领域中的作用越来越重要。硬件是舞台，软件是演员。一场戏演得好不好关键在演员。 但软件的质量则越来越难保证： 软件的规模越来越大； 软件的复杂性越来越高； 软件的并发性与不确定性越来越强。,阿丽亚娜5型火箭由于几个关键量未软件中进行异常保护，导致在异常情况下软件无安全性处理措施，价值5亿英镑的火箭瞬间灰飞烟灭，发射失败导致整个欧洲航天计划延迟； 民用领域因为软件错误导致重大经济损失的案例更多。,软件测试是软件质量保证的必要手段。国外相关数据显示：通过必要的测试，软件缺陷数可至少降低80%，而软件测试的投资回报率能达

2、到350%。一般而言，如果在软件测试阶段修正一个错误的代价是1，那么在产品发布后再修改的代价就是它的200到300倍。,方法与技术、工具与环境、管理与标准。,航天领域软件测试质量保证三要素,方法与技术,针对软件的六大质量特性： 功能性（Functionality）、可靠性（Reliability）、易用性（Usability）、效率（Efficiency）、维护性（Maintainability）和可移植性（Portability），均有测试方法予以保证。,方法与技术,航天领域软件测试方面的技术能力包括： 功能测试 9）代码审查 17）安全性测试 负载测试 10）压力测试 18）稳定性测试 接

3、口测试 11）逻辑测试 19）数据处理测试 边界测试 12）强度测试 20）安装性测试 余量测试 13）容量测试 21）敏感性测试 性能测试 14）兼容性测试 22）恢复性测试 易用性测试 15）并发测试 23）人机界面测试 8）可靠性测试 16）互操作性测试 24） 代码分析,方法与技术,航天领域目前引进的国外先进软件测试工具包括： 软件代码分析工具 kLock work 8.0 压力与性能测试工具LoadRunner 网络安全性测试工具Rational AppScan 软件静态分析工具 QA C+ 软件结构分析和度量工具 McCabe 软件质量度量与评价工具 Logiscope 软件单元测

4、试工具 Cantata 软件运行监测分析工具 TestBed 软件安全性分析工具 PolySpace 软件建模分析工具 Statemate 软件覆盖率和性能测试工具 CodeTest ,工具与环境,针对被测系统搭建各种全数字、半实物仿真测试环境及嵌入式和分布式系统测试平台。,工具与环境,航天领域软件规定必须进行第三方测试，以保证其客观性、公正性和权威性。软件使用前必须有第三方测试报告，并且规定软件和硬件系统分开进行单独验收。 强调过程控制和项目管理并严格按照相关标准执行。,管理与标准,GJB102/Z-97 软件可靠性和安全性设计准则 GJB5369-2005 航天型号C语言安全子集 GJB2

5、434A-2004 军用软件产品评价 GJB5234-2004 军用软件验证和确认 GJB5236-2004 军用软件质量度量 GJB/Z 141-2004 军用软件测试指南 ,管理与标准,载人航天工程 探月工程 2008北京奥运安保工程 国家电网信息系统 公安部信息系统 ,航天软件测试成功案例,过程控制 设计文档 阶段评审 配置管理 测试验证 软件三性,航天领域软件工程重点要素,中国航天软件评测中心简介,1996年正式成立，中国第一家从事高可靠高安全软件评测的专业软件评测机构； 1998年，国内第一家以软件评测为认证项目通过了新时代认证中心的质量管理体系认证； 2002年，国内第一家通过了SEI-CMM二级正式评估的专业软件评测机构； 2004年，国内第一家通过了总装备部组织的军用软件测评实验室认可； 2007年，国防科工委认定成为国内唯一国防科技工业软件测试和评价实验室； 2008年2月，获得国家认证认可监督管理委员会计量认证资质认定； 2008年3月，通过中国合格评定国家认可委员会实验室（CNAS）认可； 软件工程和软件评测领域国家军用