CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编代码具有符合编程标准MISRA-C 1998……
CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试/集成测试工具全面支持嵌入式微机！验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具 不……
EC）,段覆盖（segmentcoverage）和基本块覆盖（bAS）。它度量每一个可执行语句是否被执行到了。icblockcoverageoverage· ……
