提供面向数字时代软件安全的ONE STOP解决方案
智能网联汽车自动化软件测试方案,服务软件定义汽车,聚焦智能化新能源汽车算法和软件的测试验证,搭建软件测试、半实物仿真测试、实车实验室、场地及道路测试的完整技术、能力和工具链,以及人才培养体系,通过推动并参与构建汽车软件新生态,助力中国方案智能网联汽车、新能源汽车更快、更安全的商业化落地。
代码验证自动化工具
STATIC 静态验证工具
– 针对不同行业领域的编码规则自动化检查工具,可缩短静态分析时间并简化缺陷修复过程
CONTROLLER TESTER 动态验证工具
– 可测量标准要求的所有类型代码覆盖率的单元/集成测试自动化工具,适用于Mission Critical领域的安全性和可靠性认证
模型验证自动化工具
MODEL INSPECTOR 模型静态验证工具
– 支持模型静态验证过程的工具,包括自动检查标准建模规则、轻松分析和修改违规项以及评定模型质量指标,可满足 关键任务领域软件的验收要求
MODEL VERIFIER 模型动态验证工具
– 支持模型动态验证流程的工具,如创建测试环境、测试仿真、比较结果、计算覆盖率等。适用于关键任务领域需要安全性和可靠性认证
系统验证自动化工具
FIT 故障注入测试工具
– 故障注入测试自动化工具,通过强行注入缺陷检查控制系统是否正常运行
PROV 时序/资源占用测定工具
– 通过时序检查和资源使用量测量进行软件安全性检查的工具
软件验证服务
未来技术验证解决方案
SIMVA 控制器虚拟化验证工具
– 使用ECU虚拟化技术进行模拟测试以提高软件开发效率和验证效率的工具,解决汽车软件复杂性增加和开发效率差距问题
VISTA 连接测试工具
– 自动化车辆信息娱乐系统测试,提高可靠性及功能自动化测试效率
FUZZIT 模糊测试工具
– 网络安全质量保证工具,通过模糊测试检测缺陷,并补充检测内容