Parasoft Jtest
是第一个自动化Java单元测试工具。 Jtest自动测试任何Java类或部件，而不需要您写一个测试用例、驱动程序或桩函数。只要点击一个按钮，Jtest自动测试代码构造(白盒测试)、测试代码功能性(黑盒测试)、维护代码完整性(回归测试)和静态分析(编程标准执行和指标度量)。不需要复杂的设置，Jtest能够立即使用并指出问题。如果您使用“按合同设计”技术在代码中加入描述信息，Jtest能够自动建立和执行测试用例验证一个类的功能是否符合其功能描述。
网址：http://www.parasoft.com
Parasoft C++Test
是单元测试和静态分析工具，自动测试C和C＋＋类别、功能或组件，而无需编写单个测试实例、测试驱动程序或桩调用。只需点击按钮，C++Test即会采用业内编码标准执行代码的静态分析，测试代码构造(白盒测试)，测试代码功能性(黑盒测试)，并保持代码完整性(回归测试)。
网址：http://www.parasoft.com
Parasoft .TEST
是单元测试和静态分析工具，自动测试写在Microsoft?.NET框架的类别，而无需编写单个测试场景或桩调用。只需点击按钮，.TEST即会在.NET源代码上自动执行完整系列的静态和动态测试。.TEST RuleWizard性能通过图形化表达希望.TEST在自动编码标准执行过程中查找的模式，支持设计定制的编码标准。
网址：http://www.parasoft.com
Parasoft Insure++
是一个自动化的内存错误、内存泄漏的精确检测工具。Insure++能够可视化实时内存操作，准确检测出内存泄漏产生的根源。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。将Insure++集成到您的开发环境中，能够极大地减少调试时间并有效地防止错误。
网址：http://www.parasoft.com
Parasoft CodeWizard
是高级C/C++源代码分析工具，采用三百种以上行业相关的编码准则，自动识别编译器未检测到的危险的编码构造。CodeWizard可以容易地通过 RuleWizard性能，创建新定制的准则，或者抑制用于定制分析的准则。日常使用CodeWizard，可简化代码检查，并使代码更具可读性和可维护性。
网址：http://www.parasoft.com
DevPartner Studio Professional
是针对软件开发小组使用 Microsoft Visual C++，Microsoft Visual Basic，Java,ASP 或 HTML 设计的一套紧密配合的调试，测试和管理工具。该产品结合了强大的错误检测，性能分析，覆盖率分析，需求管理，测试和发布工具与全面的工程跟踪，错误管理，任务管理和自动的工作流程。DevPartner Studio Enterprise Edition 通过提高软件生产率，提高代码质量，支持工作流以及通讯标准让你对软件工程有更多的控制权。
网址：http://www.compuware.com
Rational Purify
是一个面向VC, VB或者Java开发的测试Visual C/C++ 和Java代码中与内存有关的错误，确保整个应用程序的质量和可靠性。在查找典型的Visual C/C++程序中的传统内存访问错误，以及Java中与垃圾内存收集相关的错误方面，Rational Purify可以大显身手。Rational Robot的回归测试与Rational Purify结合使用完成可靠性测试。
网址：http://www-306.ibm.com/software/rational/
Rational Quantify
是一个面向VC、VB 或者Java开发的测试性能瓶颈检测工具，它可以自动检测出影响程序段执行速度的程序性能瓶颈，提供参数分析表等等直观表格。帮助分析影响程序短执行速度的关键部分。
网址：http://www-306.ibm.com/software/rational/
Rational PureCoverage
是一个面向VC、VB或者Java开发的测试覆盖程度检测工具，它可以自动检测你的测试完整性和那些无法达到的部分。作为一个质量控制工程，可以使用PureCoverage在每一个测试阶段生产详尽的测试覆盖程度报告。
网址：http://www-306.ibm.com/software/rational/