VectorCAST/Ada

VectorCAST/Ada是降低关键嵌入式软件测试成本、加速软件确认的一套集成测试工具。

VectorCAST/Ada首先分析您的代码,然后自动生成一个完成、能够立刻执行的test harness。 用户能够使用我们的工具来造作与执行测试用例、指出哪项代码是否被覆盖了、提供静态分析报告等活动。 我们的工具在test harness外保存测试用例的资料,因此它能够自动地执行回归测试。





VectorCAST/Ada测试用例生成器

特点

  • 自动地生成占位程序与测试驱动程序
  • 能够使用图形用户界面或者命令来执行测试用例
  • 测试覆盖分析
  • 回归测试是完全自动的
  • 使用基本路径来自动的生成用例
  • 用户自己制定测试用例来检验代码是否满足软件的要求
  • C与Ada语言的编码标准
  • 回顾测试执行,帮助排错代码
  • 与Telelogic Rhapsody®模拟软件和DOORS®需求管理软件的集成工具

体系结构

VectorCAST/Ada的工具包括六个集成程序: