每当人们提起测试的时候，大家首先想到的就是，白盒测试和黑盒测试。这两个测试可以说是被人们广为熟知的，但是这两种测试可以使用哪些工具？今天我们先就来了解一下关于白盒测试的工具吧？白盒测试工具是有比较多的，常用的有Jtest、Jcontract以及CodeAnalyzer等等，接下来我们就来具体的了解一下吧。
1、Jtest
是一个代码分析和动态类、组件测试工具，是一个集成的、易于使用和自动化的Java单元测试工具。它增强代码的稳定性，防止软件错误。
2、Jcontract
Jcontract在系统级验证类/部件是否正确工作并被正确使用。Jcontract 是个独立工具，在功能上是Jtest 的补充。可以用Jcontract插装按DbC注解的Java代码。将类/部件组装成系统时，Jcontract 在运行时监视并报告错用和功能性问题。Jcontract 帮助每个开发人员有效地考核类/部件的系统级行为。
3、CodeWizard
CodeWizard 代码静态分析工具，先进的C/C++源代码分析工具，使用超过500 个编码规范自动化地标明危险的，但是编译器不能检查到的代码结构。
4、Insure++
Insure++是一个基于C/C++的自动化的内存错误、内存泄漏的精确检测工具。 Insure++能够可视化实时内存操作，准确检测出内存泄漏产生的根源。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。
5、BoundsChecker
BoundsChecker Visual C++ Edition 是针对Visual C++开发人员的首选的运行时的错误检测和调试工具。它通过驻留在Visual C++ 开发环境内部的自动调试处理程序来加速应用程序的开发，缩短产品发布的时间。BoundsChecker 对于编程中的错误，大多数是 C++中特有的提供了清晰的详细的分析。它能够检测和诊断出在静态，堆栈内存中的错误以及内存和资源泄漏问题。在运行状态下，BoundsChecker 验证超过 8,700 APIs 和 OLE 方法，包括最新的 Windows APIs, ODBC,ActiveX，DirectX, COM 和 Internet APIs。
6、FailSafe
FailSafe是Visual Basic语言环境下的自动错误处理和恢复工具，FailSafe将插入额外的代码对你的程序进行插装，当程序执行时，FailSafe通过这些插装的代码捕获、记录错误信息
7、CodeAnalyzer
CA基于Java开发，Java Swing的模式支持系统跨平台运行；支持C、C++、Java等多种编程语言扫描；支持windows平台、linux平台、命令行环境、IDE环境。规则包含国军标5369，国军标5369（C++），Java sun 编程规范，Java sun 安全规则等。CA是根据预定的规则对代码进行扫描分析，检查代码是否符合编码规范和各种规则，查找可能的错误，无需编写测试用例可以实现自动化测试，节省大量的人力。CA支持对源代码进行解析，得到代码的控制流程图，通过对流程图进行代码走查，实现代码级的测试覆盖，轻松实现XUnit单元测试模块的构建。CA还可以通过时间设定，只检验更新的代码，提高效率。
通过上面的讲述，想必大家对于这些工具已经有了一定的了解，在这些工具当中，最受小编喜爱的是CodeAnalyzer，它可以实现静态分析、代码走查、代码规范检查以及代码潜在错误分析等。
推荐阅读：
Java静态代码扫描怎么做？Java静态代码扫描工具的使用方法
为什么要做白盒测试？哪些项目适合白盒测试？
为什么要进行代码检查？静态代码分析工具的优势有哪些
什么情况下需要进行静态程序分析?常用Java静态代码分析工具的优势
代码审查和代码走查的区别及代码审查在软件开发生命周期中的作用
常用Java静态代码分析工具的分析与比较
如何进行代码审查？代码审查工具都有哪些？
sales@spasvo.com
