功能测试基础之数据测试

功能测试基础之数据测试

---

前言

软件测试功能测试是基础，未尝见过一个熟知自动化测试和测试开发及性能测试的人员不懂软件功能测试的，即便不懂，也不可能做好自动化测试和测试开发及性能测试工作。为什么呢？因为功能测试是一切测试的基础，一个软件程序的基本功能如果不满足，就谈不上性能等指标。而且功能测试还是一个培养测试思维的过程，软件系统如何测试，随机测试的理念虽然有被提出并发展，但也是建立在功能测试基础上的。包括功能测试的一般流程是怎样的，测试用例如何编写，如何写出高效并实用的测试用例，如何使用测试管理工具管理测试需求，测试用例和测试结果，如何描述发现的bug，如何与业务人员和开发人员及上级经理沟通，这些，都有助于培养测试行业思维。目前，BAT三巨头软件测试面试时提出的一些设计功能测试用例的案例，无论对于招聘功能测试人员还是自动化，性能，测试开发人员，测试用例的设计，几乎是面试必考的知识点，准确的说考的就是测试思维，看你如何进行测试，通过你对于测试用例的设计，可以发现你的测试底润，既你是否掌握了基础的功能测试方法。
功能测试方法有界面测试，数据测试，操作测试，流程测试和接口测试，其中数据测试又包括等价类划分、边界值分析、因果图分析、功能图、错误推测方法、判定表驱动、正交分解，数据测试关注点。

---

一、等价类划分

定义

等价类划分法是把所有可能的输入数据，即程序的数据数据集合划分成若干个子集（即等价类），然后从每一等价类中选取有代表意义的数据作为测试用例。

---

划分等价类

进行等价类划分一般分两个步骤： 分类和抽象。 分类：就是将输入源按相同特性或者类似功能进行分类 抽象：就是在各个子类中抽象出相同特性并用实例来表征这个特性 例如：对一个实数开平方 可以把测试数据分为正实数、负实数、0三个等价区间，每个等价区间的一个测试数据产生的测试结果都可以代表每个等价类的测试结果。 在进行等价类划分时，不但要考虑有效等价类划分，还要考虑无效等价类划分，只有这两种情况全都考虑并进行测试，才能充分验证软件的容错处理，使软件更稳定和可靠 有效等价类：指输入完全满足程序输入的规格说明，是由有效且有意义的输入数据所构成的集合。利用有效等价类可以检验程序是否满足规格说明所规定的功能和性能。 无效等价类：和有效等价类相反，即不满足程序输入要求或者由无效的输入数据构成的集合。

---

划分等价类的方法

等价类的划分后的集合所有子集的“并”是整个集合：保证测试的完备性。 等价类的划分后的集合所有子集互不相交：避免测试的冗余。 同一等价类标示一个测试用例：同一等价类中，往往处理相同，相同处理映射到“相同的执行路径”。

---

划分等价类的标准

1. 在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类。如：输入值是学生成绩，范围是0～100。
2. 在输入条件规定了输入值的集合或者规定了"必须如何"的条件的情况下,可确立一个有效等价类和一个无效等价类。
3. 在输入条件是一个布尔量的情况下,可确定一个有效等价类和一个无效等价类。
4. 在规定了输入数据的一组值（假定n个）,并且程序要对每一个输入值分别处理的情况下,可确立n个有效等价类和一个无效等价类。
例：输入条件说明学历可为专科、本科、硕士、博士四种之一，则分别取这四种这四个值作为四个有效等价类，另外把四种学历之外的任何学历作为无效等价类。
5.在规定了输入数据必须遵守的规则的情况下,可确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。
6. 在确知已划分的等价类中各元素在程序处理中的方式不同的情况下,则应再将该等价类进一步的划分为更小的等价类。

---

设计测试用例

