首页>产品中心>AdaTEST 95
Ada语言的自动化单元和集成测试

AdaTEST 95是一个单元和集成测试工具,使开发者在本地主机和嵌入式目标平台上验证符合标准的或业务关键的代码 。

通过如下自动化行为,安全标准提出的所有测试要求得以更快的满足:

  测试框架生成

  测试用例生成

  测试执行

  结果诊断和报告生成


探索AdaTest 95
  • 代码覆盖率分析

    代码覆盖率分析

    简单易用,符合最高监管标准,并完全集成到测试中,深入分析可轻松指出代码覆盖范围的差距。

    了解更多
  • 为何要投资AdaTEST 95?

    为何要投资AdaTEST 95?

    行业领先者使用经过验证的可靠工具AdaTEST 95可以降低测试成本

    了解更多
  • 静态代码度量

    静态代码度量

    提供超过100个Ada源代码度量:
    > 客观代码审查
    > 测试工作量估算
    > 检查集成在测试中

    了解更多
单元测试

AdaTEST 95使用向导驱动产生Ada 95语言的测试脚本,在用户的编译器IDE中构建和执行测试,使用户控制Ada包验证。AdaTEST 95为单元测试提供了如下内容: 

  自动检查所有标准的Ada 95数据类型记录和数组

  对用户定义类型的实例做通用的检查

  黑盒和白盒测试

  直观的Ada语言的测试指令和测试脚本

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

  异常的验证

  “隔离”的子单元的桩模拟

  调用序列验证

  状态转换测试

  实时性能分析

  自动回归测试

  完整的代码覆盖和静态度量检查

符合安全标准的测试要求
自1991年推出以来,AdaTEST工具集一直处于安全关键Ada代码验证的最前沿。它已成功地在许多知名项目中获得鉴定,包括空中交通管制、航空电子、轨道交通、空间、国防以及核能。
  • IEC 61508
    电气/电子/可编程电子安全相关系统的功能安全
  • EN 50128
    铁路应用 - 通信、信号和处理系统
  • IEC 60880
    核能
  • DO-178B/C
    机载系统和设备合格审定中的软件考虑
  • DO-278A
    通信,导航,监视和空中交通管理(CNS/ATM)系统软件完整性保证指南
  • ECCS-E-40
    空间工程:软件
  • MIL STD 498
    美国Military-Standard-498软件开发和文档
  • Def Stan 00-55
    英国国防设备安全相关软件要求
为什么从QA Systems购买?
  • 具有20年历史的可靠的测试供应商
  • 高可靠性静态和动态测试领域的专家
  • 在安全和商业关键领域拥有成百上千的客户供应商
  • 经验丰富的技术支持团队
  • 倾听客户的需求来指导产品的改进
  • 工具培训和现场咨询
开始试用获取演示
本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。了解更多
我明白
×
×