白盒测试的方法与输出值

Question

为什么a，b会＝false，c，d会＝true？按照原先函数的输出结果不应该是a和b为true，c或d为false吗？

Answer 1

你理解错了，图片中的意思用多少组测试用例能够实现语句覆盖、分支覆盖等这几种情况。
code_converage()函数接受4个参数。当a和b都为真时，输出True，当c和d有一个为真时，输出False。这个输出的具体内容其实可以不用管。
（1）语句覆盖
也就是覆盖代码的所有语句，即让两个print函数都执行。（也就是测试用例只要能让两个print输出即可，其他情况不管！！）
第一个if语句执行的条件是a和b都为真，即，a=true, b=true
第二个if语句执行的条件是c和d有一个为真，即c=true ,d=true/false（d=true或false都可以），或者 c=false/true,d=true。
所以用a=true, b=true，c=true, d=false可以覆盖所有的语句（也就是让代码中的所有代码都执行）
（2）分支覆盖
也就是能够测试到所有的分值即可（其他情况不管！！code_converage()函数共4个分支，也就是测试用例能覆盖这4个分支即可，不需要考虑所有情况！！）
a=true, b=true，c=true, d=false这一组，能够覆盖两个if 语句分支
a=true, b=false，c=false, d=false这一组，能够覆盖两个if语句对应的各自的else分支。
（3）条件覆盖
这个其实用分支覆盖的测试用例也可以，只要能覆盖所有的条件即可（测试用例不唯一，只要能覆盖所有条件即可）
a=true, b=true，c=true, d=true这一组，能够覆盖两个if条件
a=false, b=false，c=false, d=false这一组，能够覆盖两个if语句对应的各自的else条件。