在确立了等价类后,可建立等价类表,列出所有划分出的等价类输入条件：有效等价类、无效等价类，然后从划分出的等价类中按以下三个原则设计测试用例： 为每一个等价类规定一个唯一的编号； 设计一个新的测试用例,使其尽可能多地覆盖尚未被覆盖地有效等价类,重复这一步，直到所有的有效等价类都被覆盖为止； 设计一个新的测试用例,使其仅覆盖一个尚未被覆盖的无效等价类,重复这一步，直到所有的无效等价类都被覆盖为止。

---

实例分析

.NextDate 函数包含三个变量：month、 day 和 year ，函数的输出为输入日期后一天的日期。 例如，输入为 2010年3月 7日，则函数的输出为 2010年3月8日 。要求输入变量 month 、 day 和 year 均为整数值，并且满足下列条件：
①1≤month≤12
②1≤day≤31
③1920≤year≤2050
　　1)有效等价类为：
M1＝{月份：1≤月份≤12}
D1＝{日期：1≤日期≤31}
Y1＝{年：1812≤年≤2012}
　　2)若条件 ① ~ ③中任何一个条件失效，则 NextDate 函数都会产生一个输出，指明相应的变量超出取值范围，比如 "month 的值不在 1-12 范围当中 " 。显然还存在着大量的 year 、 month 、 day 的无效组合， NextDate 函数将这些组合作统一的输出： " 无效输入日期 " 。其无效等价类为：
M2＝{月份：月份<1}
M3＝{月份：月份>12}
D2＝{日期：日期<1}
D3＝{日期：日期>31}
Y2＝{年：年<1812}
Y3＝{年：年>2012}
弱一般等价类测试用例
月份 日期 年 预期输出
6 15 1912 1912年6月16日

月份 日期 年 预期输出
6 15 1912 1912年6月16日
强一般等价类测试用例同弱一般等价类测试用例
　　注：弱–有单缺陷假设；健壮–考虑了无效值
　　(一)弱健壮等价类测试
　　 用例ID 月份 日期 年 预期输出
WR1 6 15 1912 1912年6月16日
WR2 -1 15 1912 月份不在1～12中
WR3 13 15 1912 月份不在1～12中
WR4 6 -1 1912 日期不在1～31中
WR5 6 32 1912 日期不在1～31中
WR6 6 15 1811 年份不在1812～2012中
WR7 6 15 2013 年份不在1812～2012中
　　(二)强健壮等价类测试
用例ID 月份 日期 年 预期输出
SR1 -1 15 1912 月份不在1～12中
SR2 6 -1 1912 日期不在1～31中
SR3 6 15 1811 年份不在1812～2012中
SR4 -1 -11912 两个无效一个有效
SR5 6 -1 1811 两个无效一个有效
SR6 -1 15 1811 两个无效一个有效
SR7 -1 -11811 三个无效

---

二、边界值测试方法

定义

边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。

---

与等价划分的区别

边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。
边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。

---

边界值分析方法的思考

长期的测试工作经验告诉我们，大量的错误是发生在输入或输出范围的边界上，而不是发生在输入输出范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。
使用边界值分析方法设计测试用例，首先应确定边界情况。通常输入和输出等价类的边界，就是应着重测试的边界情况。应当选取正好等于，刚刚大于或刚刚小于边界的值作为测试数据，而不是选取等价类中的典型值或任意值作为测试数据。

---

常见的边界值

对16-bit 的整数而言 32767 和 -32768 是边界
屏幕上光标在最左上、最右下位置
报表的第一行和最后一行
数组元素的第一个和最后一个
循环的第 0 次、第 1 次和倒数第 2 次、最后一次

---

边界值分析

