关于更改条件判定覆盖的一个例子想请教下大家！

静雪蝴

更改条件判定覆盖要满足两个标准；
1.程序模块的每个入口和出口都必须走一边，并且每个程序的判定结果至少覆盖一此
2.程序的判定分解布尔条件表达式，每个独立做出判断结果，覆盖所有条件
程序：
   begin

   {A1}

   if {XandY}  then

   {A2}

  else {A3}

  {A4}

  end
测试用例：
          X    Y   result
test1   T    T    T
     2    T    F    F
     3    F    T    F
     4    F    F    F

不懂之出；
我觉的这个程序不管用那个测试用例出口入口都走了一边从A1进A4出的，书上说执行test1,3满足标1，
但是我认为test1,2也满足的（入口出口都走了一边，结果真假也各覆盖一次的），不知道是不是的。
test1,2,3满足标1，2 可是test4呢？而且判定路径我不是很懂的，图看不懂的，所以这里面说
test1,3的DDP覆盖
是100%不是很清楚的

静雪蝴

恩，上面的例子和我的例子一样的，用软件真的很方便的，一测什么都知道了，我是新手以后还请大家多多关照啦！:)

VisualUnit

再来一张复杂的

VisualUnit

逻辑结构图来了

静雪蝴

呵呵，谢谢你的回答啦！我也和别人讨论了下 ，看看说的对不对sdlkfj2 。
test1，2    test1，3     test1，4  都是满足标1的，而test1，2，3满足标2，所以取一个最 下   的域test1，2，3 就是一个更改条件判定覆盖的最小用例了 。
而且按照标1，2的话，test1,2,3也正好满足的，test4在这里可以省掉的。但是如果在实际中，这个例子是不能省的，去掉了X,Y为F，F 这个没有测试到了。但是按符合更改条件判定覆盖的标准来说的话，test1,2,3 就足够了。不知道是不是这样说的。

fighting

看到这个题，我的想法是每种可能都要走一遍，Ｘ和Ｙ的可能组合就是上面提到的ｔｅｓｔ1，2，3，4。不过这样的方法不利于复杂的程序结构。如果判定条件非常多的话，这样就不可行。

楼主认为：test1,2也满足的（入口出口都走了一边，结果真假也各覆盖一次的）

我也认为确实是sdlkfj3
楼主可以画一个简单的流程图
这样结构就很清楚了

静雪蝴

sdlkfj9 ，怎么没人理我呀！大家讨论下嘛！