装备电子系统的研发、测试、保障解决方案中心

动态测试

●利用你的编译器集成开发环境建立和执行测试，最大限度减小学习工具的时间。

●在向导的指引下生成测试脚本，包括在线帮助和分步指导创建测试驱动环境。

●白盒和黑盒测试技术都可以支持。

●直观的测试指令，提供快速开发结构化的可重用的测试用例并生成清楚确定的结果。

●自动检查所有标准的Ada 95 数据类型，对用户定义类型的实例化做一般性检查。

●异常校验，检查期望的异常出现和不希望的异常不发生。

●打桩，创建可编程的对外部单元的模拟并进行调用顺序校验。

●实时性能分析检查指定代码的实际执行时间。

●交叉平台执行，从主机到嵌入式目标不需要做额外修改。

●自动回归测试在批处理模式下重新运行测试。

●测试支持包自动检查全局数据。

●从测试用例定义文件快速生成测试脚本。

覆盖率分析

覆盖率分析可提供检查动态测试执行代码是否有效的客观标准。代码覆盖率的要求可以定义在规则集中。

●代码覆盖率度量，包括：入口点、调用返回、语句、基本块、判定（分支）、条件、MC/DC。

●可配置的覆盖率要求，在覆盖率规则集中轻松定义。

●覆盖率检查集成到动态测试中，结论是通过/失败。

●数据值覆盖，指定变量的数据值，例如：“始终为TRUE”或“至少一次为TRUE”。

●检查路径和追踪，以确定更加详细的代码执行路径。

●覆盖率统计可以生成文本文件和HTML文件。

静态分析

静态分析产生Ada代码的100 多个复杂度。提供简单的规则集合，比如限制某些代码结构使用或限制代码复杂度，用来强制实行代码质量标准。

●.csv格式的复杂度报告。

●基础度量包括代码行数、注释、Ada单元数，以及大多数由Ada语言参考手册（LRM）定义的代码结构统计。

●复杂度包括McCabe、Halstead和其他很多复杂度。

       度量的检查集成到动态测试，产生的结果可为通过/失败/警告，也可以单独运行。