《软件测试能力介绍》由会员分享，可在线阅读，更多相关《软件测试能力介绍（57页珍藏版）》请在金锄头文库上搜索。
1、主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Cop
2、yright 2004-2011 Aspose Pty Ltd. 我所从50年代后期开始涉足我国飞行控制领域。上世纪80年代开始，随着数字计算机在飞控系统的广泛采用，飞控系统软件的质量逐渐成为影响系统安全可靠的重要环节。 由于飞行控制系统是影响到各类飞行器安全的关键系统。因此飞控系统软件的测试和验证成为贯穿于整个软件生命周期过程的不可或缺重要工作。 专业简介专业简介Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.v目
3、前我所飞控系统产品所涉及的两个主要领域为：军用飞行器 固定翼飞机 旋翼飞机 无人机 导弹民用飞机主要领域主要领域Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.安全关键级软件的测试安全关键级软件的测试v数字化控制在飞控系统中的应用，计算机软件在飞控系统中得到大量的应用。v飞控软件在规模上以及重要性上，均呈急剧上升的趋势。v2001年开始，我们成立了软件测试中心建立一整套面向高安全性、高可靠性飞控软件的软件测试验证流程
4、 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.测试标准与规范测试标准与规范v通用规范
5、：通用规范：CMMCMM、DO-178BDO-178Bv行业规范：行业规范：涉及涉及航空、航天、武器、电信航空、航天、武器、电信和军事和军事等领域等领域v企业标准与规范：企业标准与规范：机载软件编程规范机载软件编程规范 飞行控制系统软件测试规范飞行控制系统软件测试规范软件开发流程软件开发流程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v
6、软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件生存周期生存周期全流程全流程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试验证流程软件测试验证流程Evaluation only.Created wi
7、th Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试验证流程阶段软件测试验证流程阶段1- 1-流程中的位置流程中的位置Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段1- 1-总体描述总体描述v关注重点：关注重点：软件需求的评审与分析软件需求的评审
8、与分析系统测试用例系统测试用例v采用技术：基于需求的采用技术：基于需求的测试用例自动生成技术测试用例自动生成技术v使用工具：使用工具：T-VECT-VECEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段1- 1-关注重点关注重点v高级需求（软件需求规格说明）评审和分析高级需求（软件需求规格说明）评审和分析 参加高级需求评审和分析的组织组织单位评审参与组织配合组织飞控部软件测试组
9、软件开发组项目系统组软件配置管理组质量监督组织（SQA） 在软件需求文档的评审检查表中所有的项目都必须填写，评审和分析意见应填写在评审报告中，并和软件需求文档一起归档入配置库。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段1- 1-主要技术主要技术 基于需求的自动测试用例生成技术是一种验证和确认的方法，它能够在产品发布之前减少“疯狂”测试和返工，因为测试工程师在项目早期就对
10、需求进行精练和建模，能够使缺陷对系统产生影响前就被发现。 随着软件开发的进行，测试工程师创建测试用例和测试驱动，并建立它们与目标系统的映射和模板；当系统具备可测试条件的时候，测试工程师就可以把经过充分准备的、全面的测试过程快速地进行实施。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段1- 1-使用工具使用工具v系统测试用例生成工具T-VEC 为了保证系统测试用例设计的正确性
11、、完整性，提高效率，我们采用了软件测试用例生成工具 T-VEC。它能够帮助我们在需求分析的基础上，不依赖于任何软件编译平台和任何硬件平台，独立设计测试用例生成模型，并自动生成测试用例。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段1- 1-使用工具使用工具T-VEC工具的TTM模型图 Evaluation only.Created with Aspose.Slides for
12、 .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程阶段验证流程阶段2- 2-流程中的位置流程中的位置Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段2 2-总体描述总体描述v关注重点：软件设计的评审与分析单元/集成测试用例v采用技术：基于模型的测试用例自动生成技术v使用
13、工具： Simulink Tester T-VECEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段2- 2-关注重点关注重点参加低级需求的评审和分析的组织组织单位评审参与组织配合组织所级管理部门软件测试组软件开发组项目系统组软件配置管理组质量监督组织（SQA） 在软件设计文档的评审检查表和软件结构的评审表中所有的项目都必须填写，评审和分析意见应填写在评审报告中，并和软件设计文档
14、一起归档入配置库。 v低级需求（软件设计文档）评审和分析低级需求（软件设计文档）评审和分析 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段2- 2-采用技术采用技术v基于模型的测试用例自动生成技术基于模型的测试用例自动生成技术 测试驱动生成器能够生成和Matlab Simulink RTW相兼容的测试用例驱动模板。将测试用例驱动和源代码在同一个环境下编译生成测试程序；该测试程
15、序在目标环境下执行，并且在测试驱动执行的时候每个测试执行的结构被存储起来和预期结果进行比较。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段2- 2-使用工具使用工具v基于设计模型的单元测试用例生成工具Simulink Tester 软件单元测试用例的设计需要在本阶段内完成，以往我们是参照设计文档和模型，手工编制测试用例。这样的方式不仅效率低，而且不能保证测试的完整性。我们引
16、入基于设计模型的单元测试工具Simulink Tester帮助我们产生测试用例和驱动Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试软件测试验证流程验证流程阶段阶段2- 2-使用工具使用工具vSimulink Tester的特点提供包括模型分析、自动测试生成、测试执行和结果分析在内的一套集成解决方案；分析设计模型层次中的每个路径并且生成测试向量来测试每个路径的边界；模型中会导致产生死代码的不可达路径会被标识出
17、来，并且以超链接的方式链接到Simulink模型中的相关部分；该测试过程可以选择生成单元、集成测试用例，以便更有效的发现逻辑方面的判断错误，整数和浮点数数据域方面的计算错误。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段2 2- -使用工具使用工具模型获取 子系统选择 模型分析模型仿真 转换选项 测试生成 信号数据范围 覆盖分析Simulink Tester（T-Vec）工
18、作流程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-流程中的位置流程中的位置Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-总体描述总体描
19、述v关注重点：源代码的评审与分析静态测试单元测试集成测试v采用技术：满足安全关键系统要求的静态分析技术 满足MC/DC结构覆盖要求的单元测试基于抽象解释的飞行控制软件的自动集成测试技术 v使用工具：静态测试工具Testbed单元测试工具Tbrun集成测试工具PolySpaceEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-关注重点关注重点参加源代码评审和分析的组织组织
20、单位评审参与组织配合组织所级管理部门软件测试组软件开发组项目系统组软件配置管理组质量监督组织（SQA） 在源代码评审检查表中所有的项目都必须填写，评审和分析意见应填写在评审报告中，并和源代码一起归档入配置库。v源代码的评审和分析源代码的评审和分析 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-采用技术（静态测试）采用技术（静态测试）软件静态测试技术2002年编写了飞
21、行控制系统软件测试规范；根据已有的测试规范，国内首次引入了Testbed静态分析测试辅助工具；在国内首次定制了适合飞控专业的Testbed软件静态分析标准（并先后两次进行了该标准的修订）；为发布软件静态分析的国军标测试标准奠定了坚实的基础。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-使用工具（静态测试）使用工具（静态测试）软件静态测试工具Testbed 为了提高
22、软件代码审查、静态测试和分析的效率，保证软件源代码满足特定的代码规则要求，我们借助软件静态测试与分析工具Testbed开展软件静态测试工作。该工具可以帮助我们完成以下工作：自动地验证应用软件是否遵循了所选择的编程规则（比如国军标GJB、欧洲防务标准DERA 以及汽车软件标准MISRA ）； 提供多种形式的软件度量方法，有助于我们能够准确分析和评价被测软件的质量。常用的度量方法有：控制流结点度量、扇入/扇出度量、McCabe 圈复杂度、注释行度量；代码可达性度量等。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Pr
23、ofile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-使用工具（静态测试）使用工具（静态测试）拥有支持多种编程语言的静态测试和分析工具 Testbed for C：2001年购入并在国内率先使用 Testbed for ASM：2006年购入并在国内领先使用 Testbed for ADA：2006年购入并在国内率先使用Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 200
24、4-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-采用技术（单元测试）采用技术（单元测试）序号说明软件等级适用性ABCD1测试规程是否正确2测试结果是否正确及解释不符合值3高级需求的测试覆盖范围是否实现4低级需求的测试覆盖范围是否实现5软件结构（更改的条件/决策，也即MC/DC）的测试覆盖范围是否实现6软件结构的测试覆盖范围（决策范围，也即DC）是否实现7软件结构的测试覆盖范围（语句范围）是否实现8软件结构（数据耦合和控制耦合）的测试覆盖范围是否实现vMC/DC：满足DO-178B A级软件的必要条件v右表中的符号表示该目标要单独满足，符号表示该目标
25、要满足。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-使用工具（单元测试）使用工具（单元测试）单元测试工具TBrun 为满足软件单元测试的结构覆盖要求，达到DO-178B A级软件的MC/DC结构覆盖率100%，我们借助软件单元测试工具Tbrun展开软件单元测试。我们使用TBrun自动产生软件测试驱动、桩模块；Tbrun允许我们在修改代码后自动对测试用例进行验证和
26、回归测试；同时Tbrun还可以为我们提供代码结构覆盖率分析，比如：语句（BC）覆盖、分支/判定（DC）覆盖、修正条件/判定覆盖（MC/DC）等。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-采用技术（集成测试）采用技术（集成测试）集成测试 集成测试的主要内容包含：模块间的接口测试、全局数据结构测试、性能测试、软件功能模块的功能测试。验证软件的数据耦合与控制耦合。
27、v软件集成测试过程中采用了基于抽象解释的软件的自动集成测试技术，该项技术具有以下特点：采用抽象解释技术，无需编写测试用例、代码插装和运行被测程序，在编译阶段就可以检测运行时潜在错误； 无需测试人员干预，整个过程自动进行。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段3- 3-使用工具（集成测试）使用工具（集成测试）软件集成测试工具PolySpace 通过单元测试可以解决DO
28、-178B所要求的结构覆盖要求，验证软件的控制耦合和部分数据耦合。但是，对于数据耦合的另外的部分问题（比如：数组越界、数据溢出、非法指针等）无法得到完整的验证，因此我们借助PolySpace对被测软件进行测试,实现对被测软件的完整测试。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段4- 4-流程中的位置流程中的位置Evaluation only.Created with As
29、pose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段4- 4-总体描述总体描述v关注重点：系统测试v采用技术：飞行控制软件的系统级白盒测试技术 v使用工具： CodeTestEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段4-
30、 4-采用技术采用技术v提出并实现了“飞控系统软件的系统级白盒测试技术” 成功开发研制了一种高覆盖率的电传控制系统软件的系统级白盒测试环境； 提出并验证了系统环境下针对软件MC/DC结构覆盖的电传控制系统软件白盒测试技术； 提出并实现了一种系统级白盒测试环境下的电传控制系统软件代码的跟踪技术。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段4- 4-使用工具使用工具软件系统级测
31、试工具CodeTest 软件系统级测试是困扰我们多年的问题。由于没有得力的工具支持，软件系统级测试一直采用黑盒方式进行。测试人员无法跟踪软件的内部运行情况，不利软件问题的发现和定位。CodeTest可以帮助我们采用硬件辅助软件的系统构架和源代码插装技术，实现对软件内部运行情况的跟踪，实现以下功能：性能分析动态内存分配分析 执行追踪分析 测试覆盖分析 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程
32、阶段测试验证流程阶段4- 4-使用工具使用工具电传控制系统软件的系统级白盒测试环境电传控制系统软件的系统级白盒测试环境Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件软件测试验证流程阶段测试验证流程阶段4- 4-使用工具使用工具系统测试环境下的软件代码跟踪技术系统测试环境下的软件代码跟踪技术Evaluation only.Created with Aspose.Slides for .NET 3.5 Client
33、 Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.基于模型设计的软件基于模型设计的软件生存周期生存周期流程流程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试方法的转变软件测试方法的转变概要设计详细设计需求分析编码代码走查静态分析无法定量衡量单元测试代码覆盖率分析代码走查静态分析无法定量衡量需求分析概要设计详细设计模拟仿真模型覆盖率分析生成代码单元测试省略
34、代码覆盖率分析省略传统软件的开发测试流程图 基于模型的开发测试流程图 ？Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试方法的转变软件测试方法的转变v随着基于模型的开发方法的提出，基于模型设计的软件测试与验证方法也成为研究的焦点。如何提高基于模型开发的软件测试效率，是提高整个软件开发流程水平的关键。模型审查技术；模型覆盖率技术； 编译器验证技术。Evaluation only.Created with Asp
35、ose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.基于模型设计的软件测试与验证方法基于模型设计的软件测试与验证方法v模型审查技术： 对软件模型进行模型审查时，既要对软件模型进行审查，也要对各类软件文档进行审查：对软件开发过程中的软件需求和模型设计等阶段中所生成的文档进行检查。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspos
36、e Pty Ltd.基于模型设计的软件测试与验证方法基于模型设计的软件测试与验证方法v模型覆盖率技术 为了保证测试的完备性，SCADE提供了基于模型的覆盖率分析（MTC，Model Test Coverage）。它能够分析仿真场景在模型中的覆盖程度，并能指明未覆盖的路径，发现设计或需求中的缺陷。同时，SCADE还能自动生成覆盖率分析的报告。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.基于模型设计的软件测试与验证
37、方法基于模型设计的软件测试与验证方法v编译器验证技术CVK KCG（代码生成器）所产生代码编译后的目标码，经过CVK软件包的验证，可指出该C编译器是否是安全的。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.基于模型设计的软件测试与验证方法基于模型设计的软件测试与验证方法v编译器验证技术CVKEvaluation only.Created with Aspose.Slides for .NET 3.5 Client
38、Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试管理软件测试管理v清晰的软件配置管理v严格的软件质量保证v统一的软件测试管理Evaluation only.Created with Aspose.Slide
39、s for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试管理软件测试管理v清晰的软件配置管理清晰的软件配置管理 为了有效地管理测试过程中产生的各类文档、资料和数据，我们借助IBM公司的ClearCase和ClearQuest实现软件配置管理和变更控制活动：录入可复用的被测试软件库；录入/捡出被测试程序的源代码、目标代码、设计、测试文档；观察一个元素的历史记录；比较元素版本间的差异，便于管理软件的回归测试；跟踪检出的软件测试版本；为相同开发项目提供与软件产品有关的测试文档和数据。 Evaluatio
40、n only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试管理软件测试管理v严格的软件质量保证 建立了评审的控制程序、软件过程活动审核制度和软件的检查和监督制度，SQA严格按照上述的程序和制度，采取抽样检查、参与评审和阶段评审的方法，在软件的全生命周期中，严格执行软件的SQA制度，确保软件的产品质量。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profi
41、le 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件测试管理软件测试管理测试管理工具Test Director 为了将各个阶段、测试工具和测试人员产生的软件测试数据和结果统一进行分析和管理，解决不同测试工具形成的“信息孤岛”现象。v基于Web的测试管理系统为我们提供了一个协同合作的环境和一个中央数据仓库；vWeb 界面简化了这些需求管理过程，。通过提供一个比较直观的机制将需求和测试用例、测试结果和报告的错误联系起来，从而确保能达到最高的测试覆盖率；v借助该工具可以将需求和测试联系起来，实现需求跟踪和验证。Evaluation only.Created
42、 with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.软件的测试能力软件的测试能力v已经形成一整套专业的测试流程；v已形成一条完备的软件测试
43、工具链，覆盖软件全生命周期的测试与验证（包含静态测试、单元测试、集成测试、系统测试 ）；v能够针对多种测试对象开展测试，包含：设计模型、C语言、Ada语言、汇编语言等；v所测试项目遍及国内多个型号，测试代码行超过200万行；v拥有一支高水平的测试梯队和一批经验丰富的测试专家；v测试中心具有承接安全关键级软件和任务关键级软件测试的经验和能力。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.主要内容主要内容v测试对象及组
44、织机构v测试标准与规范 v测试流程v软件测试管理v软件测试能力v成功案例 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.成功案例成功案例v猎鹰高级教练机电传控制系统v某型（A）双坐高级教练机电传控制系统v某型（B）电传控制系统v某型支线客机自动驾驶仪v导弹系列v无人机系列Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.
45、2.0.0.Copyright 2004-2011 Aspose Pty Ltd.取得的荣誉取得的荣誉v多种类型的飞机（固定翼、旋翼、有人驾驶、无人驾驶）和导弹等飞行控制软件，经过我们独立测试后，在内场调试中很少产生故障，在外场试验和试飞中均无故障产生，获得用户好评；v通过了总装组织的GJB5000 CMM 2级认证，这一突破使我所成为首批通过此认证的航空院所；v“高覆盖率的电传控制系统软件系统级白盒测试技术”项目取得了国防技术成果奖，在同行业中填补了国内空白；v获得了SCADE工具中国最佳用户的称号。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 谢 谢 ！Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.
