《软测-为三角形程序开发判定条件覆盖和条件组合覆盖的测试用例.docx》由会员分享，可在线阅读，更多相关《软测-为三角形程序开发判定条件覆盖和条件组合覆盖的测试用例.docx（3页珍藏版）》请在三一文库上搜索。
1、1.为三角形程序开发判定/条件覆盖和条件组合覆盖的测试用例。1)判定/条件覆盖对于第一个判定 a0&b0&c0:条件a0取真值记为T1 ,取假值记为-T1条件b0取真值记为T2,取假值记为-T2条件c0取真值记为T3,取假值记为-T3对于第二个判定(a+bc)&(a+cb)&(b+ca ):条件a+bc取真值记为T4,取假值记为-T4条件a+cb取真值记为T5,取假值记为-T5条件b+ca取真值记为T6,取假值记为-T6测试用例执行路径覆盖条件覆盖 分支a0 b0 c0a+bc a+cb b+ca123457T1、 T2、 T3、 T4 、 T5、 T657a0 b0 c0a+c=b a+b=
2、c b+c=a123467T1、T2、T3、-T4、-T5、-T6467a=0 b=0 cb a+bc b+ca12367-T1、-T2、-T3、T4、T5、T6367注人XIR2的值2.对下面的流程图用逻辑覆盖法设计测试用例(至少三种)出x3的假1).语句覆盖：语句覆盖可以保证程序中的每个语句都得到执行。测试用例输入为： x1=3、x2=0 输出x3=0 ,程序执行的路径是：123456782.判定覆盖：测试用例输入为： x1=2、x2=1输出x3=0 ,程序执行的路径是：123578;测试用例输入为： x1=3、x2=0 输出x3=0 ,程序执行的路径是：12345678.3).条件覆盖对于第一个判定(x1=3)or(x21):条件x1=3取真值记为T1,取假值记为-T1条件x21取真值记为T2,取假值记为-T2对于第二个判定(x12)and(x2=0):x3=il-*3条件x12 取真值记为T3,取假值记为-T3条件x2=0 取真值记为T4,取假值记为-T4测试用例执行路径覆盖条件覆盖 分支x1=3、x2=21234578T1、T2、T3、-T434x1=4、x2=01235678-T1、-T2、-T3、T456