时间：2025-03-28 09:23:32 作者：超级管理员 浏览量：164
| 产品 | 功能简介 | 许可类型 | 商务模式 | |
| LDRA | 静态测试 | 编码规范检查，数据流控制流分析，代码质量度量等，对标ISO26262 | 浮动许可 | 买断+维护 |
| 动态测试 | 单元测试、集成测试、软件系统测试等，含各种覆盖率测试；自动生成测试用例； | 浮动许可 | 买断+维护 | |
| 测试管理 | 管理测试用例和测试报告，提供符合ISO26262的追溯管理模块 | 浮动许可 | 插件、买断+维护，基于已购买静动态测试 | |
| VISSLM | ALM | 符合A-SPICE的软件全生命周期管理平台 | 浮动许可 | 用户账户+浮动许可； 买断+维护，或者租赁； 5个许可起售； |
| absint | StackAnalyzer | 针对C语言的堆栈使用检测与优化工具； | 浮动许可 | 买断+维护； 需要提供芯片型号和编译器，以便确认是否支持该测试环境； |
| ASTREE | 软件动态执行错误检查工具； | 浮动许可 | 买断+维护 | |
| aiT | 最差执行路径检测与评估工具； | 浮动许可 | 买断+维护； 需要提供芯片型号和编译器，以便确认是否支持该测试环境； | |
| Medini | 企业版 | 功能安全开发与流程管理工具 | 浮动许可 | 买断+维护，或者租赁； |
