VectorCAST嵌入式软件测试平台

VectorCAST嵌入式软件测试平台实现DO-178B和DO-178C《航空运输系统及装备规范软件考虑因素》(Software Considerations in Airborne Systems and Equipment Certification)第6节中所规定的软件验证过程目标。DO-178B和DO-178C(DO-178B/C)都规定了开发航空系统应该遵循的流程。DO-178B/C的软件验证过程中一个十分重要的要求是,在符合高层级和低层级的软件测试需求的情况下,使结构代码覆盖率达到要求。

特点

  • 实现针对函数单元和模块接口的自动化测试
  • 根据不同行业的认证标准自动智能地生成测试用例
  • 最精简的测试套件和数据驱动机制更适用于嵌入式软件测试
  • 集成需求管理系统(ALM)让测试用例对项目需求进行跟踪
  • 简单易用无需编写测试代码最大程度地实现自动化
  • 支持动态的错误注入性测试和数据跟踪
  • 强大的基于变更的测试功能有效地缩减系统功能测试回归执行的工作量
  • 整合系统功能测试、单元测试和人工分析的代码覆盖率分析功能
  • 利用统一的B/S质量分析平台总览项目测试进度和质量
  • 广泛符合高安全和高可靠性行业认证的要求
  • 支持C/C++和Ada语言,支持Windows/Linux/Solaris平台
  • 普遍地支持主流的40多种嵌入式编译器和常用实时操作系统
  • 与常用的代码静态分析工具集成
  • 以浮动永久license的形式授权

功能

  • VectorCAST-C++ (Pro/Enterprise),支持C/C++软件的单元和集成测试,包括自动创建测试环境;智能化地自动生成、自定义测试用例;自动生成桩函数;统计多种测试覆盖率、分析覆盖,自动生成测试报告;支持测试用例的管理、复用和变更测试;支持需求跟踪;支持动态插装点和错误注入性测试;支持40多种常用的编译器;支持在模拟器和目标机上的测试。
  • VectorCAST-QA (Pro/Enterprise),支持C/C++软件的系统功能测试,包括与现有自动化脚本的集成、统计系统测试覆盖率、分析覆盖、基于变更的回归测试、需求跟踪、错误注入性测试和Analytics质量管理平台。
  • VectorCAST/Lint,支持C/C++代码静态分析的插件,利用内建的1700多条规则对代码进行静态分析。