VectorCAST/Ada可自动生成测试驱动程序和桩函数，无需手动编写测试代码，即可获得一套完整且可执行的测试框架。传统上，Ada的单元测试和集成测试一直是一个劳动密集型过程。VectorCAST/Ada通过自动处理测试框架的构建改变了这一现状，从而使工程师能够专注于构建全面的测试用例，而非围绕这些用例构建测试框架。
测试可以在主机上原生执行，在目标仿真器上执行，或者通过VectorCAST RSP直接在嵌入式目标硬件上执行。在主机环境中开发的测试用例可以在目标设备上重新执行，以验证跨编译器的行为和实际性能。
VectorCAST/Ada适用于哪些人群？
VectorCAST/Ada适用于在任务关键型和安全关键型项目中工作的Ada开发人员和测试工程师，涵盖航空航天、铁路及其他受监管行业，支持Ada 83、Ada 95、Ada 2005和Ada 2012标准，并兼容新旧代码库。
优点
VectorCAST/Ada通过一个自动化且可重复的过程，取代手动创建Ada测试框架所带来的额外工作量，该过程既支持新代码的开发，也支持遗留代码的验证。
消除手动编写测试框架的繁琐工作
驱动程序和桩函数将从源代码中自动生成。工程师只需定义测试逻辑，而非其周围的基础设施。
对历史Ada代码同样严格
VectorCAST/Ada既适用于新的Ada应用程序，也适用于现有的Ada应用程序。为历史代码添加单元测试非常简单，无需进行大规模重构。
验证代码覆盖率符合航空电子和军事标准
代码覆盖率分析已针对包括DO-178C在内的行业标准要求进行优化。覆盖率查看器可直接在源代码中标识出未经过测试的代码行。
在主机、仿真器或嵌入式目标上运行测试
测试用例可直接从主机传输至嵌入式目标，无需重写。VectorCAST RSP能自动且无缝地处理目标硬件上的执行。
实现回归测试自动化
测试数据与测试框架分开存储。回归测试可针对更新后的源代码运行，而无需针对每次更改重新编译测试可执行文件。
应用领域
VectorCAST/Ada适用于以Ada作为主要编程语言，且软件正确性对任务或安全至关重要的程序。
航空航天
根据DO-178B和DO-178C标准对机载软件组件进行单元测试和集成测试，包括满足更高设计保证等级要求的覆盖率证明。
工业
针对符合IEC 61508标准的程序中Ada组件的系统化软件验证。
铁路
针对符合EN 50716:2023标准的程序中Ada组件的软件验证与确认。
主要特点
VectorCAST/Ada可自动化完成Ada单元测试和集成测试工作流的每个阶段，从测试框架生成到覆盖率报告和回归测试执行。
构建和运行测试
自动测试框架的构建
根据Ada源代码生成所有测试基础设施。无需手动编写测试代码。
数据驱动的执行
测试框架在运行时读取测试数据。每次更新测试用例时，无需重新编译。
自动测试用例生成
根据决策路径生成测试用例，为开始手动开发测试提供一个起点。
回归测试
测试用例会根据更新的源代码自动重新执行。测试执行回放有助于调试故障。
目标定位测试
通过VectorCAST RSP直接在嵌入式目标硬件上执行测试。从主机迁移到目标时，无需重写测试代码。
分析与可视化
代码覆盖率分析
覆盖率指标可精准定位未经过测试的代码行。可根据DO-178及其他标准的要求配置覆盖率级别。
代码复杂度分析
静态复杂度指标可突出显示高风险代码，并有助于确定测试工作的优先级。
Ada标准与工具链支持
支持Ada 83至Ada 2012版本。与AdaCore GNAT、Green Hills AdaMULTI、DDC-I SCORE、Atego ObjectAda、IBM Rational Rhapsody以及DOORS实现集成。
常见问题
