备考软件评测师，其中一道白盒测试用例的题目有点疑问，想请教大家。

helle

根据这个图，看供选答案中各属于什么逻辑覆盖。
其中答案1和2的组合分别是：
（1）x=90,Y=90;x=70,Y=70
（2）x=90,Y=70;x=70,Y=90
答案是（1）不符合任何一种覆盖；（2）符合条件覆盖。

我的解题方法是：
对于（1）选项：
                   符合X=90,Y=90的后面打(√);
                    符合 x=70,Y=70的后面画(◎)

所有判定条件的所有可能如下：
1：x>=80√   x<80◎
     y>=80√   y<80◎
2: x>=90√   x<90◎
    y>=75√   y<75◎
3: x>=75√   x<75◎
    y>=90√   y<90◎

对于（2）选项：
             符合x=90,Y=70后面打(√);
             符合x=70,Y=90后的后面画(◎)

所有判定条件的所有可能如下：
1：x>=80√   x<80◎
     y>=80 ◎  y<80√
2: x>=90√   x<90◎
    y>=75◎   y<75√
3: x>=75√   x<75◎
    y>=90◎   y<90√


按照我的解题方法，每一种的所有可能都走倒了，2个答案都满足条件覆盖了。为什么书上说（1）不满足条件覆盖呢？

想请教大家我的解题方法是否有问题呢？

独角兽妹妹

原帖由 young_sai 于 2009-4-27 12:02 发表

恩，俺代楼主说声谢谢了
关于条件覆盖的有点小疑问
因为程序中使用AND时，前面不成立就不考虑后面的；对于OR，前面成立就不考虑后面；
那么在判断条件覆盖时要不要这样考虑了
忘记了
应该是不这样考虑吧
请知 ...

要考虑的，不要用程序的方式去看，以数学的解题思路去看。呵呵！我现在也糊涂了，不知道怎么弄

young_sai

答案二无论如何都不能满足X+Y>=140不成立时的情况

young_sai

原帖由 独角兽妹妹 于 2009-4-24 16:00 发表
这个博客对白盒覆盖测试概念的介绍我个人认为不错，您可以看看http://hi.baidu.com/minicode/blo ... d51a1001e92825.html
因为图可能打不开，我用WORD给你画了一个图。
如果有用记得说声谢谢。

恩，俺代楼主说声谢谢了
关于条件覆盖的有点小疑问
因为程序中使用AND时，前面不成立就不考虑后面的；对于OR，前面成立就不考虑后面；
那么在判断条件覆盖时要不要这样考虑了
忘记了
应该是不这样考虑吧
请知情者出来解答
谢谢了

young_sai

答案一第一组：只能满足第一次判断YES分支；
答案一第二组：满足第一次判断NO分支，第二次判断NO分支；所以没办法覆盖第二次判断YES分支

独角兽妹妹

这个博客对白盒覆盖测试概念的介绍我个人认为不错，您可以看看http://hi.baidu.com/minicode/blo ... d51a1001e92825.html
因为图可能打不开，我用WORD给你画了一个图。
如果有用记得说声谢谢。

[ 本帖最后由 独角兽妹妹 于 2009-4-24 16:05 编辑 ]

yzylion

请问图在哪里呢