软件测试复习04：动态测试——黑盒测试

作者：非妃是公主
专栏：《软件测试》
个性签：顺境不惰，逆境不馁，以心制境，万事可成。——曾国藩

等价划分法

• 等价类：一个几何，其中所有输入样例都是等价的。
• 有效等价类：合法输入的等价类。
• 无效等价类：非法输入的等价类。

边值分析法

选择等价类的边缘值作为测试用例，让每个等价类的边界都得到测试，选择测试用例既考虑输入亦考虑输出。

错误推测法

• 定义：靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。
• 基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。
• 例如：线性表排序算法
  • 输入的线性表为空表；
  • 表中只含有一个元素；
  • 输入表中所有元素已排好序；
  • 输入表已按逆序排好；
  • 输入表中部分或全部元素相同。

因果图法

• 把输入条件视为“因”，把输出条件视为“果”， 将黑盒看成是从因到果的网络图
• 采用逻辑图的形式来表达功能说明书中输入条件的
• 各种组合与输出的关系。
• 根据这种关系可选择高效的测试用例。
• 因果图是一种形式化语言，是一种组合逻辑网络图。

最终得到的是因果表，因果图只是为了更加清晰地进行逻辑运算！

示例

例如，有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：

1. 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
2. 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币

原因、中间状态如下：

结果状态如下：

可以看到是对输入条件进行了排列组合，因果图如下：

因果图中各符号定义如下：

习题