1.Parasoft JTest
这是Pasasoft公司推出的强大的针对Java技术的商业白盒测试工具。
可以对Java进行自动化的代码静态分析、代码评审，由于内建JUnit，可实现自动化Java单元测试。可与目前主流的Java IDE，如Eclipse、IBM RAD、Jbuilder等集成。
2.CodeAnalyzer
CodeAnalyzer（简称CA)是上海泽众软件科技有限公司自主研发的专业代码质量管理的代码审查软件，用于实现静态分析、代码走查、代码规范检查以及代码潜在错误分析的白盒测试工具，它是一种脱离编译器的代码静态分析软件产品。
3.Parasoft C++ Test
这是Pasasoft公司推出的强大的针对C++技术的商业白盒测试工具。
可以对C++进行自动化的代码静态分析、代码评审，也可对C/C++实现自动化单元测试，可与目前主流的MS Visual Studio、Wind River Tornado等集成。
4.Pasasoft.TEST
这是Pasasoft公司推出的强大的针对.NET技术的商业白盒测试工具。
可对.NET框架下所有的语言，如C#、VB.NET、ASP.NET、MC++等进行自动化的diamond静态分析、代码评审、单元测试。可与主流的MS Visual Studio等集成。
5.IBM Rational Software Analyzer
这是IBM公司推出的专业工具，可对Java、C++等主流开发代码进行静态检查和分析。可与 Rational Application Developer 和 Rational Software Architect集成使用。
6.AutomatedQA AQTime
AQTime 是一款强大的代码级分析工具，支持.NET、Windows应用程序的代码内存泄漏检测、错误定位、效能分析等。
sales@spasvo.com
