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