AdaTEST 95符合软件安全标准的所有测试要求,达到最高的完整性水平。它为主机和目标平台上的Ada代码提供了单一的测试解决方案,具有高生产率和一组独特的测试、覆盖分析和静态分析特性。
AdaTEST 95工具已经成功地用于许多引人注目的项目超过20年,这些项目包括空中交通管制、航空电子、铁路运输、空间、国防和核能。
通过自动化方法可使软件满足标准的单元和集成测试的成本显著降低。AdaTEST 95加速:
测试框架设置
测试用例生成
在主机/目标机平台上执行
生成诊断和合格审定结果
AdaTEST 95的价格非常具有竞争力,具有灵活的许可模式,使您为企业做出最佳选择。
AdaTEST 95提供了全面的用户文档,用Ada 95语言进行的测试和工具集成一起积极地减少了工具学习曲线。通过专业技术支持服务和维护升级,降低了持续使用成本。
有关许可证和服务定价选项的更多信息,请与我们联系。