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