Parasoft C++Test美国Parasoft公司研发的支持CC++静态分析的工具，该工具除了可以检测编码规则外，还能检测少量的语义缺陷，此外能够进行测试用例生成。

区别是 findbug与pclint都是针对软件漏洞进行代码检测的工具软件findbug针对的是Java代码，pclint针对的是C代码或者C++ Findbugs是一款Java静态代码分析工具，与其他静态分析工具如Checkstyle和PMD不同，Findbugs 不。

3PMD PMD 是由 DARPA 在 SourceForge 上发布的开源 Java 代码静态分析工具PMD 通过其内置的编码规则对 Java 代码进行静态检查，主要包括对潜在的 bug，未使用的代码，重复的代码，循环体创建新对象等问题的检验PMD。

代码检查CodeCheck是基于云端实现代码质量管理的服务，软件开发者可在编码完成后执行多语言的代码静态检查和安全检查，获取全面的质量报告，并提供缺陷的改进建议和趋势分析，有效管控代码质量，帮助产品成功 产品功能 支持多种。

代码静态度量分析质量检查工具logiscope和Macabe 黑盒测试工具主要有客户端功能测试MI公司的winrunner，compuware的qarun，Rational的robot 服务器端压力性能测试MI公司的winload，compuware的qaload，Rational的SQAload等等 Web。

1静态测试工具直接对代码进行分析，生成可执行文件静态测试工具一般是对代码进行语法扫描，根据某种质量模型评价代码的质量，生成系统的调用关系图等静态测试工具的代表有Telelogic公司的Logiscope软件PR公司的PRQA软件。

静态代码检查又称为静态程序分析，是指在不运行计算机程序的条件下，进行程序分析的方法静态代码检查工具会从词法语法语义等多维度去对工程代码扫描分析，发现可能存在的问题，比如变量未定义类型不匹配变量作用域问题。

Goanna是一个针对CC安全可靠性进行深度静态分析的工具，为安全性的嵌入式软件提供全球领先的静态CC代码分析解决方案作为确保符合例如DO等安全标准的重要组成部分，Goanna结合了最新的程序验证研究，并可以与。

工具非常多，各个工具通常会以插件的形式嵌入在各种IDE中，本人目前最偏爱cpplint，其实是就一个python脚本，帮助检查是否符合GoogleC++Style的标准规范。

静态测试工具的代表有Telelogic公司的Logiscope软件PR公司的PRQA软件动态测试工具动态测试工具与静态测试工具不同，动态测试工具的一般采用quot插桩quot的方式，向代码生成的可执行文件中插入一些监测代码，用来统计程序运行时的。

Goanna是一个针对CC++安全可靠性进行深度静态分析的工具，为安全性的嵌入式软件提供全球领先的静态CC++代码分析解决方案作为确保符合例如DO等安全标准的重要组成部分，Goanna结合了最新的程序验证研究，并可以。

1人工检测是指不依靠计算机而是靠人工审查程序或评审软件，包括代码检查静态结构分析和代码质量度量等2计算机辅助静态分析利用静态分析工具对被测试程序进行特性分析，从程序中提取一些信息，以便检查程序逻辑的。

可能出现的运行错误很多代码写法编译器不报错，严格来讲也没错，但是会极大增加运行时报错的风险，静态检查工具就是用来跑程序之前尽量发现这些问题例如变量引用前没有判空啦多线程引用变量没有锁啦blahblahblah。

用cygwin咯 win下模拟linux平台 需要c的话只要gcc就好，编辑器用vi或者emacs什么的都可以 完全开源免费。

系统测试包括功能测试性能测试安全测试等系统测试可以通过Selenium，JMeter等工具实现总结评测过程中采用的测试方法依据不同的测试阶段和测试目的而定其中，静态检查以及单元测试主要针对程序代码进行测试，主要检查程序各个。

如果您正在寻找使用Go和Java编写的高性能JSON编码解码工具，请尝试开源库JSONITER，它与Go中的标准JSON编码包非常的兼容4FLOW FLOW是一个用于Javascript的静态类型检查工具，可以逐步向整个代码库添加类型检查在进行电脑。