软件测试能力介绍.ppt

主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例 主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例 专业简介 主要领域 目前我所飞控系统产品所涉及的两个主要领域为： 安全关键级软件的测试 数字化控制在飞控系统中的应用，计算机软件在飞控系统中得到大量的应用。 飞控软件在规模上以及重要性上，均呈急剧上升的趋势。 2001年开始，我们成立了软件测试中心 建立一整套面向高安全性、高可靠性飞控软件的软件测试验证流程 主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例 测试标准与规范 通用规范：CMM、DO-178B 行业规范：涉及航空、航天、武器、电信和军事等领域 企业标准与规范： 《机载软件编程规范》 《飞行控制系统软件测试规范》 《软件开发流程》 主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例 软件生存周期全流程 软件测试验证流程 软件测试验证流程阶段1-流程中的位置 软件测试验证流程阶段1-总体描述 关注重点： 软件需求的评审与分析 系统测试用例 采用技术：基于需求的测试用例自动生成技术 使用工具：T-VEC 软件测试验证流程阶段1-关注重点 高级需求（软件需求规格说明）评审和分析 软件测试验证流程阶段1-主要技术 基于需求的自动测试用例生成技术是一种验证和确认的方法，它能够在产品发布之前减少“疯狂”测试和返工，因为测试工程师在项目早期就对需求进行精练和建模，能够使缺陷对系统产生影响前就被发现。 随着软件开发的进行，测试工程师创建测试用例和测试驱动，并建立它们与目标系统的映射和模板；当系统具备可测试条件的时候，测试工程师就可以把经过充分准备的、全面的测试过程快速地进行实施。 软件测试验证流程阶段1-使用工具 系统测试用例生成工具——T-VEC 为了保证系统测试用例设计的正确性、完整性，提高效率，我们采用了软件测试用例生成工具 T-VEC。它能够帮助我们在需求分析的基础上，不依赖于任何软件编译平台和任何硬件平台，独立设计测试用例生成模型，并自动生成测试用例。 软件测试验证流程阶段1-使用工具 软件测试验证流程阶段2-流程中的位置 软件测试验证流程阶段2-总体描述 关注重点： 软件设计的评审与分析 单元/集成测试用例 采用技术： 基于模型的测试用例自动生成技术 使用工具： Simulink Tester T-VEC 软件测试验证流程阶段2-关注重点 低级需求（软件设计文档）评审和分析 软件测试验证流程阶段2-采用技术 基于模型的测试用例自动生成技术 测试驱动生成器能够生成和Matlab Simulink RTW相兼容的测试用例驱动模板。将测试用例驱动和源代码在同一个环境下编译生成测试程序；该测试程序在目标环境下执行，并且在测试驱动执行的时候每个测试执行的结构被存储起来和预期结果进行比较。 软件测试验证流程阶段2-使用工具 基于设计模型的单元测试用例生成工具Simulink Tester 软件单元测试用例的设计需要在本阶段内完成，以往我们是参照设计文档和模型，手工编制测试用例。这样的方式不仅效率低，而且不能保证测试的完整性。我们引入基于设计模型的单元测试工具Simulink Tester帮助我们产生测试用例和驱动 软件测试验证流程阶段2-使用工具 Simulink Tester的特点 提供包括模型分析、自动测试生成、测试执行和结果分析在内的一套集成解决方案； 分析设计模型层次中的每个路径并且生成测试向量来测试每个路径的边界；模型中会导致产生死代码的不可达路径会被标识出来，并且以超链接的方式链接到Simulink模型中的相关部分； 该测试过程可以选择生成单元、集成测试用例，以便更有效的发现逻辑方面的判断错误，整数和浮点数数据域方面的计算错误。 软件测试验证流程阶段2-使用工具 软件测试验证流程阶段3-流程中的位置 软件测试验证流程阶段3-总体描述 关注重点： 源代码的评审与分析 静态测试 单元测试 集成测试 采用技术： 满足安全关键系统要求的静态分析技术 满足MC/DC结构覆盖要求的单元测试 基于抽象解释的飞行控制软件的自动集成测试技术 使用工具： 静态测试工具Testbed 单元测试工具Tbrun 集成测试工具PolySpace 软件测试验证流程阶段3-关注重点 源代码的评审和分析 软件测试验证流程阶段3-采用技术（静态测试） 软件静态测试技术 2002年编写了《飞行控制系统软件测试规范》； 根据已有的测试