第5讲 白盒测试 1

《第5讲 白盒测试 1》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第3讲白盒测试技术1软件工程吕敬钦创新大楼西楼403白盒测试黑盒SRS，手册白盒内部工作过程源代码单元测试程序结构集成测试清楚程序结构和源代码，按照内部的结构信息来展开测试白盒测试白盒测试的对象源代码查看代码的规范性，对照函数功能查找代码的逻辑缺陷、内存管理缺陷、数据定义和使用缺陷等。程序结构通过函数调用图、算法流程图等反映程序设计的相关图表，找到程序设计的缺陷，或者评价程序的执行效率，以利于程序的结构优化。白盒测试适用阶段当被测对象为函数时，主要关注的是函数源代码的逻辑是否符合该函数的功能要求查看源代码中是否存

2、在典型的编程缺陷从设计优化的角度观察源代码结构是否合理、是否过于复杂等对应的是单元测试阶段，主要由开发人员来完成白盒测试适用阶段当被测对象为功能时此时更多的是借鉴白盒测试方法的思想，完成对业务流程的覆盖测试对应的是集成测试甚至系统测试阶段，主要由测试人员来完成测试工作白盒测试静态白盒测试动态白盒测试判定测试静态白盒测试动态测试：设计用例和运行软件。静态测试：检查分析和审核各种设计文档，用自己的眼睛和脑筋来测试。静态黑盒测试静态白盒测试静态白盒测试静态黑盒测试：检查需求规格说明书，产品说明书等，认真查找里面的缺陷。

3、描述软件产品是比较困难的事情；需要处理许多不可预料的情况，接受众多不同方面的事项，并汇集在描述文档中，难免不会出问题。如QQ，微信等实践经验：理解说明书里的诸多为什么和怎么做，才能更好地进行细节检查；假设自己是客户；研究现有的标准和规范；研究类似软件。软件缺陷软件缺陷与测试某公司生产手机，开发应用软件“日历行程”测试员卓某测试时发现，电力不足以开机时，事件提醒无效，再次开机，无提示。特殊情况，在需求中并未有明确定义。这种bug也可以静态测试到静态白盒测试静态白盒测试有条理地，仔细审查软件设计、体系结构和源代码，从

4、而找出软件缺陷的过程。目的：尽早发现软件的缺陷，以找出动态黑盒测试难以发现或隔离的软件缺陷。开发初期，测试小组集中精力进行软件设计的审查非常有价值，降低返工成本。多由开发人员和测试员共同完成。白盒测试静态白盒测试动态白盒测试判定测试路径测试判定测试判定节点是最重要的程序结构之一，控制程序的走向判定节点导致程序的执行出现分支、形成复杂多变的路径P114条件判断语句循环复杂分支路径可能造成的缺陷：数据变量被错误的赋值，被分配的内存未及时释放等ifswitch判定测试小案例在某交换机产品的系统测试中，发现ISDN话机拨

5、打某新业务号码时，在特定线路上，若一位一位的拨至18位，不会有问题。但如果先拨完号码再成组发送，会导致系统死机。这是一个导致死机的致命问题，最后定位出问题所在：呼叫处理的某段代码判断有误，本应小于18的判断，错写成小于等于18。系统测试中所发现的，其实之前没有做单元测试，导致缺陷遗留到系统测试阶段。判定测试判定表达式中的，关系比较符号，常量等容易出错如可能错写为对不同的分支路径，也需要测试其处理或计算是否符合预期功能<≤≥判定测试隐含空间分配的缺陷若隐式分支情况涉及内存空间的分配和释放容易导致bug判定测试构成判

6、定节点的表达式可能是由多个简单逻辑条件结合多个与、或连接而成的复合式表达式的输入与输出形成复杂的逻辑关系，难以直接看出系统输出随输入变化的走向因此，需要分析判定表达式的构成，对表达式进行测试，以保证判定表达式本身符合程序设计的预期功能测试：通过遍历程序的逻辑结构来实现多种测试覆盖指标，度量测试覆盖代码的程度语句覆盖判定覆盖条件覆盖等判定测试一个案例4个简单判定条件T1:a>1T2:b<2T3:a==3T4:x>34条分支路径p1p2p3p4流程图>>4种路径情况：L13，L14，L23，L24两个节点均为隐式分支

7、情况，比较容易隐含缺陷判定测试语句覆盖测试：通过对程序逻辑结构的遍历来实现思路：设计测试用例时，应保证程序的每一条可执行语句至少执行一次。设计测试用例需要覆盖所有的节点，p1p3为隐式分支，没有语句，执行路径L24即可ID输入预期输出路径语句覆盖abCxxLC0131103L24100%LC0221307L24100%LC0330307L24100%L24要求T1T2都取true，T3T4中有1个取true，然后找一些满足以上取值的数据设计用例语句覆盖的测试用例少LC01-03任一都满足语句覆盖判定测试语句覆盖是

8、最弱的覆盖准则1)关注语句而非表达式如果代码出现下列错误：正确代码实际有错代码t1t2,t3t4>>即代码中，两个if里的&&与

9、

10、互换后LC03的路径仍是L24，仍满足语句覆盖，实际输出没有变化，与预期一致，这两个编码缺陷都发现不了。LC03a3b0c3x0判定测试又如正确的x>3实际错写为x<3，t3

11、

12、t4:1

13、

14、(1/0)都得1，也发现不了bugLC03a3b0c