软件测试技术04-动态测试-白盒测试.pptx

易禹2020/6/1,软件测试技术,第四讲：动态测试-白盒测试,最基本的白盒测试插桩法,2,printflogSystem.out.println在被测程序中插入操作（探测器），实现探查和监控的功能。功能：检查程序的走向、计数、中间变量、,基本概念,3,通过运行被测试程序，检查运行结果，分析其性能。组成部分；构造测试用例；运行程序；分析结果。,动态测试分类,4,单元测试：对软件的各个模块进行测试；集成测试：检查各单元之间的接口是否正确，非渐增和渐增式测试；组装测试：单元测试的扩展，若干个单元间数据传输测试；确认测试：对组装测试结果的检验，用户参与或主导的测试过程；系统测试：测试系统在真实条件下的运行情况（负载、安全、疲劳等等）。验收测试：购买者对软件的测试。,手动测试,“白盒”测试,5,与“黑盒”测试对应，在熟悉程序内部逻辑和结构设计的基础上进行的测试。测试内容：对程序所有独立执行路径进行一次测试；对所有逻辑判定的两种情形至少测试一次；在循环的边界和运行的边界限内执行循环体；测试内部数据结构的有效性。,“白盒”测试的目标,6,如果要测试下面的函数，需要构造哪些测试用例？范例程序：行1publicintfunc(inta,intb,intx)行2if(a1)行7,范例程序的流程图,7,逻辑覆盖的原则,8,是指在熟悉程序内部的逻辑结构基础上的测试方法，又可以细分为：语句覆盖保证每一条语句都至少执行一次；路径为ACE的测试用例（例如：a=2,b=0,x=3）；,逻辑覆盖的原则,9,缺点：覆盖不完整，忽略了IF语句为假的情况；没有测试IF语句的每一个逻辑表达式。“白盒”测试之判断覆盖保证每一个分支至少执行一次；如两个测试用例（ACD和ABE）,判断覆盖的缺点：覆盖程度不高。,“白盒”测试之条件覆盖,10,每个条件组合获得各种可能的结果；,“白盒”测试之条件覆盖,11,如果选用两个测试用例来覆盖：a=2,b=0,x=4,路径：ACE;a=1,b=1,x=1,路径：ABD;,判断覆盖vs.条件覆盖,12,判断覆盖关心判定表达式的结果，而条件覆盖关心每个表达式的取值，不关心整个判定表达式的最终值；判断覆盖不能涵盖条件覆盖，反之亦然。例如，下面的用例仅满足条件覆盖，不满足判断覆盖：a=2,b=0,x=1,路径：ACE;a=1,b=1,x=2,路径：ABE;,“白盒”测试之其他覆盖,13,判断/条件覆盖：判断中每个条件的所有取值至少执行一次，同时每个判断的所有结果至少执行一次。例如：路径：ACE和ABD就满足判断/条件覆盖。条件组合覆盖：各种条件组合至少出现一次，如判断(a1)行2if(ab)/交换a，b的值，保证b=a行3m=a;行4a=b;行5b=m;行6while(m!=0)行7m=a%b;行8a=b;行9b=m;行10returna;,“白盒”测试练习参考答案,24,圈复杂度3，独立路径和测试用例为：12610,无;12345678910,a=8,b=24;12678910,a=3,b=2;,白盒测试应用策略,25,一般策略：先静态后动态：覆盖率测试一般使用基本路径测试，重点模块可应用多种覆盖率标准；单元测试以代码检查、逻辑覆盖为主；集成测试再增加静态结构分析；系统测试中黑盒和白盒测试相结合。,覆盖测试工具EclEmma,26,Eclipsecommunityawards2008；免费、开源的Eclipse插件；EclEmma工作模式：通过颜色标记代码在运行代码中的语句的覆盖