AdaTEST 95是一个单元和集成测试工具，使开发者在本地主机和嵌入式目标平台上验证符合标准的或业务关键的代码 。
通过如下自动化行为，安全标准提出的所有测试要求得以更快的满足：
测试框架生成
测试用例生成
测试执行
结果诊断和报告生成
AdaTEST 95使用向导驱动产生Ada 95语言的测试脚本，在用户的编译器IDE中构建和执行测试，使用户控制Ada包验证。AdaTEST 95为单元测试提供了如下内容：
自动检查所有标准的Ada 95数据类型记录和数组
对用户定义类型的实例做通用的检查
黑盒和白盒测试
直观的Ada语言的测试指令和测试脚本
测试支持包自动全局数据检查
异常的验证
“隔离”的子单元的桩模拟
调用序列验证
状态转换测试
实时性能分析
自动回归测试
完整的代码覆盖和静态度量检查
;)
AdaTEST 95允许用户测试Ada软件包之间的接口，以及测试软件包的组，这些无法用隔离的单元测试完成。 AdaTEST 95为集成测试提供了如下内容：
结果的自动检查
黑盒和白盒技术相结合
可选的和可编程的桩
调用序列验证
用户观察测试
状态转换测试
多线程测试执行
实时性能分析
自动回归测试
完整的代码覆盖和静态度量检查
使用AdaTEST95进行代码覆盖 - AdaTEST95代码覆盖的简短
Ada95的测试技术 - 对Ada95分层库、受保护对象和受控制类型进行成功测试的技术
使用AdaTEST95静态分析 – 介绍了AdaTEST 95如何为代码静态分析提供100多个度量指标
