软件测试有白盒测试，黑盒测试，性能测试，动态测试，静态测试等，其中静态测试是指无须执行被测代码，而是借助专用的软件测试工具。静态测试工具有：
Klocwork
Klocwork支持的语言种类多，能够分析C、C++和Java代码；非侵入式检测；准确率达到90%；描述非常清晰，详细的问题产生流程跟踪（具体每一步骤所涉及的源代码文件、行数），基本上一看就清楚问题的产生来源）；跨文件/模块的分析能力，对于大型软件非常重要。
CoBOT（库博）
目前支持C、C++、Java、C#.net、JS、HTML等超过10种语言的检测。能够支持静态代码度量、运行时缺陷检测和安全漏洞检测。支持GJB 5369、GJB 8114、MISRA 2004/2008/2012规范、支持CWE/SANS TOP25和OWASP TOP 10中的大部分安全漏洞模式检测。支持百万行代码跨文件检测能力，检测效率达到100-200万行/小时。
Coverity
支持C、C++、Java、C#、javascript、Ruby、Python语言，支持C# 7、VS2017、Clang 4.0、gcc7等编译器。能够发现导致系统崩溃的缺陷（内存错误、逻辑错误、指针错误等）安全性问题和并发方面缺陷。
本文由培训无忧网长沙牛耳教育专属课程顾问老师整理发布，更多相关课程请关注培训无忧网软件测试培训或添加老师微信：15033336050
以上文章由长沙牛耳教育课程顾问整理编辑发布，部分文章来自网络内容真实性请自行核实或联系我们，了解相关专业课程信息您可在线咨询也可免费申请试课。关注官方微信了解更多：150 3333 6050
免 费 申 请 试 课