边界值分析使用与等价类划分法相同的划分，只是边界值分析假定错误更多地存在于划分的边界上，因此在等价类的边界上以及两侧的情况设计测试用例。
　　例：测试计算平方根的函数
　　--输入：实数
　　--输出：实数
　　--规格说明：当输入一个0或比0大的数的时候，返回其正平方根；当输入一个小于0的数时，显示错误信息"平方根非法-输入值小于0"并返回0；库函数Print-Line可以用来输出错误信息。
等价类划分：
　　I.可以考虑作出如下划分：
　　a、输入 (i)<0 和 (ii)>=0
　　b、输出 (a)>=0 和 (b) Error
　　II.测试用例有两个：
　　a、输入4，输出2。对应于 (ii) 和 (a) 。
　　b、输入-10，输出0和错误提示。对应于 (i) 和 (b) 。
边界值分析：
划分(ii)的边界为0和最大正实数；划分(i)的边界为最小负实数和0。由此得到以下测试用例：
　　a、输入 {最小负实数}
　　b、输入 {绝对值很小的负数}
　　c、输入 0
　　d、输入 {绝对值很小的正数}
　　e、输入 {最大正实数}
通常情况下，软件测试所包含的边界检验有几种类型：数字、字符、位置、重量、大小、速度、方位、尺寸、空间等。
相应地，以上类型的边界值应该在：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、 最短/最长、 空/满等情况下。
利用边界值作为测试数据
项 边界值 测试用例的设计思路
字符 起始-1个字符/结束+1个字符 假设一个文本输入区域允许输入1个到255个 字符，输入1个和255个字符作为有效等价类；输入0个和256个字符作为无效等价类，这几个数值都属于边界条件值。
数值 最小值-1/最大值+1 假设某软件的数据输入域要求输入5位的数据值，可以使用10000作为最小值、99999作为最大值；然后使用刚好小于5位和大于5位的 数值来作为边界条件。
空间 小于空余空间一点/大于满空间一点 例如在用U盘存储数据时，使用比剩余磁盘空间大一点（几KB）的文件作为边界条件。
内部边界值分析：
　　在多数情况下，边界值条件是基于应用程序的功能设计而需要考虑的因素，可以从软件的规格说明或常识中得到，也是最终用户可以很容易发现问题的。然而，在测试用例设计过程中，某些边界值条件是不需要呈现给用户的，或者说用户是很难注意到的，但同时确实属于检验范畴内的边界条件，称为内部边界值条件或子边界值条件。
　　内部边界值条件主要有下面几种：
　　a) 数值的边界值检验：计算机是基于二进制进行工作的，因此，软件的任何数值运算都有一定的范围限制。
项 范围或值
位（bit） 0 或 1
字节（byte） 0 ~ 255
字（word） 0~65535（单字）或 0~4294967295（双字）
千（K） 1024
兆（M） 1048576
吉（G） 1073741824
　　 b) 字符的边界值检验：在计算机软件中，字符也是很重要的表示元素，其中ASCII和Unicode是常见的编码方式。下表中列出了一些常用字符对应的ASCII码值。
字符 ASCII码值 字符 ASCII码值
空 (null) 0 A 65
空格 (space) 32 a 97
斜杠 ( / ) 47 Z 90
0 48 z 122
冒号 ( ) 58 单引号 ( ‘ ) 96
@ 64

---

边界值测试方法选择测试用例的原则

1) 如果输入条件规定了值的范围,则应取刚达到这个范围的边界的值,以及刚刚超越这个范围边界的值作为测试输入数据。
　　例如，如果程序的规格说明中规定：“重量在10公斤至50公斤范围内的邮件，其邮费计算公式为……”。作为测试用例，我们应取10及50，还应取10.01,49.99,9.99及50.01等。
　　2) 如果输入条件规定了值的个数,则用最大个数,最小个数,比最小个数少一,比最大个数多一的数作为测试数据。
比如，一个输入文件应包括1~255个记录，则测试用例可取1和255，还应取0及256等。
　　3) 将规则1）和2）应用于输出条件，即设计测试用例使输出值达到边界值及其左右的值。
　　例如，某程序的规格说明要求计算出"每月保险金扣除额为0至1165.25元"，其测试用例可取0.00及1165.24、还可取一0.01及1165．26等。
　　再如一程序属于情报检索系统，要求每次"最少显示1条、最多显示4条情报摘要"，这时我们应考虑的测试用例包括1和4，还应包括0和5等。
　　4) 如果程序的规格说明给出的输入域或输出域是有序集合,则应选取集合的第一个元素和最后一个元素作为测试用例。
　　5) 如果程序中使用了一个内部数据结构,则应当选择这个内部数据结构的边界上的值作为测试用例。
　　6) 分析规格说明,找出其它可能的边界条件。

