SpecChecker提供了高准确度和齐全的编码标准符合性检查,支持最多种类的精确缺陷检测能力,可以与用户软件开发工具和流程无缝集成,最大限度发挥静态分析的效能。主要技术优势:高精度 MISRA C/C++、AUTOSARC++14 检测引擎;首个航天嵌入式典型故障模式集合;基于变量访问序模式的中断数据竞争检测技术;高精度高性能运行时错误与安全漏洞检测技术。
5038
社区成员
8124
社区内容
欢迎大家加入到软件测试的社区,在这里,希望大家勇于发表自己的看法,欢迎大家分享自己在软件测试工作过程中遇到的问题以及工作经验分享。
1.想转行的小伙伴,遇到问题没有及时回复的,可以私聊小博进行反馈
2.大家对社区有好的建议,都可以在社区发帖进行反馈
推荐大家学习的软件测试入门笔记:软件测试入门学习笔记