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

等价划分法

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

边值分析法

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

错误推测法

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

因果图法

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

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

示例

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

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

原因、中间状态如下

结果状态如下

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

因果图中各符号定义如下

习题