文档介绍：软件测试方法和技术 第2版 第3章软件测试的方法
第3章软件测试的方法
白盒测试方法
黑盒测试方法
静态测试和动态测试
主动测试和被动测试
形式化测试方法
基于风险的测试
模糊测试方法
ALAC测试和随机测试方法
方法论和具体方法
从方法论看,更多体现了一种哲学的思想,例如辩证统一的方法,在测试中有许多对立统一体,如静态测试和动态测试、白盒测试和黑盒测试、自动化测试和手工测试等。
软件测试的方法论来源于软件工程的方法论,例如有面向对象的开发方法,就有面向对象的测试方法;有敏捷方法,就有和敏捷方法对应的测试方法。
黑盒子和白盒子
功能测试
数据驱动测试
结构测试
逻辑驱动测试
客户需求
事件驱动
输入
输出
静态的和动态的
主持人
作者
记录员
列席人员
内审员
技术专业人员
用户代表
不正式
正式
互审走读审查会议
运行程序
自动测试和手工测试
手工模拟用户操作
语句覆盖
判定覆盖
条件覆盖
判定条件覆盖
条件组合覆盖
路径覆盖
基本路径测试法
白盒测试方法
逻辑覆盖:以程序的内部逻辑结构为基础,分为语句覆盖、判定覆盖、判定-条件覆盖、条件组合覆盖等
基本路径测试:在程序控制流程的基础上,分析控制构造的环路复杂性,导出基本可执行路径集合,从而设计测试用例。
语句覆盖
语句覆盖法的基本思想是设计若干测试用例,运行被测程序,使程序中的每个可执行语句至少被执行一次
如果是顺序结构,就是让测试从头执行到尾
如果有分支、条件和循环,需要利用下面的方法,执行足够的测试覆盖全部语句
判定覆盖
判定覆盖法的基本思想是设计若干用例,运行被测程序,使得程序中每个判断的取真分支和取假分支至少经历一次,即判断真假值均曾被满足。
一个判定往往代表着程序的一个分支,
所以判定覆盖也被称为分支覆盖。