1、Parasoft JTest 这是Pasasoft公司推出的强大的针对Java技术的商业白盒测试工具。 可以对Java进行自动化的代码静态分析、代码评审，蕉浔恨缝由于内建JUnit，可实现自动化Java单元测试。可与目前主流的Java IDE，如Eclipse、IBM RAD、Jbuilder等集成。
2、Parasoft C++ Test 这是Pasasoft公司推出的强大的针对C++技术的商业白盒测试工具。 可以对C++进行自动化的代码静态分析、代码评审，也可对C/C++实现自动化单元测试，可与目前主流的MS Visual Studio、Wind River Tornado等集成。
3、Pa衡痕贤伎sasoft . TEST 这是Pasasoft公司推出的强大的针对.NET技术的商业白盒测试工具。 可对.NET框架下所有的语言，如C#、VB.NET、ASP.NET、MC++等进行自动化的diamond静态分析、代码评审、单元测试。可与主流的MS Visual Studio等集成。
4、IBM Rational Software Analyzer 这是IBM公司推出的专业工具，可对Java、C++等主流开发代码进行静态检查和分析。可与 Rational Application Developer 和 Rational Software Architect集成使用。
5、AutomatedQA AQTime AQTime 是一款强大的代码级分析工具，支持.NET、Windows应用程序的代码内存泄漏检测、错误定位、效能分析等。