---

实例分析

NextDate函数的边界值分析测试用例
　　在NextDate函数中，隐含规定了变量mouth和变量day的取值范围为1≤mouth≤12和1≤day≤31，并设定变量year的取值范围为1912≤year≤2050 。
　　

---

三、因果图分析方法

定义

是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

---

因果图法产生的背景

等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。
如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。

---

因果图介绍

1) 4种符号分别表示了规格说明中的4种因果关系。
2) 因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。
3) Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。Ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。

---

因果图概念

> 1) 关系
　　① 恒等：若ci是1，则ei也是1；否则ei为0。
　　② 非：若ci是1，则ei是0；否则ei是1。
　　③ 或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。
　　④ 与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。
　 2) 约束
　　输入状态相互之间还可能存在某些依赖关系，称为约束。例如, 某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中,用特定的符号标明这些约束。

A.输入条件的约束有以下4类：
　　① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
　　② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
　　③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
　　④ R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。
B.输出条件约束类型
　　输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。
　　

---

实战练习

1. 某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。
　　解答：
　　1) 根据题意，原因和结果如下：
　　原因：
　　1——第一列字符是A；
　　2——第一列字符是B；
　　3——第二列字符是一数字。
　　结果：
　　21——修改文件；
　　22 ——给出信息L；
　　23——给出信息M。
　　2) 其对应的因果关系表和因果图如下：
　　11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。
　　
3) 根据因果图建立判定表。
按条件的各种组合情况产生对应的动作。原因1和原因2不能同时成立，故可排除这种情况。从判定表可设计出测试用例：表中1表示存在，相反则为0，6个测试用例是所需的数据。

表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。表的最下一栏给出了6种情况的测试用例，这是我们所需要的数据。
　　2. 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
　　1) 分析这一段说明，列出原因和结果
　　原因：
　　1.售货机有零钱找
　　2.投入1元硬币
　　3.投入5角硬币
　　4.押下橙汁按钮
　　5.押下啤酒按钮
　　结果：
　　21.售货机〖零钱找完〗灯亮
　　22.退还1元硬币
　　23.退还5角硬币
　　24.送出橙汁饮料
　　25.送出啤酒饮料
　　2) 画出因果图，如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点：
　　11. 投入1元硬币且押下饮料按钮
　　12. 押下〖橙汁〗或〖啤酒〗的按钮
　　13. 应当找5角零钱并且售货机有零钱找
　　14. 钱已付清

　3) 转换成判定表：
　
4) 在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。第16列与第32列因什么动作也没做，也删去。最后可根据剩下的16列作为确定测试用例的依据。

---

四、功能图

