C/C++单元测试工具Visual Unit 4在线帮助


白盒覆盖与标示
    VU支持语句、分支、路径、条件（值）、C/DC（判定条件覆盖）、MC/DC（修改判定条件覆盖），并用以下方式标示为覆盖的逻辑单位，如下图。
　
   

    未覆盖的语句、条件、MC/DC在代码窗口标示，未覆盖语句用带淡红色背景的红色字体表示，未覆盖的条件值和MC/DC在条件前用带淡红色背景的红色字体的[TFM]标示，T表示真值未覆盖，F表示假值未覆盖，M表示MC/DC未覆盖（即该条件未独立影响判定结果）。

    未覆盖的分支和路径，在路径图中标示，未覆盖分支为淡红色，未覆盖路径用红色画出。C/DC是判定和条件覆盖的组合，其中，未覆盖条件已在代码窗口标示，未覆盖判定则在路径图中由未覆盖分支间接表示。

    点击选中一个逻辑单位，用右键菜单选择“用例设计”，即可打开用例设计器，为选中单位设计对应的测试用例。覆盖顺序应由易到难，推荐顺序是：条件值、MC/DC、语句、分支、路径。

    条件的覆盖分为三个层次：最低层次是条件语句的覆盖、其次是真值和假值的覆盖、最高层次是MC/DC。由于完成了[T]或[F]覆盖，条件语句即可完成覆盖，因此，没必要为条件语句覆盖设计用例，未覆盖的条件语句不能点击。