产品 | 功能简介 | 许可类型 | 商务模式 | |
LDRA | 静态测试 | 编码规范检查，数据流控制流分析，代码质量度量等，对标ISO26262 | 浮动许可 | 买断+维护 |
动态测试 | 单元测试、集成测试、软件系统测试等，含各种覆盖率测试；自动生成测试用例； | 浮动许可 | 买断+维护 | |
测试管理 | 管理测试用例和测试报告，提供符合ISO26262的追溯管理模块 | 浮动许可 | 插件、买断+维护，基于已购买静动态测试 | |
VISSLM | ALM | 符合A-SPICE的软件全生命周期管理平台 | 浮动许可 | 用户账户+浮动许可； |
absint | StackAnalyzer | 针对C语言的堆栈使用检测与优化工具； | 浮动许可 | 买断+维护； |
ASTREE | 软件动态执行错误检查工具； | 浮动许可 | 买断+维护 | |
aiT | 最差执行路径检测与评估工具； | 浮动许可 | 买断+维护； | |
Medini | 企业版 | 功能安全开发与流程管理工具 | 浮动许可 | 买断+维护，或者租赁； |