一个程序的功能说明通常由动态说明和静态说明组成。动态说明描述了输入数据的次序或转移的次序。静态说明描述了输入条件与输出条件之间的对应关系。对于较复杂的程序，由于存在大量的组合情况，因此，仅用静态说明组成的规格说明对于测试来说往往是不够的。必须用动态说明来补充功能说明。功能图方法是用功能图FD 形式化地表示程序的功能说明，并机械地生成功能图的测试用例。 功能图模型由状态迁移图和逻辑功能模型构成。状态迁移图用于表示输入数据序列以及相应的输出数据。在状态迁移图中，由输入数据和当前状态决定输出数据和后续状态。逻辑功能模型用于表示在状态中输入条件和输出条件之间的对应关系。逻辑功能模型只适合于描述静态说明，输出数据仅由输入数据决定。测试用例则是由测试中经过的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成。功能图方法其实是是一种黑盒白盒混合用例设计方法。
　　（功能图方法中，要用到逻辑覆盖和路径测试的概念和方法，其属白盒测试方法中的内容。逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计方法。该方法要求测试人员对程序的逻辑结构有清楚的了解。由于覆盖测试的目标不同，逻辑覆盖可分为:语句覆盖，判定覆盖，判定-条件覆盖，条件组合覆盖及路径覆盖。下面我们指的逻辑覆盖和路径是功能或系统水平上的，以区别与白盒测试中的程序内部的。）
　　1、功能图
　　功能图由状态迁移图和布尔函数组成。状态迁移图用状态和迁移来描述。一个状态指出数据输入的位置（或时间），而迁移则指明状态的改变。同时要依靠判定表或因果图表示的逻辑功能。例，一个简化的自动出纳机ATM的功能图。
　　2、测试用例生成方法
　　从功能图生成测试用例，得到的测试用例数是可接受的。 问题的关键的是如何从状态迁移图中选取测试用例。 若用节点代替状态，用弧线代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。问题就转化为程序的路径测试问题（如白盒测试）问题了。
　　3、测试用例生成规则
　　为了把状态迁移（测试路径）的测试用例与逻辑模型（局部测试用例）的测试用例组合起来，从功能图生成实用的测试用例，须定义下面的规则。在一个结构化的状态迁移（SST）中，定义三种形式的循环:顺序，选择和重复。但分辨一个状态迁移中的所有循环是有困难的。（其表示图形省略）。
　　4、从功能图生成测试用例的过程
　　1)生成局部测试用例:在每个状态中，从因果图生成局部测试用例。局部测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成。
　　2)测试路径生成:利用上面的规则（三种）生成从初始状态到最后状态的测试路径。
　　3)测试用例合成:合成测试路径与功能图中每个状态中的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合。
　　5、测试用例的合成算法:采用条件构造树。

---

五、错误推测方法

定义

推测法主要依赖经验、直觉来做出简单的判断甚至是猜测，给出可能产生缺陷的条件和场景，来进行测试设计。

---

错误推测方法的基本思想

列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例。
 例如, 输入数据和输出数据为0的情况；输入表格为空格或输入表格只有一行。 这些都是容易发生错误的情况。可选择这些情况下的例子作为测试用例。
 例如，前面例子中成绩报告的程序，采用错误推测法还可补充设计一些测试用例
　　I.程序是否把空格作为回答
　　II. 在回答记录中混有标准答案记录
　　III.除了标题记录外，还有一些的记录最后一个字符即不是2也不是3
　　IV.有两个学生的学号相同
　　V. 试题数是负数。
 再如，测试一个对线性表（比如数组）进行排序的程序，可推测列出以下几项需要特别测试的情况：
　　I.输入的线性表为空表；
　　II. 表中只含有一个元素；
　　III.输入表中所有元素已排好序；
　　IV.输入表已按逆序排好；
　　V. 输入表中部分或全部元素相同。
　　<hr style=" border:solid; width:100px; height:1px;" color=#000000 size=1">

六、判定表驱动分析方法

定义

判定表是分析和表达多逻辑条件下执行不同操作的情况的工具。

---

判定表的优点

能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用判定表能够设计出完整的测试用例集合。
据处理问题当中，某些操作的实施依赖于多个逻辑条件的组合，即：针对不同逻辑条件的组合值，分别执行不同的操作。判定表很适合于处理这类问题。

---

“阅读指南”判定表

---

“阅读指南”判定表

1)条件桩（Condition Stub）：列出了问题得所有条件。通常认为列出的条件的次序无关紧要。
2)动作桩（Action Stub）：列出了问题规定可能采取的操作。这些操作的排列顺序没有约束。
3)条件项（Condition Entry）：列出针对它左列条件的取值。在所有可能情况下的真假值。
4)动作项（Action Entry）：列出在条件项的各种取值情况下应该采取的动作。

---

规则及规则合并

