静态结构分析&质量度量
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）