该网站提供了一系列嵌入式软件开发测试工具，包括：

  • Helix QAC/C++：用于深入分析工业规模的C/C++代码，以符合MISRA/AUTOSAR/CERT等代码标准和安全性要求。
  • CANTATA C/C++代码的自动化单元和集成测试工具，以及安全标准合规性测试工具AdATEST 95和Ada代码的自动化单元和集成测试AdATEST 100。
  • 获取演示、为什么为单元测试工具付费的相关信息、关于我们和新闻等内容。

这些工具旨在帮助企业确保其软件代码的安全性和合规性，适用于汽车、能源、医疗设备等多个行业。