1)规则：任何一个条件组合的特定取值及其相应要执行的操作称为规则。在判定表中贯穿条件项和动作项的一列就是一条规则。显然,判定表中列出多少组条件取值,也就有多少条规则,既条件项和动作项有多少列。
2)化简：就是规则合并有两条或多条规则具有相同的动作，并且其条件项之间存在着极为相似的关系。

---

规则及规则合并举例

1)1)如下图左端，两规则动作项一样，条件项类似，在1、2条件项分别取Y、N时，无论条件3取何值，都执行同一操作。即要执行的动作与条件3无关。于是可合并。“－”表示与取值无关。

2)与上类似，下图中，无关条件项“－”可包含其他条件项取值，具有相同动作的规则可合并。

化简后的读书指南判定表

---

判定表的建立步骤（根据软件规格说明）

1)确定规则的个数.假如有n个条件。每个条件有两个取值（0,1）,故有2n种规则。
2)列出所有的条件桩和动作桩。
3)填入条件项。
4)填入动作项。等到初始判定表。
5)简化.合并相似规则（相同动作）。

---

实战演习

1.问题要求：”……对功率大于50马力的机器、维修记录不全或已运行10年以上的机器，应给予优先的维修处理……” 。这里假定，“维修记录不全”和“优先维修处理”均已在别处有更严格的定义 。请建立判定表。
解答：
①确定规则的个数：这里有3个条件，每个条件有两个取值，故应有222=8种规则。
②列出所有的条件茬和动作桩：

③填入条件项。可从最后1行条件项开始，逐行向上填满。如第三行是： Y N Y N Y N Y N，第二行是： Y Y N N Y Y N N等等。
④填入动作桩和动作顶。这样便得到形如图的初始判定表。

⑤化简。合并相似规则后得到图。

2.NextData函数的精简决策表
M1＝{月份， 每月有30天}
M2＝{月份， 每月有31天}
M3＝{月份， 2月}
有29＝512条规则
D1＝{日期，1～28}
12月末31日和其它31
D2＝{日期，29}
日月份的31日处理不同
D3＝{日期，30}
平年2月28日处理不同
D4＝{日期，31}
于2月27日
Y1 ＝{年：年是闰年}
Y2 ＝{年：年不是闰年}
改进为
M1＝{月份： 每月有30天}
M2＝{月份： 每月有31天， 12月除外}
M4＝{月份：12月}
M3＝{月份： 2月}
D1＝{日期：1<=日期<=27}
D2＝{日期：28}
D3＝{日期：29}
D4＝{日期：30}
D5＝{日期：31}
Y1 ＝{年：年是闰年}
Y2 ＝{年：年不是闰年}
输入变量间存在大量逻辑关系的NextData决策表

3.用决策表测试法测试以下程序：该程序有三个输入变量month、day、year（month、day和year均为整数值，并且满足：1≤month≤12和1≤day≤31），分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上隔一天的日期。
例如，输入为2004年11月29日，则该程序的输出为2000年12月1日。
1)分析各种输入情况，列出为输入变量month、day、year划分的有效等价类。
2)分析程序规格说明，结合以上等价类划分的情况给出问题规定的可能采取的操作（即列出所有的动作桩）。
3)根据（1）和（2），画出简化后的决策表。
案例分析如下：
1)month变量的有效等价类：
M1: {month=4,6,9,11}
M2: {month=1,3,5,7,8,10}
M3: {month=12}
M4: {month=2}
2)day变量的有效等价类：
D1:{1≤day≤26}
D2: {day=27}
D3: {day=28}
D4: {day=29}
D5: {day=30}
D6: {day=31}
3)year变量的有效等价类：
Y1: {year是闰年}
Y2:{year不是闰年}
4)考虑各种有效的输入情况，程序中可能采取的操作有以下六种：
a1: day+2
a2: day=2
a3: day=1
a4: month+1
a5: month=1
a6: year+1
4.判定表在功能测试中的应用
1)一些软件的功能需求可用判定表表达得非常清楚，在检验程序的功能时判定表也就成为一个不错的工具。如果一个软件的规格说明指出：
I.当条件1和条件2满足，并且条件3和条件4不满足，或者当条件1、3和条件4满足时，要执行操作1。
II.在任一个条件都不满足时，要执行操作2。
III.在条件1不满足，而条件4被满足时，要执行操作3。 根据规格说明得到如下判定表：

