提供面向数字时代软件安全的ONE STOP解决方案

智能网联汽车自动化软件测试方案，服务软件定义汽车，聚焦智能化新能源汽车算法和软件的测试验证，搭建软件测试、半实物仿真测试、实车实验室、场地及道路测试的完整技术、能力和工具链，以及人才培养体系，通过推动并参与构建汽车软件新生态，助力中国方案智能网联汽车、新能源汽车更快、更安全的商业化落地。

代码验证自动化工具

STATIC 静态验证工具
– 针对不同行业领域的编码规则自动化检查工具，可缩短静态分析时间并简化缺陷修复过程

CONTROLLER TESTER 动态验证工具
– 可测量标准要求的所有类型代码覆盖率的单元/集成测试自动化工具，适用于Mission Critical领域的安全性和可靠性认证

模型验证自动化工具

MODEL INSPECTOR 模型静态验证工具
– 支持模型静态验证过程的工具，包括自动检查标准建模规则、轻松分析和修改违规项以及评定模型质量指标，可满足 关键任务领域软件的验收要求

MODEL VERIFIER 模型动态验证工具
– 支持模型动态验证流程的工具，如创建测试环境、测试仿真、比较结果、计算覆盖率等。适用于关键任务领域需要安全性和可靠性认证

系统验证自动化工具

FIT 故障注入测试工具
– 故障注入测试自动化工具，通过强行注入缺陷检查控制系统是否正常运行

PROV 时序/资源占用测定工具

– 通过时序检查和资源使用量测量进行软件安全性检查的工具

软件验证服务

未来技术验证解决方案

SIMVA 控制器虚拟化验证工具
– 使用ECU虚拟化技术进行模拟测试以提高软件开发效率和验证效率的工具,解决汽车软件复杂性增加和开发效率差距问题

VISTA 连接测试工具
– 自动化车辆信息娱乐系统测试，提高可靠性及功能自动化测试效率

FUZZIT 模糊测试工具
– 网络安全质量保证工具，通过模糊测试检测缺陷，并补充检测内容