banner图
VectorCAST
PRQA
DT10
DT-Win
Squore
VectorCAST/Ada
 


VectorCAST/Ada - 自动化的Ada单元测试


VectorCAST/Ada是一套动态软件测试解决方案,可以自动执行Ada单元测试和集成测试。这一功能对于检验高安全、高可靠性的嵌入式系统而言是十分必要的。VectorCAST/Ada的主要功能有:
    - 将手动测试流程转变为一个严谨的工程
    - 可以用于测试新开发的或旧有的应用程序
    - 将开发测试工作变为一项简化的、可重复的技术
    - 通过自动创建框架来分离新开发的代码,从而有效降低成本
    - 在不影响开发速度的同时更加注重质量
    - 支持Ada 83, Ada 95, Ada 2005, Ada 2012

VectorCAST/Ada
  Ada单元测试和集成测试


以前,Ada单元和集成测试是由开发人员在构建完代码
之后来执行的。创建好独立的软件组件之后,就会生成
测试代码来代替被测代码的外部接口。这个测试代码通
常被叫做测试套件,由驱动和桩函数组成。驱动用来调
用被测代码;桩函数用来替代被测代码所调用的依赖函
数。我们的软件可以自动创建桩和驱动,构成测试套件
。这样可以让开发人员就能够集中精力构建高质量的、
全面的测试用例。


使用VectorCAST/Ada,既可以在本地,也可以在特定目标或目标模拟器上执行单元测试。VectorCAST的运行时支持包 - VectorCAST/RSP,是一个附加模块,可以让测试用例在目标硬件上自动、无缝执行。此外,还可以在主机环境中执行测试,并在嵌入式目标上重新执行来验证目标和交叉编译器的性能。

VectorCAST/Manage
企业测试平台

VectorCAST/Manage会提供一个仪表盘,显示之前开发的VectorCAST/C++的回归测试结果,VectorCAST/Ada单元测试和回归测试环境,以及与现有的VectorCAST/Cover环境集成的代码覆盖率数据。这有助于企业实现具有重要意义的持续集成流程。


功能

VectorCAST/Ada的功能包括:
- 为Ada单元和集成测试构建完整的测试套件 - 不需要写测试
代码
- 自动构建驱动和桩函数
- 通过图形用户界面(GUI)或脚本来执行测试
- 进行针对代军工和航空要求的代码覆盖率分析
- 与IBM® Rational® Rhapsody®, AdaCore GNAT,
Green Hills® AdaMULTI™, Atego™ ObjectAda®,
DDC-I™ SCORE®, IBM® Rational® DOORS®等其
它工具集成
- 在目标或模拟器上执行测试
- 通过代码复杂度分析,对存在高风险的代码进行高亮处理
- 根据判定路径自动生成测试用例
- 可以回放测试执行情况,帮助进行调试
- 利用现有的测试自动进行回归测试


VectorCAST/Ada如何运作

如何利用VectorCAST/Ada自动实现Ada嵌入式软件测试
VectorCAST/Ada 通过解析源代码和调用代码生成器自动创建构成完整的可执行测试套件所需的测试代码(桩和驱动)。创建好测试套件之后,可以用工具构建和执行测试用例,并会 显示被覆盖的代码,报告静态评估结果。独立保存测试数据与测试套件,以便自动进行回归测试。

VectorCAST可执行套件的组件包括:
- 测试驱动 - 主程序
- 被测的源文件
- 依赖函数的完整桩
- 未插桩的依赖单元的源文件

测试套件是由数据驱动的,这就意味着在执行过程中套件会读取测试数据。采用这种方法,就不需要在每次执行新测试时,编译和链接新的可执行套件。

VectorCAST/Ada也会生成代码覆盖率,指出哪些代码尚未被测试到。这个简单易懂的代码覆盖率查看器可以深入显示到哪一行代码还需要被测试,还适用于不同行业标准(如DO-178B)所提出的不同等级的覆盖率要求。