这里，判定表只给出了16种规则中的8种。事实上，除这8条以外的一些规则是指当不能满足指定的条件，执行3种操作时，要执行1个默许的操作。在没必要时，判定表通常可略去这些规则。但如果用判定表来设计测试用例，就必须列出这些默许规则（如下表）。

2)判定表的优点和缺点
I.优点：它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。
II.缺点：不能表达重复执行的动作，例如循环结构。
3)B. Beizer 指出了适合使用判定表设计测试用例的条件：
①规格说明以判定表形式给出,或很容易转换成判定表。
②条件的排列顺序不会也不影响执行哪些操作。
③规则的排列顺序不会也不影响执行哪些操作。
④每当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则。
⑤如果某一规则得到满足要执行多个操作,这些操作的执行顺序无关紧要。
B. Beizer提出这5个必要条件的目的是为了使操作的执行完全依赖于条件的组合。其实对于某些不满足这几条的判定表，同样可以借以设计测试用例，只不过尚需增加其它的测试用例罢了。

---

七、正交实验设计方法

遇到输入组合的问题，可以采用正交分析表法，也称正交试验设计法解决。如果要设计全面的案例覆盖所有可能的因素组合情况，工作量将难以估计，这使全面测试的可能性变得很低。这时就需要考虑采取有代表性的因素组合，选取因素组合点，设计合理的测试案例。
正交设计仅是从全面测试中选取有代表性的组合点设计案例的数学方法。正交分析表法是研究处理多因素、多水平试验的一种科学方法。使试验点分布均匀，整齐可比，又能减少试验次数。
因素：对软件运行结果有影响的软件运行条件。一般指软件的输入以及其他软件运行的环境。这些因素可以通过需求分析说明书、概要设计、详细设计等文档进行分析获得。
水平：每一个因素可以处于不同的状态，即可以采用不同取值，这些取值就是因素的水平。
例如，操作型管理信息系统需要考虑机构级别，需要考虑机构内用户角色分级等。这里有两个因素：机构级别和用户角色。机构级别因素有四个水平：总行、一级分行、二级分行、支行。用户角色因素有三个水平：系统管理员、操作员和主管。
正交表：正交表是一整套规则的设计表格，例如L9(34)，它表示需作9次实验，最多可观察4个因素，每个因素均为3水平。一个正交表中也可以各列的水平数不相等，我们称它为混合型正交表，如L8(4×24) 此表的5列中，有1列为4水平，4列为2水平。
正交表具有以下两项性质：
(1)每一列中，不同的数字出现的次数相等。
(2)任意两列中数字的排列方式齐全而且均衡。
即“均匀分散，整齐可比”。通俗的说，每个因素的每个水平与另一个因素各水平各碰一次，这就是正交性。
正交试验设计法的基本步骤：
1、确定因素。根据软件需求，找出对系统结果有影响的各种因素，并按照因素的重要性对因素做一个初步的排序。
2、确定因素的取值范围或集合。因素的取值范围指软件输入的取值范围或集合。对于连续变化的因素，要找出其允许变化的范围，对于离散型的因素，找出所有的取值。
3、确定每个因素的水平。对于连续的因素，采用取样的方法从中挑选出一定数量点作为因素的水平，对于离散型的因素，其所有取值就是该因素的水平。根据因素的取值范围或集合，采用等价类划分法、边界值分析以及其他软件测试技术，在每个因素的取值范围或集合内挑选有效等价类、无效等价类、边界值等有代表性的测试点。对于用下拉框进行输入的字段，下拉框的所有取值构成了该因素的水平集合。
4、选择正交表。根据确定的因素和水平个数，选择合适的正交表。合适的正交表必须满足下面的条件：
①正交表的数码数与所确定的水平数完全一致。
②正交表的列数要大于或等于所确定的因素数。
③试验次数在可接受的范围内。
若试验条件允许或试验精度要求很高，则应尽量选择试验次数多的正交表；若试验次数受限制或没有合适的正交表，则应采用一个简便且可行的方法，即适当修改原定的因素和水平个数；对于混合水平的试验，如果有现成的混合水平正交表可用则直接套用，否则，采用拟水平法将其转化为另一个混合水平的正交试验或等水平正交试验。
5、设计测试用例。将所确定的因素与正交表中的列号对应，将所确定的水平与正交表中的数码数对应，填写正交表，增加期望值列。填写完成的正交表即可对应生成测试案例，正交表中每一行生成一个案例。
利用正交表设计测试案例举例：
在某应用系统中，系统登录界面如图所示：

