1.Parasoft JTest
這是Pasasoft公司推出的強大的針對Java技術的商業白盒測試工具。
可以對Java進行自動化的代碼靜態分析、代碼評審，由于內建JUnit，可實現自動化Java單元測試?？膳c目前主流的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++等主流開發代碼進行靜態檢查和分析?？膳c Rational Application Developer 和 Rational Software Architect集成使用。
6.AutomatedQA AQTime
AQTime 是一款強大的代碼級分析工具，支持.NET、Windows應用程序的代碼內存泄漏檢測、錯誤定位、效能分析等。
sales@spasvo.com
