测试工具:winAMS,casePlayer2嵌入式软件单元测试

1、语句覆盖法 C0

程序中的每个可执行语句至少被执行一次。

语句覆盖能发现语句错误

优化可能会导致C1满而C0不满

2、分支/判定覆盖 C1
程序中的每个判定的取真分支和取假分支至少执行一次。

分支/判定覆盖能发现逻辑错误

只有if分支没有else也会导致C0满，但是C1不满，通常优化后可以满足

3、条件覆盖 C2

程序每个判定中每个条件的可能取值至少满足一次。

4、复合条件MCDC

A||B||C必须都满足，MCDC才会满足

caseplayer2：静态解析

[制作的说明书]
・流程图・模块（函数）说明书・模块结构图・模块（函数）表・structure说明书，structure表 

[根据静态解析制作的说明书]
・外部变量表・typedef表・#define表・外部变量参照表・函数参照表・structure参照表・structure成员参照表

winAMS：

采用通用便利的CSV文件管理函数测试时使用的输入输出数据。测试结束后，输出的测试结果和输出的期待值也将以相同的格式显示在CSV文件之中。