软件测试实用教程——方法与实践(第2版)——参考答案 ch05.docx

《软件测试实用教程——方法与实践(第2版)——参考答案 ch05.docx》由会员分享，可在线阅读，更多相关《软件测试实用教程——方法与实践(第2版)——参考答案 ch05.docx（2页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第5章白盒测试技术一、给定以下代码，请以判定表达式为测试重点，选择合适的覆盖指标设计测试 用例。boolTestLogicCoverage(boola,boolb,boolc) (lboolx=false;2if(a|b)&c)3x=tu;4else5x=false;6returnx(判定我达式只有一个.为：(a|b)&c.有3个判定条件这里将我达式分成2部分来介,先6a|b.再行先行a|b.对于这个表达式.由a与b影响这个表达式.得到的结果 如下：测试用例IDaba|bPD-F-1TTPD-F-2TFTPD-F-3FTTPD-F-4FFF发中可以看出测试用例2和4可以体现a对(a|b)的影响

2、,用例3和4可 以体现b对(a|b)的影响,用例1与其他比较不能价出a或b时(a|b)的 影响,测试用例1是冗余的修正后：再件(a|b)&c,对于这个丧达式.由(a|b)与c影响这个&达式.从 而影响题中的x,将(a|b)育成二个整体得到的结果如F：测试用例2c(a|b)&cXPD-N-1TTTTPD-N-2TFFFPD-N3FTFFPD-N-4FFFF赛中可以看出测试用例1和3可以体现(a|b)对(a|b)&c的影响.用例表中可以材出濯或用例1和3可以体现用例 1和2可以体用c时(训|b)&c世影g.用例4jK他比较不优旨HQ|b) 或c4(a|b)&c的影响.测试用例4是工余的修止后：符我

3、1和我2整合在 起PD-S-3TFTFFPD-S-4FTTFFPD-S-5FFFTF测试用倒2a|b_c(a|b)&6rcXPD-N-1TTTPD-N-2TFFFPD.N-3FTFF二、当判定表达式具有3个简单逻辑判断条件时，所有可能构成的表达式形式如 表5. 36所示。请针对下表中的4种组合情况，分别采用修正的判定/条件覆盖指 标设计测试用例。ABCAAND(BANDC)AAND(BORC)AOR(BANDC)AOR (BORC)TTTTTTTTTFFTTTTFTFTTTTFFFFTTFTTFFTTFTFFFFTFFTFFFTFFFFFFF三、请针对佣金问题代码进行基路径测试。连通路径：18

4、-15+2=5测试用例LockStockBarrel路径Casel80901001ABC2Case21010101ABDEFG2Case31020301ABDEHIG2Case42020301ABDEHJKG2Case57080901ABDEHJLM2四、请用反证法证明独立路径之间是线性无关的。线性无关是触代教主的重要:可题,它被广泛地应用于抽象的和泛函分析中,有关线性无关的许多问题都可用反证法解决.例1设A是线性空间V上的线性变换，如果A ）=,但4（4）= ,求证J, A（J）,，线性无关.证明假设4，A&），A* i（4）线性相关，则存在不全为零的数使得AC+，1A（。）+ +&ta1（。）= 0 .假设是不等于零的系数中下标最小的一个，则有）+心嗔*）+ +71Ale）=0.等式两端同作变换A 2,得/ 1（4）+ + V J） = 0由/=。，得以1（为=0,从而4=0,这Y