等价类划分-NextDate问题

⿊盒测试《等价类划分》-有这篇就够了⼤家好，我是吉提。

在疫情消停不下来的2020年，既然不好跳槽，不好涨薪，也不好发挥创造⼒，那么就沉下⼼来，跟我⼀起，巩固软件测试基础知识。

积攒⼒量，蓄势待发。

本⽂将会详细描述“等价类划分"，它是⿊盒测试最基本的⽤例设计⽅法。

⽬录：1. 定义（What）2. 为什么使⽤该⽅法？（Why）3. 如何划分等价类？（How）4. 设计测试⽤例5. 使⽤场景6. 根据测试⽤例的完整性划分7. 等价类划分注意事项8. 等价类划分的优缺点9. 实战演练1. 定义（What）等价类划分法是⼀种典型的，并且是最基础的⿊盒测试⽤例设计⽅法。

采⽤等价类划分法时，完全不⽤考虑程序内部结构，设计测试⽤例的唯⼀依据是软件需求规格说明书。

所谓等价类，是输⼊条件的⼀个⼦集合，该输⼊集合中的数据对于揭⽰程序中的错误是等价的。

从每⼀个⼦集中选取少数具有代表性的数据，从⽽⽣成测试⽤例。

等价类⼜分为有效等价类和⽆效等价类。

有效等价类代表对程序有效的输⼊，⽽⽆效等价类则是其他任何可能的输⼊（即不正确的输⼊值）。

有效等价类和⽆效等价类都是使⽤等价类划分法设计⽤例时所必须的，因为被测程序若是正确的，就应该既能接受有效的输⼊，也能接受⽆效输⼊的考验。

2. 为什么使⽤该⽅法？（Why）理想的测试，是从所有可能的输⼊中找出某个⼩的⼦集，并且是可能发现错误最多的⼦集。

即：使⽤最少的测试数据，达到最好的测试质量（最⾼性价⽐）。

这个⼦集如何确定？可以借助测试⽤例的两个特性：测试⽤例数量达到最少；某个测试⽤例要能覆盖⼤部分其他测试⽤例。

第⼆个特性就暗⽰我们，应该尽量将程序输⼊范围进⾏划分，将其划分为有限数量的等价类，这样就可以合理地假设测试每个等价类的代表性数据等同于测试该类的其他任何数据。

这两种特性形成了称为等价类划分的⿊盒测试⽅法。

因此，等价类划分是⿊盒测试最基本的⽅法。

3. 如何划分等价类？（How）在给定了输⼊或外部条件之后，等价类的划分原则如下：如果输⼊条件规定了⼀个取值范围（例如，“数量可以是1到999”），那么就应确定出⼀个有效等价类（1<数量<999）,以及两个⽆效等价类（数量<1，数量>999）。

⿊盒测试⿊盒测试⼀第⼀课1. 实验⽬的理解墨盒测试的基本⽅法，掌握等价类划分法、边界值分析等测试⽤例的设计⽅法。

2.实验内容(1) 等价类划分⽅法1) 三⾓形问题等价类划分设计测试⽤例2) NextDate问题，对它的输⼊进⾏分析，划分等价类，然后根据等价类设计测试⽤例。

(2) 边界值和因果图1)NextDate问题⽤边界值分析法设计测试⽤例分析NextDate问题中的逻辑，⽤边界值分析法的思想设计测试⽤例。

2) 有⼀个处理单价为5⾓钱的饮料的⾃动售货机软件测试⽤例的设计。

其规格说明如下：若投⼊5⾓钱或1元钱的硬币，押下[橙汁]或[啤酒]的按钮，则相应的饮料酒送出来。

若售货机没有零钱找，则⼀个显⽰[零钱找完]的红灯亮，这时再投⼊1元硬币并押下按钮后，饮料不送出来⽽且1元硬币也退出来；若有零钱找，则显⽰[零钱找完]的红灯灭，在送出饮料的同时退还5⾓硬币。

