其他产品

qitachanpin
当前位置:首页 > 其他产品

软件静态测试工具SpecChecker

SpecChecker提供了高准确度和齐全的编码标准符合性检查,支持最多种类的精确缺陷检测能力,可以与用户软件开发工具和流程无缝集成,最大限度发挥静态分析的效能。主要技术优势:高精度 MISRA C/C++AUTOSARC++14 检测引擎;首个航天嵌入式典型故障模式集合;基于变量访问序模式的中断数据竞争检测技术;高精度高性能运行时错误与安全漏洞检测技术。

7.png

相关信息

Copyright © 凯云联创(北京)科技有限公司  网站备案号:京ICP备17011758号-3

提交成功

谢谢您的宝贵意见,我们将安排客服尽快与您沟通

在线留言