软件测评类
Klocwork工具套件，Klocwork公司基于专利技术分析引擎开发的，综合应用了多种近年来最先进的静态分析技术，能够分析C、C++、Java代码，能够发现软件缺陷种类全面，既包括软件质量缺陷，又包括安全漏洞方面的缺陷。
C++test ，Parasoft公司的全球领先的自动化软件测试工具。自动测试任何使用C/C++开发的类、函数或部件，支持编码策略增强，静态分析，单元组装测试，能检查超过1500条业界有名的C/C++规则。
Testbed工具套件，专业软件测试技术与测试工具研发公司LDRA的旗舰产品，提供基本静态分析Main Static Analysis与动态覆盖率分析Dynamic Coverage Analysis。
Incisive Enterprise Simulator，Cadence公司推出的涵盖从系统级到门级的覆盖率驱动的功能验证、分析、纠错流程，支持验证环境自动生成的可编程逻辑验证工具。
