清凉世界

静态结构分析&质量度量 Logiscope（Telelogic） McCabe IQ（McCabe） QAC（PR） Panorama（ISA） TestBed（LDRA） 代码检查  C++Test、JTest（Parasoft） RuleChecker（Telelogic） CodeView（Compuware） QAC（PR） PC-Lint（Gimpel） TestBed（LDRA 功能确

　　2003年第9期《程序员》上啄木鸟部落发文“测试工具的选择和使用”，现将其中的工具列表摘录，以备忘。 Parasoft白盒测试工具集 工具名 支持语言环境 简介 Jtest Java 代码分析和动态类、组件测试 Jcontract Java 实时性能监控以及分析优化 C++ Test C,C++ 代码分析和动态测试 CodeWizard C,C++ 代码静态分析 Insu

目    录 1 简介 0 1.1 代码覆盖率分析 0 1.2 结构化测试和功能测试（STRUCTURAL TESTING&FUNCTIONAL TESTING） 1 1.3 假定 1 2 基本的度量 1 2.1 语句覆盖（STATEMENT COVERAGE ） 1 2.2 判定覆盖（DECISION COVERAGE ） 2 2.3 条件覆盖（CONDITION COVERAGE ） 3 2.