静态结构分析&质量度量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功能确认与接口测试Cantata（IPL）VectorCAST（VectorCAST）Rational RTRT（IBM）TestBed（LDRA）,覆盖率分析Cantata（IPL）VectorCAST（VectorCAST）Rational PureCoverage（IBM）CodeTest（Metrowerks）TrueCoverage（Compuware）TestBed（LDRA）性能分析Rational Quantify（IBM）CodeTest（Metrowerks）TrueTime（Compuware）内存分析Rational Purify（IBM）CodeTest（Metrowerks）BoundsChecker（Compuware）PolySpace（PolySpace）,
