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]覆盖,条件语句即可完成覆盖,因此,没必要为条件语句覆盖设计用例,未覆盖的条件语句不能点击。