北京麦禾信通科技有限公司
产品与服务
 
产品
 
咨询与服务
产品详情
Ada语言单元测试工具
产品详情


AdaTest95工具包自从1991年推出就处于Ada代码校验的前沿,广泛应用于各个高端领域,包括:空中交通控制,航空电子,铁路运输,空间技术,国防,核能以及金融和数字广播系统。所有这些领域都有一个共性,就是都要求在合理的投入回报率下生产出高可靠性的软件。

技术摘要

     动态测试

   动态测试证明用户代码是否按规格说明执行

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

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

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

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

·        自动的普通检测针对所有标准的Ada 95 数据类型和用户定义数据类型。

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

·        打桩 创建可编程的模拟外部软件,固件和硬件并执行调用顺序校验。

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

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

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

      特点

·        完全支持 Ada 83 Ada 95 测试

·        主机和目标机

·        在向导下开发驱动脚本

·        自动检查

·        打桩

·        异常检查

·        时间分析

·        自动回归测试

·        集成覆盖分析

·        集成静态分析

·        IPL的经过ISO 9000-3(TickIT)认证的质量管理系统控制下开发

    

测试脚本向导加速测试进程.

“AdaTEST 95是非常有帮助的高级工具,并且可以肯定使用它一定会有积极意义的。我已经用过几种测试工具,包括购买的和免费试用的,无可否认的一点是AdaTEST 95要远远好于其他工具。”

                                                                     --- ConsultIT/Kongsberg

      静态分析

静态分析产生Ada代码的超过100 种的复杂度。简单的规则集合可以用来强制实行代码质量标准,比如限制某些代码结构使用或限制代码复杂度.

·        程序复杂度包括代码行数,注释数,Ada单元数和大多数由Ada语言参考手册(LRM)定义的代码结构统计数。

·        复杂度包括McCabe, Halstead和其他很多复杂度。

·        复杂度检查集成到动态测试,所带来的结果可为通过、失败、警告或单独运行。

·        复杂度报告可以产生成文本和csv格式报告,可以进一步导入到表格生成图表并进行数值分析。


      覆盖率分析

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

·        代码覆盖率度量

    入口点

    语句

    判定 (分支)

    条件(Booleans)

    MC/DC (DO-178B)

    异常

    指定变量的数据值覆盖,如一直取true ,或者,取true至少一次

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

·        覆盖率检查集成到动态测试,结论是通过/失败/警告。

·        覆盖率统计可以生成文本文件和HTML浏览的源代码。




使用AdaTEST 95 静态分析生成的MS Ex

cel图表



                                                                                                            HTM浏览器