[软件工程]白盒测试组合，判断，条件，语句覆盖详解

Nancy是宝藏:
大家好我是up主！应有的小伙伴的要求，把文档上传到百度云了！ 链接: https://pan.baidu.com/s/1P-BjrzeQIaYGuqJ6yXQtCg 密码: r8b8

corgi-God:
那个or判断不应该有一个对就是TRUE吗，怎么整的和and一样啊

【回复】我想你也是和我一样想到编程的实际操作去了。因为这是条件组合覆盖，要考虑到每种条件组合都有一遍，你说的那个其实是判定覆盖的思路，判定覆盖只要判定结果都过一遍。 如果是实际运行，确实由于惰性求值根本就不会执行后半段了，可能这是说理论上的吧[思考]，总之up讲的结果和书上的一样，应该没错。
【回复】回复 @真心生活 :or的惰性求值遇到第一个为false，会接着判断。第一个为true，才会因为惰性求值不判断下一个了
【回复】回复 @我yuzu :or不是有真全真？and才是有假全假
洗灬尽:
声音很好听，嘿嘿明天考试，救我狗命[doge]

Ｍｙａｉ:
太可爱了吧，听课听着听着跟着笑了[惊喜]