⽤因果图法对⾃动售货机设计测试⽤例。

要求：(1) 1)必做(1) 2)与(2)1)2)选做其⼀3.实验准备(1)主流PC机⼀套，要求安装windows操作系统、Virtul Studio6.0、C++Test、java等⼯具；(1)理解等价类划分法、边界值分析法的思想，划分依据；(2)熟悉上述⽅法测试⽤例设计的理论4.实验步骤(1)三⾓形问题1) if (!(a+b<=c||a+c<=b||b+c<=a)&&(a>=1&&a<=100)&&(b>=1&&b<=100)&&(c>=1&&c<=100)) {if (a==b && a==c)MessageBox("等边三⾓形");else if (a==b || a==c || b==c)MessageBox("等腰三⾓形");elseM essageBox("⼀般三⾓形");}else {if(a<1||a>100)MessageBox("a不在范围内，不满⾜条件1,不能构成三⾓形");else if(b<1||b>100)MessageBox("b不在范围内，不满⾜条件2,不能构成三⾓形"); else if(c<1||c>100)MessageBox("c不在范围内，不满⾜条件3,不能构成三⾓形"); else if(a>=b+c)MessageBox("不满⾜aelse if(b>=a+c)MessageBox("不满⾜belse if(c>=b+a)MessageBox("不满⾜c}M essageBox("判断结束！");}2) 实验的输⼊和输出样式3) 测试⽤例设计⽤等价类分析法设计测试⽤例，按照下列步骤进⾏：⑴分析题⽬中给出的条件和隐含的输⼊要求，输⼊条件如下：①正整数②三个数③构成⼀般三⾓形④构成等腰三⾓形⑤构成等边三⾓形⑥不能构成三⾓形⑵根据输⼊条件的要求划分等价类，列出等价类表并编号，如下表:⑶设计测试⽤例，覆盖上表中的等价类，如下表：注：提⽰1（输⼊不符合要求）提⽰2（请输⼊数据）（2）(2) (2) NextDate问题⽤边界值分析法设计测试⽤例1）对于NextDate问题，分析它的输⼊限制；NextDate是⼀个有三个变量（⽉份、⽇期和年）的函数。

软件测试综合练习题一、名词解释题1、测试用例2、驱动模块3、回归测试4、静态测试5、桩模块6、强度测试7、软件测试8、自动化测试9、动态测试10、独立路径二、问答题1、软件测试涉及哪些关键问题？2、简述软件测试过程的流程。

3、为什么说软件测试必须有预期结果？4、什么是测试用例？5、简述黑盒测试和白盒测试概念，并试分析两者的优点和缺点。

6、采用白盒测试法设计测试用例时，常用的逻辑覆盖测试方法有哪几种？请简单描述各种方法的目的。

7、黑盒测试有哪几种方法？请简单描述各种方法的特点。

8、简析已学的各种黑盒测试方法的特点，并分析如何选择恰当的黑盒测试方法？9、简介WEB应用程序在压力下的常见错误类型。

10、单元测试的主要任务是什么?11、简述自顶向下增量式测试和自底向上增量式测试两种集成测试方法，并比较两者的优点和缺点。

12、简述在哪些测试模块中应优先考虑引入自动化测试？自动化测试可以带来哪些优点？13、在软件工程或软件测试中，哪些软件问题被称为软件缺陷？14、简述软件测试与软件开发各阶段的关系。

15、在测试实施之前，如何才能确定好的测试策略和测试方法？16、简述软件测试的目的和原则。

17、为什么在单元测试之后要进行集成测试？如何组织集成测试？18、当WinRunner识别完GUI对象后，会将GUI对象的属性储存在GUI Map File，WinRunner提供二种GUI Map File模式： GUI Map File per Test模式与Global GUI Map File模式。

（1）请比较这两种GUI Map File 模式的优点和缺点。

（2）请分别说明在这两种GUI Map File模式下，WinRunner可以通过哪些方式学习被测软件的GUI？19、介绍在 WinRunner 中GUI映射文件（GUI Map File）的作用。

20、什么是数据驱动脚本？简介在Winrunner中如何实现数据驱动脚本21、WinRunner 可以帮助用户自动处理从测试开发到测试执行的整个过程，可以创建可修改和可复用的测试脚本，而不用担心软件功能模块的变更。

1练习题1)软件的特点有哪些？1.软件是一种逻辑实体，具有抽象性。

硬件是有形的设备，而软件不像硬件那样具有明显的可见性。

人们可以把软件记录在介质上，但是却无法直观地观察到它的形态，而必须通过在计算机上实际地运行才能了解它的功能、性能及其他特性。

2.软件的生产与硬件的制造不同。

它更多地渗透了人类的智能活动，是人类智力劳动的产物。

软件是被开发或设计的，而不是传统意义上被制造的。

软件成本集中于开发上，这意味着软件项目不能像制造项目那样管理。

3.软件在运行使用过程中，不会磨损。

在软件的运行和使用期间，它不会产生像硬件那样的磨损和老化现象，然而却存在着缺陷维护和技术更新的问题。

软件不会磨损，但是它会退化，而软件的退化是由于修改。

因此，软件维护比硬件维护要复杂得多。

4.软件的开发至今尚未完全摆脱手工艺的开发方式。

在硬件世界，构件复用是工程过程的自然的一部分，而在软件世界，它是刚刚开始起步的事物。

虽然软件产业正在向基于构件的组装前进，但大多数软件仍是定制的。

5.软件的开发和运行必须依附于特定的计算机系统环境。

它不像有些设备一样，能够独立地工作，而是受到了物理硬件、网络配置、支撑软件等因素的制约。

由此引发了软件的可移植性问题。

2)软件危机是如何产生的？有哪些表现？原因：在20世纪60年代中期，随着软件规模的扩大，复杂性的增加，功能的增强，使得高质量的软件开发变得越来越困难。

表现：1.开发出来的软件产品不能满足用户的需求，即产品的功能或特性与需求不符。

这主要是由于开发人员与用户之间不能充分有效的交流造成的，使得开发人员对用户需求的理解存在着差异；2.相比越来越廉价的硬件，软件代价过高；3.软件质量难以得到保证，且难以发挥硬件潜能。

开发团队缺少完善的软件质量评审体系以及科学的软件测试规程，使得最终的软件产品存在着诸多缺陷；4.难以准确估计软件开发、维护的费用以及开发周期。

往往软件产品不能在预算范围之内，按照计划完成开发。

习题解答第三章黑盒测试及其用例1、NextDate函数（P28）请使用等价类划分法为NextDate函数列出输入域等价类表，并设计相应的测试用例。

解答：NextDate函数包含三个变量month、day和year，函数的输出为输入日期后一天的日期。

要求输入变量month、day和year均为整数值，并且满足下列条件：条件1 1≤month ≤12条件2 1≤day ≤31条件3 1912≤year ≤2050分析程序规格说明中给出和隐含的对输入条件的要求。

列出等价类表*年份：闰年、非闰年（1912≤year ≤2050）*月份：1-12月*天数：1、3、5、7、8、10、12（31天），4、6、9、11（30天），2（28或29）等价类表2、找零钱最佳组合（P47）假设商店货品价格(R) 都不大于100元（且为整数），若顾客付款(P)在100元内，现有一个程序能在每位顾客付款后给出找零钱的最佳组合（找给顾客货币张数最少）。

假定此商店的货币面值只包括：50元(N50)、10元(N10)、5元(N5)、1元(N1) 四种。

请结合等价类划分法和边界值分析法为上述程序设计出相应的测试用例。

解答：根据等价类划分法和边界值分析法的基本定义，得到下列基本认识：Step1．输入：商品价格R和顾客付款P有以下情况：R > 100 0 < R < = 100 R <= 0 P > 100 R<= P <= 100 P < RStep2．输出：N50 = 1 N50 = 0 4 > N10 >= 1 N10 = 0 N5 = 1 N5 = 0 4 > N1 >= 1 N1 = 0 Step3．分析规格中每一决策点之情形，以RR1, RR2, RR3 表示计算要找50, 10, 5 元货币数时之剩余金额。

R > 100R <= 0 P > 100 P < R RR1 >= 50 RR2 >= 10 RR3 >= 5Step4. 由上述之输入/ 输出条件组合出可能的情形。

实验二: 黑盒测试——等价类划分法【实验环境】Windows 10 操作系统，C，C++，C#、Java或Python语言开发环境（IDE）。

【实验类型】设计型【实验目的】1.认识黑盒测试方法中等价类划分测试方法原理2.掌握黑盒测试方法中等价类划分测试方法过程【实验内容】【实验材料】1.三角形问题问题描述：三角形问题接受三个整数，a、b和c作为输入，用作三角形的边。

程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、不等边三角形或非三角形。

作为输入：三角形的三条边必须满足如下条件：C1：1<=a<=100C2：1<=b<=100C3：1<=c<=100C4：a<b+cC5：b<a+cC6：c<a+b2.NextDate函数问题描述：NextDate是一个由三个变量（月份、日期和年份）的函数。

函数返回输入日期后边的那个日期。

作为输入：变量月份、日期和年都具有整数值，满足以下条件。

C1：1<=月份<=12C2：1<=日期<=31C3：1912<=年<=20503.佣金问题问题描述：前亚利桑那洲境内的一位步枪销售商销售密苏里州制造商制造的步枪机（lock）、枪托（stock）和枪管（barrel）。

枪机卖45美元，枪托卖30美元，枪管卖25美元。

销售商每月至少要售出一支完整的步枪，且生产限额是大多数销售商在一个月内可销售70个枪机、80个枪托和90个枪管。

每访问一个镇子后，销售商都给密苏里州步枪制造商发出一份很短的电报，通知几个枪机被售出。

这样步枪制造商就知道当月的销售情况，并计算销售商的佣金如下：不到（含）1000美元的部分为10%；1000（不含）~1800（含）美元的部分为15%；超过1800美元的部分为20%。

佣金程序生成月份销售报告，汇总售出的枪机、枪托和枪管总数，销售商的总销售额以及佣金。

一、等价类划分法实例：1.输入条件为某个范围的取值：例：在某大学学籍管理信息系统中，假设学生年龄的输入范围为16～40，则根据黑盒测试中的等价类划分技术，它的有效和无效等价类分别为？2.输入条件为输入值的集合：例：假设PowerPoint打印输出幻灯片的页数分别为{1，2，3，6，9}，则根据黑盒测试中的等价类划分技术，它的有效和无效等价类分别为？3．输入为BOOL变量，它的有效和无效等价类分别为？4．输入条件中由若干规则组成，其中各个规则都是独立的：例：一条输入的字符串中不能含有“#”和“&”两个特殊字符（其他字符都是合法的）的规则，它的有效和无效等价类分别为？5．输入条件由一个合法的规则组成：例：某个变量的取值必须为100，那么它的有效和无效等价类分别为？6．为输入条件的组合关系划分等价类：输入条件同时满足ｘ＞10和y<200两个判断表达式决定，那么它的有效和无效等价类分别为？二、边界值分析法实例：１．大小范围边界例：若10ｘ200，利用边界值分析法需要选择哪些测试数据？若10<x<200，利用边界值分析法需要选择哪些测试数据？2.极限边界当给出的整数是无限制范围时，它的边界便是整数的最大值和最小值。

例：16位的有符号整数，它的边界是？利用边界值分析法需要选择哪些测试数据？3.NextDate函数的边界值分析测试用例在NextDate函数中，隐含规定了变量month和变量day的取值范围为1≤month≤12和1≤day≤31，并设定变量year的取值范围为1912≤year≤2050。

利用边界值分析法选择测试数据进行测试用例设计，完成下表。

测试用例Test1Test2Test3Test4Test5monthdayyear预期输出Test6Test7……。

NextDate函数测试用例选择NextDate函数，是因为它可以说明输入定义域中的依赖性问题，这使得这个例子成为基于决策表测试的一个完美例子，因为决策表可以突出这种依赖关系。

从前面对等价类测试的分析我们知道，等价类分析假设所有的变量都是独立的。

如果变量确实是独立的，则使用类的笛卡尔积是有意义的。

如果变量之间在输入定义域中存在逻辑依赖关系，则这些依赖关系在笛卡尔积中就会丢失(说抑制可能更确切)。

决策表格式通过使用“不可能动作”概念表示条件的不可能组合，使我们能够强调这种依赖关系。

下面将对NextDate函数的决策表描述做三次尝试。

第一次尝试标识合适的条件和动作，假设首先从分析等价类集合开始。

M1 = {月份：每月有30天}； M2 = {月份：每月有31天}；M3 = {月份：此月是2月}D1 = {日期：1≤日期≤28}；D2 = {日期：日期=29}；D3 = {日期=30}；D4 = {日期=31}Y1 = {年：年是闰年}；Y2 = {年：年不是闰年}如果我们希望突出不可能的组合，则可以建立具有以下条件和动作的有限项决策表。

(请注意，年变量对应的等价类收缩为下表的一个条件。

)这个决策表会有256条规则，其中很多是不可能的。

如果要显示为什么这些规则是不可能的，可将动作修改为：a1：月份中的天数太多；a2：不能出现在非闰年中；a3：计算NextDate。

第二次尝试如果我们将注意力集中到NextDate函数的闰年问题上，则可以修改已有的等价类集合。

为了说明另一种决策表表示方法，这一次采用扩展项决策表开发，并更仔细地研究动作桩。

在构建扩展项决策表时，必须保证等价类构成输入定义域的真划分。

如果规则项之间存在“重叠”，则会存在冗余情况，使得多个规则都能够满足。

这里，Y2是一组1812～2012之间的年份，并除以4，2000除外。

M1 = {月份：每月有30天}； M2 = {月份：每月有31天}；M3 = {月份：此月是2月}D1 = {日期：1≤日期≤28}；D2 = {日期：日期=29}；D3 = {日期=30}；D4 = {日期=31}Y1 = {年：年=2000}；Y2 = {年：年是闰年}；Y3 = {年：年是平年}从某种意义上说，我们采用的是“灰盒”技术，因为更仔细地研究了NextDate函数。

等价类划分法测试⽤例设计举例⼀、基本概念等价类是指程序输⼊域的⼦集。

等价类划分（Equivalance Partitioning）测试的思想：将程序的输⼊域划分为若⼲个区域（等价类），并在每个等价类中选择⼀个具有代表性的元素⽣成测试⽤例。

该⽅法是常⽤的⿊盒（Blackbox Testing）测试⽤例（Testcase）设计⽅法。

⼀）划分等价类1.有效等价类与⽆效等价类等价类划分可有两种不同的情况:有效等价类和⽆效等价类。

有效等价类是指对于程序的规格说明来说是合理的、有意义的输⼊数据构成的集合，它能检验程序是否可以实现规格说明中所规定的功能需求。

⽆效等价类是指对程序的规格说明是不合理的或⽆意义的输⼊数据所构成的集合，它能检验程序在不符合规则的数据输⼊下，是否会有异常；⽆效等价类⾄少应有⼀个，也可能有多个，视具体情况⽽定。

因此，设计测试⽤例时,要同时考虑这两种等价类。

因为软件不仅要能接收合理的数据,也要能经受意外的考验，这样的测试才能确保软件具有更⾼的可靠性。

2.划分等价类的标准完备测试、避免冗余。

这就要求：集合（程序输⼊域）应划分为互不相交的⼀组⼦集，⽽这些⼦集的并集是整个集合（整个程序输⼊域）。

3.等价类的划分原则(1) 若输⼊条件规定了取值范围或值的个数的情况下，可划分为⼀个有效等价类和两个⽆效等价类；Eg.设置风控指标，其中权重设置范围在[-1000,1000](2) 若输⼊条件为布尔表达式，可划分为⼀真⼀假的有效等价类与⽆效等价类；Eg.设置产品信息，其中产品份额必填(3) 若规定了输⼊数据必须要遵循的原则，可划分为⼀个有效等价类（符合规则）和若⼲个⽆效等价类；Eg.系统的初始资⾦只可输⼊数字(4)若只要求输⼊数据符合某⼏个原则，这时可能存在多个有效类和若⼲个⽆效等价类；Eg. 交易⽤户登录密码只可输⼊数字、字母及部分特殊符号，不能输⼊单/双引号及汉字注：每个有效等价类所对应的⽆效等价类的并集是不符合输⼊原则的数据集合。

一、判断题（正确的“√”，错误的“╳”）2、测试程序仅仅按预期方式运行就行了。

(F )3、不存在质量很高但可靠性很差的产品。

(F )4、软件测试员可以对产品说明书进行白盒测试。

(F )5、静态白盒测试可以找出遗漏之处和问题。

( T)6、总是首先设计白盒测试用例。

(F )7、可以发布具有配置缺陷的软件产品。

(T )8、所有软件必须进行某种程度的兼容性测试。

(T )9、所有软件都有一个用户界面，因此必须测试易用性。

(F )10、测试组负责软件质量。

(F )11、软件测试按照测试过程分类为黑盒、白盒测试。

( F)12、在设计测试用例时，应包括合理的输入条件和不合理的输入条件。

( T)13、集成测试计划在需求分析阶段末提交。

(F )14、单元测试属于动态测试。

(F )15、缺陷跟踪系统只针对测试人员来使用。

(F )16、从用户软件开发者的角度出发，普遍希望通过软件测试暴露软件中隐藏的错误和缺陷，以考虑是否可接受该产品。

( F)17、项目立项前测试人员不需要提交任何工件。

( F)18、软件测试的目的是尽可能多的找出软件的缺陷。

( F)19、软件项目在进入需求分析阶段，测试人员应该开始介入其中。

(T )20、软件生存周期是从软件开始开发到开发结束的整个时期。

( F)21、单元测试能发现约80%的软件缺陷。

( F)22、数据流图和数据字典共同构成系统的逻辑模型。

(T )23、负载测试是验证要检验的系统的能力最高能达到什么程度。

(F )24、测试人员要坚持原则，缺陷未修复完坚决不予通过。

(T25、代码评审员一般由测试员担任。

( F)26、测试组负责软件质量。

(F )27、程序的效率与程序的复杂性相关。

(F )28、详细设计的目的是为软件结构图中的每一个模块确定使用的算法和块内数据结构，并用某种选定的表达工具给出清晰的描述。

(T ) 29、软件是一种逻辑实体，而不是具体的物理实体，因而它具有抽象性。

(T )30、测试程序仅仅按预期方式运行就行了。

第三章黑盒测试方法课后习题及答案1.黑盒测试中，测试人员和程序员应该相互独立。

解释其合理性。

答：黑盒测试是一种常见且常用的软件测试方法，它将被测软件看成是一个无法打开的黑盒，主要根据功能需求设计测试用例来完成软件的测试。

将测试人员与程序员相互独立可以以避免作者的偏见，并且通常更有效地发现缺陷和失败。

2.若测试机器学习程序，请设计出一些蜕变关系。

答：蜕变关系(Metamorphic Relation, MR)表示一组与模型算法中多对输入和输出相关的属性，3.如何识别等价类？运用示例给出解释。

答：识别等价类的六大原则：(1)如果一个输入条件规定了输入值的范围，那么可以得到3个等价类：一个有效等价类和两个无效等价类。

示例：规定输入值的范围是1〜99,如图所示，那么可以得到3个等价类：一个合法等价类｛1,…,99｝；两个非法等价类｛χ I x<l｝和｛x ∣x>99｝oI 99无效等价类-* -一~ A —无效等价类图：输入值范围(2)如果输入条件规定了一个输入值集合，并且集合中的每个元素处理起来都不同，那么为集合中的每个元素生成一个有效等价类，为集合之外的所有元素生成一个无效等价类。

示例：如果从具有N个元素的集合中选择输入，那么得到N+1个等价类。

为每个元素生成一个有效等价类｛Ml｝｛MN｝;生成一个包含集合之外所有元素的无效等价类｛x∣x团｛M1,...,MN｝｝.(3)如果处理每个有效输入的方式都不相同，那么为每个有效输入生成一个有效等价类。

示例：如果在一个菜单中选择菜单项作为输入，那么应该为每个菜单项定义—•个等价类。

(4)如果输入条件规定了有效输入的数量(假定为N),那么为正确的输入数量定义一个有效等价类，同时定义两个无效等价类。

(5)如果输入条件规定了必须满足的情形，那么生成两个等价类：一个为有效等价类；另一个为无效等价类。

示例：输入的第一个字符必须是一个数字，那么得到两个等价类一一个为有效等价类｛s∣s的第一个字符是数字｝；另一个为无效等价类｛s∣s的第一个字符不是数字｝。

判定表驱动和等价类划分在软件测试中的组合应用苏晶; 张冬梅【期刊名称】《《黑龙江科技信息》》【年(卷),期】2018(000)034【总页数】2页(P84-85)【关键词】判定表驱动; 等价类划分; 黑盒测试【作者】苏晶; 张冬梅【作者单位】山东理工大学山东淄博 255049【正文语种】中文【中图分类】TP311.5判定表是分析和表达多逻辑条件下执行不同操作情况下的工具，可将复杂的逻辑关系和多种条件组合情况表达得既具体又明确，能够将复杂问题按照各种可能的情况全部列举出来，简明并避免遗漏[1]，因此该方法具有较强的覆盖率和较好的测试效果。

但该方法在处理输入条件为非逻辑值的复杂问题时，会出现规则难以筛选、测试覆盖不均衡等问题，因此需要借助等价类划分法进行输入取值的科学选取，以提高测试的效率和有效性。

1 判定表驱动测试面临问题1.1 判定表驱动法简介[2]。

判定表驱动法适合处理多种输入条件组合产生多个动作，以及多个逻辑条件之间存在依赖关系的情况。

判定表通常由以下4个部分组成。

a.条件桩：列出问题的所有条件。

b.动作桩：列出问题规定可能采取的操作。

c.条件项：列出针对条件的取值和在所有可能情况下的真假值。

d.动作项：列出在条件项的各种取值情况下应该采取的动作。

任何一个条件组合的特定取值及其相应要执行的操作称为规则，反映在判定表中即为贯穿条件项和动作项的一列。

建立判定表包括以下5个基本步骤。

a.列举所有的条件桩和动作桩。

b.根据条件取值确定规则个数。

c.填入条件项和动作项，得到初始判定表。

d.合并相似规则或相似动作，生成最终判定表。

e.设计覆盖所有规则的测试用例。

1.2 判定表驱动测试的局限性。

当软件需求规格说明中的输入条件为逻辑值时，若有n个条件，则相应有2n条规则。

此时可根据输入条件数目及其间存在的约束关系，选择单独采用判定表驱动法或者结合因果图分析法完成问题分析和测试用例设计，两者均可实现对2n条规则的100%覆盖，测试效果良好。