软件测试技术：静态白盒测试.pptVIP

其他检查软件是否使用其他外语？是否处理扩展ASCII字符？是否需要用统一编码取代ASCII？软件是否要移植到其他编译器和CPU，具有这样做的许可吗？如果没有计划或者测试，那么，移植性可能成为一个大难题。是否考虑了兼容性，以使软件能够运行于不同数量的可用内存，不同的内部硬件，例如图形卡和显卡，不同的外设，例如打印机和调制解调器？程序编译是否产生“警告”或者“提示”信息？这些信息通常指示进行了有疑问的处理。纯粹主义者可能认为警告信息是不可接受的。总结静态白盒测试被证实是早期发现软件缺陷最有效的方法。但这是一项需要大量准备工作才能有成效的任务，但是许多研究表明花费的时间与得到的好处相比是值得的.动态白盒测试与单元测试回顾：静态白盒测试基本概念在不执行软件的条件下有条理地仔细审查软件的设计、体系结构和代码，从而找出软件缺陷的过程，有时也称为结构化分析原因尽早发现软件错误;为黑盒测试人员提供建议方式：正式审查：1.确定问题2.遵守规则3.准备期间4.编写报告方法：互查、走查、会议评审动态白盒测试检查代码并观察运行状况.利用查看代码（做什么）和实现方法(怎么做)得到的信息来确定哪些需要测试、哪些不要测试、如何开展测试又称为结构化测试(structraltesting)*不执行代码白盒测试发现缺陷不执行代码解决缺陷测试与调试明确概念调试动态白盒测试内容直接测试底层函数、过程、子程序和库。以完整程序的方式从顶层测试软件。但是根椐对软件运行的了解调整测试用例；从软件获得读取变量和状态信息的访问权，以便确定测试与预期结果是否相符，同时强制软件以正常难以实现的方式运行;估算执行测试时“命令”的代码量和具体代码，然后调整测试，去掉多余的测试用例，补充遗漏的用例.白盒测试期望达到的目的所有独立路径至少都能测试一遍；所有逻辑判断都能测试True和False两条路径；所有循环结构都能测试到边界和循环域内的情况；确保内部数据结构的有效性。白盒测试主要方法3-1逻辑覆盖测试法3-2基本路径测试法3-3循环路径覆盖法3-1逻辑覆盖测试法语句覆盖判定覆盖条件覆盖判定/条件覆盖条件组合覆盖路径覆盖逻辑覆盖测试法语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每种条件下的语句都应该被执行。逻辑覆盖测试法判定/条件覆盖同时满足判定覆盖和条件覆盖条件组合覆盖每个判定中，各条件的每一种组合至少出现一次。路径覆盖程序中每一条可能的路径至少执行一次。*案例代码Line1:voidDoWork(intx,inty,intz)Line2:{Line3:intk=0,j=0;Line4:if((x3)(z10))Line5:{Line6:k=x*y-1;//语句块1Line7:j=sqrt(k);Line8:}Line9:if((x==4)||(y5))Line10:{Line11:j=x*y+10;//语句块2Line12:}Line13:j=j%3;//语句块3Line14:}*辅助方法－流程图x3z10x==4||y5入口语句块1语句块2语句块3出口abcde画出模块的流程图发现问题辅助设计测试用例*语句覆盖－设计用例测试用例输入为：{x=4、y=5、z=5}x3z10x==4||y5入口语句块1语句块2语句块3出口abcde程序执行的路径是：abd*分支/判定覆盖测试用例的输入为：{x=4、y=5、z=5}{x=2、y=5、z=5}x3z10x==4||y5入口语句块1语句块2语句块3出口abcde程序执行的路径是：abd程序执行的路径是：ace*条件覆盖－设计用例x3z10x==4||y5入口语句块1语句块2语句块3出口abcdeT1和－T1T2和－T2T3和－T3T4和－T4*条件覆盖－设计用例测试用例的输入为：{x=4、y=6、z=5}{x=2、y=5、z=5}{