静态结构分析&质量度量
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)
时间: 2024-11-10 19:02:19