作者：非妃是公主
专栏：《软件测试》
个性签：顺境不惰，逆境不馁，以心制境，万事可成。——曾国藩
文章目录
- 等价划分法
- 边值分析法
- 错误推测法
- 因果图法
- 示例
- 习题
等价划分法
- 等价类：一个几何，其中所有输入样例都是等价的。
- 有效等价类：合法输入的等价类。
- 无效等价类：非法输入的等价类。
边值分析法
选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。
错误推测法
- 定义：靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。
- 基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。
- 例如：线性表排序算法
- 输入的线性表为空表；
- 表中只含有一个元素；
- 输入表中所有元素已排好序；
- 输入表已按逆序排好；
- 输入表中部分或全部元素相同。
因果图法
- 把输入条件视为“因”，把输出条件视为“果”， 将黑盒看成是从因到果的网络图
- 采用逻辑图的形式来表达功能说明书中输入条件的
- 各种组合与输出的关系。
- 根据这种关系可选择高效的测试用例。
- 因果图是一种形式化语言，是一种组合逻辑网络图。
最终得到的是因果表，因果图只是为了更加清晰地进行逻辑运算！
示例
例如，有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：
- 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
- 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币
原因、中间状态如下：
结果状态如下：
可以看到是对输入条件进行了排列组合，因果图如下：
因果图中各符号定义如下：
习题