用户名”、“密码”2个文本输入框，“确定”、“取消”2个按钮。
1、确定因素。4个因素“服务器”、“端口”、“用户名”、“密码”。
2、确定因素的取值范围和组合。本例中需求说明如下：
①“服务器”－北京、上海、广州、沈阳、兰州。
②“端口”－1258、2368、4588、6677、7788
③“用户名”字符型字段，长度（4，10），张三是一个合法用户；“密码”字符型字段，长度（6，10），888888是该用户的初始密码。
3、确定每个因素的水平。服务器和端口这两个因素取值是离散的，其水平值与因素的取值一致。用户名和密码两个字段由用户键盘输入，需要用等价类划分法和边界值法来确定。

4、选择正交表。根据本例因素水平选择正交表L25(56)中的前4列作为测试用例设计表。
L25（56）

5、设计测试用例。将因素水平对应正交表中的数码进行替换即可得到测试用例。

表中所示为替换了每个因素第一个水平的状态，依次替换各个因素的所有水平,最后填写各个组合的预期结果，即可完成测试案例的设计。

---

八、数据测试关注点

数据类型

常见数据类型：整型，浮点型，字符型，布尔型等。可用等价类方法对输入数据类型设计测试用例

数据长度

数据长度可能是固定长度或者是在某个范围内的长度，可用等价类和边界值方法对数据长度设计测试用例

数据一致性

组织数据测试该交易，在交易成功后分别去验证各个系统的数据保存是否一致，验证方法可以通过人工查询数据库相关的表或通过查询交易。

数据完整性

数据完整性包括三种，分别是是实体完整性、参照完整性以及用户定义的完整性约束，其中前两种完整性约束由关系数据库系统自动支持。
实体完整性约束要求关系的主键中属性值不能为空，这是数据库完整性的最基本要求，因为主键是惟一决定元组的，如为空则其惟一性就成为不可能的了。
参照完整性约束是关系之间相关联的基本约束，它不允许关系引用不存在的元组：即在关系中的外键要么是所关联关系中实际存在的元组，要么是空值。
自定义完整性是针对具体数据环境与应用环境由用户具体设置的约束，它反映了具体应用中数据的语义要求。
功能测试中主要关注用户自定义的数据完整性

常识性数据

常用的常识性数据参考如下：
1、性别的取值；
2、年龄的取值；
3、日期的格式、取值、长度，起止日期关系；
4、时间格式、取值、长度；
5、邮编格式、取值、长度；
6、电话的取值、长度等（包括手机号，固定电话号区号、电话号等）；
7、EMAIL的格式；
8、学历的取值；
9、婚姻状况的取值；
10、金额类型（输入为非数值型的数据）；
11、身份证号码（输入非法身份证号，看是否有校验）。

总结

很多0基础的同学发现对于功能测试的测试用例设计脑海中一片空白，功能测试基础之数据测试的等价类划分、边界值、因果图、功能图、错误推测、判定表、正交分解、数据测试关注点这些内容有助于培养测试用例设计思维，再也不用发愁没有设计测试用例的思路了。要把这些知识印在脑海中，应用的时候才会信手摘来。