《软件测试能力介绍》PPT课件

《《软件测试能力介绍》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、主要内容测试对象及组织机构测试标准与规范测试流程软件测试管理软件测试能力成功案例主要内容测试对象及组织机构测试标准与规范测试流程软件测试管理软件测试能力成功案例我所从50年代后期开始涉足我国飞行控制领域。上世纪80年代开始，随着数字计算机在飞控系统的广泛采用，飞控系统软件的质量逐渐成为影响系统安全可靠的重要环节。由于飞行控制系统是影响到各类飞行器安全的关键系统。因此飞控系统软件的测试和验证成为贯穿于整个软件生命周期过程的不可或缺重要工作。专业简介目前我所飞控系统产品所涉及的两个主要领域为：军用飞行器固定翼飞机旋翼飞机无人机导弹民用飞机主要领域安全关键级软件

2、的测试数字化控制在飞控系统中的应用，计算机软件在飞控系统中得到大量的应用。飞控软件在规模上以及重要性上，均呈急剧上升的趋势。2001年开始，我们成立了软件测试中心建立一整套面向高安全性、高可靠性飞控软件的软件测试验证流程主要内容测试对象及组织机构测试标准与规范测试流程软件测试管理软件测试能力成功案例测试标准与规范通用规范：CMM、DO-178B行业规范：涉及航空、航天、武器、电信和军事等领域企业标准与规范：《机载软件编程规范》《飞行控制系统软件测试规范》《软件开发流程》主要内容测试对象及组织机构测试标准与规范测试流程软件测试管理软件测试能力成功案例软件生存

3、周期全流程软件测试验证流程软件测试验证流程阶段1-流程中的位置软件测试验证流程阶段1-总体描述关注重点：软件需求的评审与分析系统测试用例采用技术：基于需求的测试用例自动生成技术使用工具：T-VEC软件测试验证流程阶段1-关注重点高级需求（软件需求规格说明）评审和分析参加高级需求评审和分析的组织组织单位评审参与组织配合组织飞控部软件测试组软件开发组项目系统组软件配置管理组质量监督组织（SQA）在软件需求文档的评审检查表中所有的项目都必须填写，评审和分析意见应填写在评审报告中，并和软件需求文档一起归档入配置库。软件测试验证流程阶段1-主要技术基于需求的自动测试

4、用例生成技术是一种验证和确认的方法，它能够在产品发布之前减少“疯狂”测试和返工，因为测试工程师在项目早期就对需求进行精练和建模，能够使缺陷对系统产生影响前就被发现。随着软件开发的进行，测试工程师创建测试用例和测试驱动，并建立它们与目标系统的映射和模板；当系统具备可测试条件的时候，测试工程师就可以把经过充分准备的、全面的测试过程快速地进行实施。软件测试验证流程阶段1-使用工具系统测试用例生成工具——T-VEC为了保证系统测试用例设计的正确性、完整性，提高效率，我们采用了软件测试用例生成工具T-VEC。它能够帮助我们在需求分析的基础上，不依赖于任何软件编译平台

5、和任何硬件平台，独立设计测试用例生成模型，并自动生成测试用例。软件测试验证流程阶段1-使用工具T-VEC工具的TTM模型图软件测试验证流程阶段2-流程中的位置软件测试验证流程阶段2-总体描述关注重点：软件设计的评审与分析单元/集成测试用例采用技术：基于模型的测试用例自动生成技术使用工具：SimulinkTesterT-VEC软件测试验证流程阶段2-关注重点参加低级需求的评审和分析的组织组织单位评审参与组织配合组织所级管理部门软件测试组软件开发组项目系统组软件配置管理组质量监督组织（SQA）在软件设计文档的评审检查表和软件结构的评审表中所有的项目都必须填写，

6、评审和分析意见应填写在评审报告中，并和软件设计文档一起归档入配置库。低级需求（软件设计文档）评审和分析软件测试验证流程阶段2-采用技术基于模型的测试用例自动生成技术测试驱动生成器能够生成和MatlabSimulinkRTW相兼容的测试用例驱动模板。将测试用例驱动和源代码在同一个环境下编译生成测试程序；该测试程序在目标环境下执行，并且在测试驱动执行的时候每个测试执行的结构被存储起来和预期结果进行比较。软件测试验证流程阶段2-使用工具基于设计模型的单元测试用例生成工具SimulinkTester软件单元测试用例的设计需要在本阶段内完成，以往我们是参照设计文档和

7、模型，手工编制测试用例。这样的方式不仅效率低，而且不能保证测试的完整性。我们引入基于设计模型的单元测试工具SimulinkTester帮助我们产生测试用例和驱动软件测试验证流程阶段2-使用工具SimulinkTester的特点提供包括模型分析、自动测试生成、测试执行和结果分析在内的一套集成解决方案；分析设计模型层次中的每个路径并且生成测试向量来测试每个路径的边界；模型中会导致产生死代码的不可达路径会被标识出来，并且以超链接的方式链接到Simulink模型中的相关部分；该测试过程可以选择生成单元、集成测试用例，以便更有效的发现逻辑方面的判断错误，整数和浮点数

8、数据域方面的计算错误。软件测试验证流程阶段2-使用工具模型获取子系