1.Parasoft JTest
這是Pasasoft公司推出的強大的針對Java技術的商業(yè)白盒測試工具。
可以對Java進行自動化的代碼靜態(tài)分析、代碼評審，由于內建JUnit，可實現(xiàn)自動化Java單元測試?？膳c目前主流的Java IDE，如Eclipse、IBM RAD、Jbuilder等集成。
2.CodeAnalyzer
CodeAnalyzer（簡稱CA)是上海澤眾軟件科技有限公司自主研發(fā)的專業(yè)代碼質量管理的代碼審查軟件，用于實現(xiàn)靜態(tài)分析、代碼走查、代碼規(guī)范檢查以及代碼潛在錯誤分析的白盒測試工具，它是一種脫離編譯器的代碼靜態(tài)分析軟件產品。
3.Parasoft C++ Test
這是Pasasoft公司推出的強大的針對C++技術的商業(yè)白盒測試工具。
可以對C++進行自動化的代碼靜態(tài)分析、代碼評審，也可對C/C++實現(xiàn)自動化單元測試，可與目前主流的MS Visual Studio、Wind River Tornado等集成。
4.Pasasoft.TEST
這是Pasasoft公司推出的強大的針對.NET技術的商業(yè)白盒測試工具。
可對.NET框架下所有的語言，如C#、VB.NET、ASP.NET、MC++等進行自動化的diamond靜態(tài)分析、代碼評審、單元測試。可與主流的MS Visual Studio等集成。
5.IBM Rational Software Analyzer
這是IBM公司推出的專業(yè)工具，可對Java、C++等主流開發(fā)代碼進行靜態(tài)檢查和分析?？膳c Rational Application Developer 和 Rational Software Architect集成使用。
6.AutomatedQA AQTime
AQTime 是一款強大的代碼級分析工具，支持.NET、Windows應用程序的代碼內存泄漏檢測、錯誤定位、效能分析等。
sales@spasvo.com
