软件测试能力介绍

使用工具：
静态测试工具Testbed 单元测试工具Tbrun
集成测试工具PolySpace
软件测试验证流程阶段3-关注重点 源代码的评审和分析
参加源代码评审和分析的组织
组织单位 评审参与组织 软件测试组 所级管理部门 项目系统组 软件配置管理组 软件开发组 配合组织
质量监督组织（SQA）
T-VEC工具的TTM模型图
软件测试验证流程阶段2-流程中的位置
软件策划过程 系统 需求 追踪 追踪 追踪 软件开发过程 软件合格审定计划 软件需求 追踪 标准 和 规范 软件设计 追踪 软件实现 和集成 追踪 编译连接 系统综合 追踪
软件 开发 计划
质量 保证 计划
配置 管理 计划
软件 验证 计划
行的时候每个测试执行的结构被存储起来和预期
结果进行比较。
软件测试验证流程阶段2-使用工具
基于设计模型的单元测试用例生成工具Simulink Tester 软件单元测试用例的设计需要在本阶段内完成，以往 我们是参照设计文档和模型，手工编制测试用例。这样的
方式不仅效率低，而且不能保证测试的完整性。我们引入
软件测试验证流程阶段1-使用工具
系统测试用例生成工具——T-VEC
为了保证系统测试用例设计的正确性、完整性， 提高效率，我们采用了软件测试用例生成工具
T-VEC。它能够帮助我们在需求分析的基础上，不
依赖于任何软件编译平台和任何硬件平台，独立
设计测试用例生成模型，并自动生成测试用例。
软件测试验证流程阶段1-使用工具
自动地验证应用软件是否遵循了所选择的编程规则（比如国军标
GJB、欧洲防务标准DERA 以及汽车软件标准MISRA ）；
提供多种形式的软件度量方法，有助于我们能够准确分析和评价被 测软件的质量。常用的度量方法有：控制流结点度量、扇入/扇出
度量、McCabe 圈复杂度、注释行度量；代码可达性度量等。
软件测试验证流程阶段3-使用工具（静态测试） 拥有支持多种编程语言的静态测试和分析工具
Testbed for C：2001年购入并在国内率先使用 Testbed for ASM：2006年购入并在国内领先使用 Testbed for ADA：2006年购入并在国内率先使用
软件测试验证流程阶段3-采用技术（单元测试）
主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例
主要内容 测试对象及组织机构 测试标准与规范 测试流程 软件测试管理 软件测试能力 成功案例
专业简介
我所从50年代后期开始涉足我国飞行控制领域。 上世纪80年代开始，随着数字计算机在飞控系统的 广泛采用，飞控系统软件的质量逐渐成为影响系统 安全可靠的重要环节。 由于飞行控制系统是影响到各类飞行器安全的 关键系统。因此飞控系统软件的测试和验证成为贯 穿于整个软件生命周期过程的不可或缺重要工作。
需求跟踪矩阵和评审结果
软件配置管理
软件测试验证流程阶段2-总体描述 关注重点：
软件设计的评审与分析 单元/集成测试用例
采用技术：
基于模型的测试用例自动 生成技术
使用工具：
Simulink Tester T-VEC
软件测试验证流程阶段2-关注重点 低级需求（软件设计文档）评审和分析
基于需求的自动测试用例生成技术是一种验证和确
认的方法，它能够在产品发布之前减少“疯狂”测试和返 工，因为测试工程师在项目早期就对需求进行精练和建模，
能够使缺陷对系统产生影响前就被发现。
随着软件开发的进行，测试工程师创建测试用例和 测试驱动，并建立它们与目标系统的映射和模板；当系统 具备可测试条件的时候，测试工程师就可以把经过充分准 备的、全面的测试过程快速地进行实施。
软件确认 评审
计划评审
需求规格 评审 软件设计 评审
合成过程
需求跟踪矩阵和评审结果
软件配置管理
软件测试验证流程阶段1-总体描述 关注重点：
软件需求的评审与分析 系统测试用例
采用技术：基于需求的 测试用例自动生成技术 使用工具：T-VEC
软件测试验证流程阶段1-关注重点 高级需求（软件需求规格说明）评审和分析
单元测试工具TBrun
为满足软件单元测试的结构覆盖要求，达到DO-178B A级 软件的MC/DC结构覆盖率100%，我们借助软件单元测试工具 Tbrun展开软件单元测试。
我们使用TBrun自动产生软件测试驱动、桩模块； Tbrun允许我们在修改代码后自动对测试用例进行验证和回归测试； 同时Tbrun还可以为我们提供代码结构覆盖率分析，比如：语句（BC） 覆盖、分支/判定（DC）覆盖、修正条件/判定覆盖（MC/DC）等。
软件 开发 计划
质量 保证 计划
配置 管理 计划
软件 验证 计划
验证 追踪 矩阵
系统测试 计划 系统测试 用例
验证 追踪 矩阵
单元与集 成测试计 划和用例/ 静态测试 计划说明
验证 追踪 矩阵
单元测试 静态测试 集成测试
验证 追踪 矩阵
系统测试
系统测试 计划与用例 评审
测试计划 与用例评审
测试结果 评审
主要内容 测试对象及组织机构
测试标准与规范
测试流程
软件测试管理
软件测试能力 成功案例
软件生存周期全流程
软件测试验证流程
软件测试验证流程阶段1-流程中的位置
软件策划过程 系统 需求 追踪 追踪 追踪 软件开发过程 软件合格审定计划 软件需求 追踪 标准 和 规范 软件设计 追踪 软件实现 和集成 追踪 编译连接 系统综合 追踪
● ●
○ ○
○ ○
○
5
软件结构（更改的条件/决策，也即 MC/DC）的测试覆盖范围是否实现 软件结构的测试覆盖范围（决策范围， 也即DC）是否实现 软件结构的测试覆盖范围（语句范围） 是否实现 软件结构（数据耦合和控制耦合）的测 试覆盖范围是否实现
●
6
●
●
7
●
●
○
8
●
●
○
软件测试验证流程阶段3-使用工具（单元测试）
参加高级需求评审和分析的组织 组织单位 评审参与组织 软件测试组 配合组织
项目系统组
飞控部 软件配置管理组 质量监督组织 （SQA） 软件开发组
在软件需求文档的评审检查表中所有的项目都必 须填写，评审和分析意见应填写在评审报告中，并和 软件需求文档一起归档入配置库。
软件测试验证流程阶段1-主要技术
参加低级需求的评审和分析的组织
组织单位 评审参与组织 软件测试组 所级管理部门 项目系统组 软件配置管理组 软件开发组 配合组织
质量监督组织（SQA）
在软件设计文档的评审检查表和软件结构的评 审表中所有的项目都必须填写，评审和分析意见应填写 在评审报告中，并和软件设计文档一起归档入配置库。
软件测试验证流程阶段2-采用技术 基于模型的测试用例自动生成技术 测试驱动生成器能够生成和Matlab Simulink RTW相兼容的测试用例驱动模板。将测试用例驱动 和源代码在同一个环境下编译生成测试程序；该 测试程序在目标环境下执行，并且在测试驱动执
程序，在编译阶段就可以检测运行时潜在错误； 无需测试人员干预，整个过程自动进行。
软件测试验证流程阶段3-使用工具（集成测试）
软件集成测试工具PolySpace
通过单元测试可以解决DO-178B所要求的结构覆盖要求，
验证软件的控制耦合和部分数据耦合。但是，对于数据耦合
的另外的部分问题（比如：数组越界、数据溢出、非法指针 等）无法得到完整的验证，因此我们借助PolySpace对被测软 件进行测试,实现对被测软件的完整测试。
软件测试验证流程阶段2-使用工具
来自百度文库
模型获取 模型仿真
子系统选择 转换选项 信号数据范围
模型分析 测试生成 覆盖分析
Simulink Tester（T-Vec）工作流程
软件测试验证流程阶段3-流程中的位置
软件策划过程 系统 需求 追踪 追踪 追踪 软件开发过程 软件合格审定计划 软件需求 追踪 标准 和 规范 软件设计 追踪 软件实现 和集成 追踪 编译连接 系统综合 追踪
主要领域
目前我所飞控系统产品所涉及的两个主要领域为：
军用飞行器 固定翼飞机 旋翼飞机 无人机 导弹
民用飞机
安全关键级软件的测试
数字化控制在飞控系统中的应用，计算机 软件在飞控系统中得到大量的应用。 飞控软件在规模上以及重要性上，均呈急 剧上升的趋势。 2001年开始，我们成立了软件测试中心
为发布软件静态分析的国军标测试标准奠定了坚实的基 础。
软件测试验证流程阶段3-使用工具（静态测试）
软件静态测试工具Testbed
为了提高软件代码审查、静态测试和分析的效率，保 证软件源代码满足特定的代码规则要求，我们借助软件静 态测试与分析工具Testbed开展软件静态测试工作。该工具 可以帮助我们完成以下工作：
基于设计模型的单元测试工具Simulink Tester帮助我们 产生测试用例和驱动
软件测试验证流程阶段2-使用工具
Simulink Tester的特点 提供包括模型分析、自动测试生成、测试执行和结果 分析在内的一套集成解决方案； 分析设计模型层次中的每个路径并且生成测试向量来 测试每个路径的边界；模型中会导致产生死代码的不 可达路径会被标识出来，并且以超链接的方式链接到 Simulink模型中的相关部分； 该测试过程可以选择生成单元、集成测试用例，以便 更有效的发现逻辑方面的判断错误，整数和浮点数数 据域方面的计算错误。
验证 追踪 矩阵
系统测试 计划 系统测试 用例
验证 追踪 矩阵
单元与集 成测试计 划和用例/ 静态测试 计划说明
验证 追踪 矩阵
单元测试 静态测试 集成测试
验证 追踪 矩阵
系统测试
系统测试 计划与用例 评审
测试计划 与用例评审
测试结果 评审
软件确认 评审
计划评审
需求规格 评审 软件设计 评审
合成过程
软件测试验证流程阶段3-采用技术（集成测试）
集成测试
集成测试的主要内容包含：模块间的接口测试、全局 数据结构测试、性能测试、软件功能模块的功能测试。验
证软件的数据耦合与控制耦合。
软件集成测试过程中采用了基于抽象解释的软件的自动集
成测试技术，该项技术具有以下特点：
采用抽象解释技术，无需编写测试用例、代码插装和运行被测
建立一整套面向高安全性、高可靠性飞控软件 的软件测试验证流程
主要内容 测试对象及组织机构
测试标准与规范
测试流程
软件测试管理
软件测试能力 成功案例
测试标准与规范 通用规范：CMM、DO-178B 行业规范：涉及航空、航天、武器、电信和军事 等领域
企业标准与规范：
《机载软件编程规范》 《飞行控制系统软件测试规范》 《软件开发流程》
软件 开发 计划
质量 保证 计划
配置 管理 计划
软件 验证 计划
验证 追踪 矩阵
系统测试 计划 系统测试 用例
验证 追踪 矩阵
单元与集 成测试计 划和用例/ 静态测试 计划说明
验证 追踪 矩阵
单元测试 静态测试 集成测试
验证 追踪 矩阵
系统测试
系统测试 计划与用例 评审
测试计划 与用例评审
测试结果 评审
在源代码评审检查表中所有的项目都必须填写，评审和分析 意见应填写在评审报告中，并和源代码一起归档入配置库。
软件测试验证流程阶段3-采用技术（静态测试）
软件静态测试技术
2002年编写了《飞行控制系统软件测试规范》； 根据已有的测试规范，国内首次引入了Testbed静态分 析测试辅助工具； 在国内首次定制了适合飞控专业的Testbed软件静态分 析标准（并先后两次进行了该标准的修订）；
软件确认 评审
计划评审
需求规格 评审 软件设计 评审
合成过程
需求跟踪矩阵和评审结果
软件配置管理
软件测试验证流程阶段3-总体描述
关注重点：
源代码的评审与分析 静态测试 单元测试 集成测试
采用技术：
满足安全关键系统要求的静态分析技术 满足MC/DC结构覆盖要求的单元测试 基于抽象解释的飞行控制软件的自动集成 测试技术
序号 说明 A 1 测试规程是否正确 ● 软件等级适用性 B ○ C ○ D
MC/DC：满足DO-178B A级软件的必要条件 右表中的符号●表示 该目标要单独满足， 符号○表示该目标要 满足。
2 测试结果是否正确及解释不符合值
●
○
○
3 4
高级需求的测试覆盖范围是否实现 低级需求的测试覆盖范围是否实现