判定表测试规范样本

合集下载

软件测试判定表测试法和测试

判定表设计步骤：
确定规则的个数
列出所有的条件桩和动作桩
填入条件项填入动作项，得到初始判定表简化判定表、合并相似规则（相同动作）
3
判定表测试法
某程序规定：“对总成绩大于450分，且各科成绩均高于85分或者是优秀毕业生，应优先录取，其余情况作其他处理”。请用判定表设计测试用例。 1. 建立判定表
b
1 4 2 5 ？？ 2 ？ 3 2 4
c
2 2 4 5 ？？ 3 ？ 2 2 5
预期输出
非三角形非三角形非三角形等边三角形不可能不可能等腰三角形不可能等腰三角形等腰三角形不等边三角形
18
a=b, a=c, b≠c
因果图测试法
因果图中包含四种关系：
恒等：若c1是1，则e1也是1；若c1是0，则e1为0。非：或：若c1是1，则e1是0；若c1是0，则e1是1。若c1或c2或c3是1，则e1是1；若c1、c2和c3都是0，
17
— — F
— — — T — — — T
C6：b = c? — — — T F a1: 非三角形 X X X a2: 不等边三角形 a3: 等腰三角形 a4: 等边三角形 X
用例ID
DT1 DT2 DT3 DT4 DT5 DT6 DT7 DT8 DT9 DT10 DT11
a
4 1 1 5 ？？ 2 ？ 2 3 3
动作桩
A1：进行优先处理
A2：作其他处理
7
判定表测试法
功率大于50马力吗
• （2）确定规则个数

维修记录不全吗运行超过10年吗
输入条件个数：3；每个条件的取值：“是”或“否”；规则个数：2*2*2 =8；

实验测试检查质量评分表模板

实验测试检查质量评分表模板
序号
项目
内容
评分标准
得分
1
样品
加工
1．样品的登记及编号；
2．样品加工符合Q=Kd2缩分公式；
3．样品加工缩分误差不得大于3%；
副样保存符合行业标准。
3
3
3
3
12
2
实验测试技术方法
1．符合国家标准或行业标准（新方法须按规定程序经过审批确认方可使用）；
2．准确度、精密度和检出线符合行业标准；
4
数据处理
1．数值修约、记数、运算、有效位数等按标准执行；
2．凡有4份以上测试结果者，除报出平均值外，还应报出不确定度，不确定度的位数一般为一位，最多不超过两位，平均值的位数与不确定度的位数相适应；
3．对不均匀样品的测试，应报出各单次测定的数据，不得任意取舍，并作出说明。
5
3
2ቤተ መጻሕፍቲ ባይዱ
10
5
原始记录
1．用钢笔或签字笔填写，字迹应工整、清晰；
3．测量仪器测量值的稳定性和报出数据的有效性。
12
12
6
30
3
质量监控
1．符合标准物质监控与双份分析监控、精密度监控与准确度监控并重和空白试验三者相结合的规定；
2．内检合格率达95%以上，外检合格率达90%以上；
3．测试仪器、标准溶液、基准物质、药品试剂及蒸流水须定期检定、校验和检验。
12
12
6
30
2．数字符号必须按我国法定计量单位规则填写；
3．所有条件参数、测试数据以及观察现象的记录，必须真实、准确、齐全；
4．要经三级以上审核，操作人员、审核人员均须在上面签字；
5．如有记错，应划改，不得涂改，并加盖划改人的图章；

因果图判定表综合示例1-自动售货机

一、测试项要求如下：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。

其规格说明如下：若投入5角钱或1元钱灯是亮的，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红二、分析以上要求，得出原因和结果：原因：1、售货机有零钱找2、投入1元钱3、投入5角钱4、选择橙汁5、选择啤酒结果：21、售货机“零钱找完”灯亮22、退还1元钱23、找回5角钱24、送出橙汁饮料25、送出啤酒饮料三、因果图如下：思路：逐个分析条件，看它与其它哪些条件之间有制约关系，都会影响哪些结果，把这种制约影响关系画出四个角度着手画因果图。

又由于条件1为真和为假时导致的结果不同，所以为真和为假两种情况下的因果图都要画出来，否因果图中出现的中间节点为：11、需要找回5角钱12、选择了橙汁或啤酒13、售货机能够找出5角钱14、钱已结清，可以送出饮料四、根据因果图画出判定表1、条件2、3不能同时为1123456789101有零钱找1111111111四、根据状态图完成判定表12=or(4,5)11=and(2,12)13=and(1,11)14=or(3,13)21=not(1)22=and(11,not(1))23=1324=and(4,14)五、将这16条规则分别转化测试用例其它用例略1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

当售货机没有零钱找，则一个显示〖零零钱找，则显示〖零钱找完〗的红灯不会亮，在送出饮料的同时退还5角硬币。

系画出来，直到所有条件都被分析、所有结果都被覆盖。

本例中，条件1、2、4；1、2、5；3，4；3，5之间存在情况下的因果图都要画出来，否则覆盖不到所有结果。

1234567892012345678111111000000000000示〖零钱找完〗的红间存在制约关系，从这。

判断树判断表

检查订货单的方法如下：如果金额超过500元，又未过期，则发批准单和提货单，如果金额超过500元，但过期了，则不做处理。

如果金额低于500元，则不论是否过期都发出批准单和提货单，但在过期的情况下，还需要发通知单。

请绘制相应的决策树。

检查订货单的方法如下：如果金额超过500元，又未过期，则发批准单和提货单，如果金额超过500元，但过期了，则不做处理。

如果金额低于500元，则不论是否过期都发出批准单和提货单，但在过期的情况下，还需要发通知单。

请绘制相应的决策表假设某航空公司规定，乘客可以免费托运行李的重量不超过30公斤。

当行李的重量超过30公斤时，对一般舱的国内乘客超重部分每公斤收费4元，对头等舱的国内乘客超重部分每公斤收费6元。

对国外乘客超重部分每公斤收费比国内乘客多一倍，对残疾乘客超重部分每公斤收费比国内乘客少一半。

试画出相应的判断表。

计算折扣量的方法如下：如果新用户订购，数量不超过20件时，折扣定为5%，大于20件时，折扣定为10%；如果老用户订购，数量不超过10件时，折扣定为15%，超过10件时，折扣定为20%。

根据以上描述，请绘制相应的决策表。

某厂对部分职工重新分配工作的政策是：年龄在20岁以下者，初中文化程度脱产学习，高中文化程度当电工；年龄在20岁至40岁之间者，中学文化程度男性当钳工，女性当车工，大学文化程度都当技术员；年龄在40岁以上者，中学文化程度当材料员，大学文化程度当技术员。

根据上述内容试画出其判断表。

商品销售与存储管理模型（1）有若干商店包括：商店号、商店名、地点、经理（2）有若干商品包括：商品编号、商品名、规格、单价（3）有若干仓库包括：仓库号、仓库名、地点、面积、负责人（4）每个商店可销售多种商品，每种商品可在多个商店销售（5）每座仓库可以存储多种商品，每种商品只属于一个仓库根据上述内容画出Ｅ－Ｒ图，实体属性不必画出。

学生与教师管理教学模型（1）有若干学生包括：学号、姓名、性别、年龄（2）有若干教师包括：编号、姓名、性别、年龄、职称（3）开设若干课程包括：课程号、课程名、课时、学分（4）一门课程只安排一名教师任教，一名教师可任多门课程（5）一门课程有多名学生选修，每名学生可选多门课程。

软件测试实验报告黑盒测试判定表

广西师范大学计信学院《软件测试技术》课程实验实验报告题目：黑盒测试法--判定表法班级：学号：姓名：完成日期：实验二黑盒测试法——判定表法实验目的：1.掌握因果图、判定表的方法2.掌握按判定表设计测试用例实验时间：4学时实验内容：1、题目一：隔一天日期问题功能描述：输入年份、月、日；输出：输入日期在日历上的隔一天日期。

如输入1912年12月15日，应输出1912年12月17日。

要求：(1) 读源码并分析程序，给出问题规定的可能采取的操作（即列出所有的动作桩）。

(2) 画出简化后的决策表，设计测试用例。

(3) 执行测试用例，进行测试记录和缺陷统计，给出缺陷报告。

2．程序设计及测试（以下任选一个），要求撰写测试报告（格式参照实验一）。

（1）请自己设计象棋走马问题程序，要求给出需求说明书，采用因果图法或综合采用所学黑盒测试法设计测试用例，并执行测试用例，进行缺陷统计和分析，并修正Bug。

（2）请设计实现简单的计算器功能，要求给出需求说明书，综合采用所学黑盒测试方法设计测试用例集合，并执行测试用例，进行缺陷统计和分析，并修正Bug。

实验过程：实验1：（1）动作桩：A1:day+2 A2:day=2 A3:day=1 A4:month+1 A5:moth=1 A6:year+1 A7:不可能有效等价类：Year：Y1{year是闰年} Y2{year不是闰年}Month：M1{month=4、6、9、11} M2:{month=1、3、5、7、8、10}M3{month=12} M4{month=2}Day：D1{1<=day<=26} D2{day=27} D3{day=28} D4{day=29} D5{day=30}D6{day=31}缺陷：当结果日期需要跳至下一个月时，结果会显示两次。

实验2：条件桩：1、棋子落在棋盘外2、落点未与起点构成日字型3、落点处有己方棋子4、落点处的临近交叉点5、落点处无棋子6、落点处对方棋子不是老将M：1、2、3、4动作桩：1、不移动棋子2、移动棋子3、除去对方棋子4、提示战胜对方，游戏结束#include <iostream>using namespace std;void main(){cout<<"象棋走马问题，根据情况选择回答0、是或1、否"<<endl;cout<<"“马”的落点处是否在棋盘外"<<endl;int a,b,c,d;cin>>a;cout<<"“马”的落点与起点是否不成“日”字型"<<endl;cin>>b;cout<<"“马”的落点处是否有其他己方棋子"<<endl;cin>>c;cout<<"“马”的落点临近交叉点是否有棋子"<<endl;cin>>d;int x,y;cout<<"“马”的落点处是否有棋子"<<endl;cin>>x;cout<<"“马”的落点出的棋子是否为老将"<<endl;cin>>y;if(a==0&&b==0&&c==0&&d==0)cout<<"不移动棋子"<<endl;if(a==1&&b==1&&c==1&&d==1&&x==1)cout<<"移动棋子"<<endl;if(a==1&&b==1&&c==1&&d==1&&x==0&&y==1)cout<<"移动棋子并出去对方棋子"<<endl;if(a==1&&b==1&&c==1&&d==1&&x==0&&y==0)cout<<"移动棋子并提示战胜对方，游戏结束"<<endl;if(a>1||b>1||c>1||d>1||x>1||y>1)cout<<"输入不规范"<<endl;}程序缺陷：每次运行程序，即使中途就出现输入不规范，但是仍要到最后才能提示出来。

测试用例设计方法2——因果图判定表

测试用例设计方法2——因果图判定表判定表法判定表是分析和表达多种输入情况下执行不同动作的工具，判定表方法主要用于处理程序输入条件的不同组合，但是要求条件的组合必须是bool类型，而且条件和预期的结果都是可以分析出来的。

判定表能够有效地弥补等价类和边界值方法的不足，使得输入条件之间的组合和相互影响得到充分的测试。

使用判定表的一般思路是：1、需求分析，分析出条件和结果之间的各种组合2、将条件和结果分别填入判定表3、讲条件和结果进行二进制排列4、针对每一项组合，分析出结果，并去除无效项，是判定表得到简化。

在合并判定表时，如果条件之中只有一个不同，则可以合并。

如果判定表的组合不够多，建议不要进行合并，这样可以测试的充分一些。

5、每一列生成一个测试用例以阅读指南的例子来设计一个判定表：从例子中可以看到，不同的条件组合使用判定表方法可以充分弥补等价类边界值得不足，但是当输入条件过多时，使用判定表会产生大量测试用例。

而其无效用例不易发现，更不能覆盖条件之间的先后关系。

因此，在一定情况下，使用判定表还需要因果图的帮忙。

--------------------------------------------------------------------------------因果图因果图用于描述系统之间的输入输出，输入输出之间的约束关系和因果关系。

因果图与判定表往往结合使用，使用因果图可以得到判定表。

使用因果图的方法：1、分析输入输出并进行标识2、分析输入和输入、输入和输出之间的关系3、将得到的关系使用因果图的方法表示出来4、根据因果图得到判定表5、依据判定表生成测试用例这里分析一个自动售货机的因果图分析方法：条件：有一个处理单价为5角的自动售货机，当投入5角或1元硬币时，选择橙汁或啤酒，饮料出来；若自动售货机没有零钱，则显示零钱照完，亮红灯，这时候投入的1元被退出来，饮料不送出来。

如果有零钱，则出饮料并找5角钱。

软件测试技术判定表(中国象棋 )

使用判定表方法设计测试用例
“马” 的走法
2/75
规则：马走日字 8个方位，8个点
3/75
程序设计的条件判断： 1.落点是否构成日字 2.落点是否是棋盘内 3.临近点是否有棋子 4.落点是否有棋子 5.落点是否对方棋子 6.落点是否对方将帅
4/75
判定表格式
序号
条件桩：落点情况分析
动作桩：可能结果
小结
判定表的组成
条件桩：问题的所有条件动作桩：问题的所有输出条件项：针对条件桩的取值动作项：条件项的各种取值情况下的输出结果
12/75
判定表驱动法
判定表的建立应依据软件规格说明
确定规则的个数。假如有n个条件，每个条件有两个取值(0，1)，故有2n种规则
列出所有的条件桩和动作桩填入条件项填入动作项、制定初始判定表简化、合并相似规则或者相同动作
12345678
5/75
与落点构成日字
条件落点在棋盘内桩：临近点无棋子
落点
情况落点无棋子分析落点有棋子且是对方棋子
落点有棋子且是对方将帅
动作移动棋子桩：不移动棋子，提示问题
可能移动棋子并替换原棋子
结果
6/75
提示胜利
序号
1 2 3 4 5 6 7 8 9 10 11 12 13
1用例的条件：
（1）规格说明以判定表的形式给出，或很容易转换成判定表。（2）条件的排列顺序不影响执行哪些操作。（3）规则的排列顺序不影响执行哪些操作。（4）当某一规则的条件已经满足，并确定要执行的操作后，不必检
验别的规则。（5）如果某一规则要执行多个操作，这些操作的执行顺序无关紧要
14/75
与落点构成日字

软件测试基础（四）用例设计方法之判定表驱动法

软件测试基础（四）⽤例设计⽅法之判定表驱动法判定表也称为决策表，⽤于描述程序输⼊条件组合与相应的程序处理动作之间的对应关系。

等价类划分和边界值分析都没有考虑被测程序输⼊条件的组合情况，只是孤⽴地考虑各个输⼊条件的测试数据取值问题，对输⼊组合情况下产⽣可能产⽣的错误没有进⾏充分地测试。

判定表驱动法从多个输⼊条件组合的⾓度来满⾜测试的覆盖率要求，是⿊盒测试⽅法中最严格、最有逻辑的测试⽅法。

1.判定表的构造与化简判定表⼀般由上图4个部分构成（1）条件桩：列出了问题所包含的所有条件。

⼀般情况下，条件的排列书必须⽆关紧要。

（2）动作桩：列出了问题规定可能采取的操作。

对这些操作的排列顺序⼀般没什么要求。

（3）条件项：条件桩中每个条件可以取真值或者假植，条件项给出了这些条件取值的多种组合情况。

（4）动作项：列出了在各种条件取值情况下应当采取的相应动作。

判定表的构造过程⼀般包括5个步骤： ①列出所有的条件桩和动作桩 ②根据条件桩中的条件个数确定规则的个数 ③根据条件组合，填⼊条件取值，形成每⼀个条件项 ④填⼊相应的动作项，得到初始判定表 ⑤化简初始判定表，合并相似规则2.判定表构造实例（1）假设程序的规格说明要求：“对于各科成绩⾼于85分并且是优秀毕业⽣的⼈员，或总是成绩⼤于450的⼈员，应当优先录取，其他情况进⾏正常处理”。

从规格说明可知，条件桩由“各科成绩均⾼于85分”“优秀毕业⽣”和“总成绩⼤于450分”三个条件构成，动作桩由“优先录取”和“正常处理”两种动作构成。

因为由三个条件，所以有23=8个规则。

根据8种条件取值组合情况，可以得到如下表所⽰判定表序号12345678条件各科成绩⾼于85分Y Y Y Y N N N N 优秀毕业⽣Y Y N N Y Y N N 总成绩⼤于450Y N Y N Y N Y N动作优先录取√√√√√正常处理√√√ 化简之后的判定表如下序号1，23456条件各科成绩⾼于85分Y Y Y N N 优秀毕业⽣Y N N--总成绩⼤于450-Y N Y N动作优先录取√√√正常处理√√ （2）⼀个函数根据A、B、C三条边的输⼊值怕段是否能够构成三⾓形，如果能够构成三⾓形，进⽽判断是等腰三⾓形还是等边三⾓形。

[黑盒测试基本方法]之因果图与判定表

测试用例设计方法之因果图法与判定表1.因果图法1.1.前言从用自然语言书写的程序规格说明的描述中找出因（输入条件）和果（输出或程序状态的改变），可以通过因果图转换为判定表。

因果图法即因果分析图，又叫特性要因图、石川图或鱼翅图，它是由日本东京大学教授石川馨提出的一种通过带箭头的线，将质量问题与原因之间的关系表示出来，是分析影响产品质量的诸因素之间关系的一种工具。

1.2.定义因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况。

因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。

因果图法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。

采用因果图法能帮助我们按照一定的步骤选择一组高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。

因果图法着重分析输入条件的各种组合，每种组合条件就是“因”，它必然有一个输出的结果，这就是“果”。

1.3.因果关系因果图的表示中输入与输出间的因果关系有四种：1）恒等关系：当输入条件发生，会产生对应输出，当输入条件不发生时，不会产生都会应输出。

2）非关系：与恒等关系相反。

3）或关系：多个输入条件中，只要有一个发生，则会产生对应输出。

4）与关系：多个输入条件中，只有所有输入项发生时，才会产生对应输出。

特定的符号标明因果关系如下（图1.3.1）:图1.3.1因果图的表示中输入与输入间的约束关系有四种：1）异(E)：所有输入中至多一个输入条件发生。

2）或(I)：所有输入中至少一个输入条件发生。

3）唯一(O)：所有输入中有且只有一个输入条件发生。

4）要求(R)：所有输入中只有一个输入条件发生，则其它输入也会发生。

特定的符号标明输入与输入间约束关系如下（图1.3.2）:图1.3.2因果图的表示中输出条件约束类型（见图1.3.2）：1）输出条件的约束只有M约束(强制)：若结果a是1，则结果b强制为0。

试验结果判定规则一览表

检测结果不低于设计强度等级
JGJ70-90第七章
四
粗集料压碎值
以三次平行试验结果的算术平均值作为压碎指标的测定值。采取10mm～20mm的颗粒作为标准试样，针片状颗粒剔除，称取每份约3kg的试样3份备用。在底面垫放一个直径为10mm的圆钢筋，试样分两层装入。左右颠击25下。试样表面离盘底应控制在10cm左右。在3～5min内均匀加荷倒200kN，稳定5s，然后卸载，过2.5mm的筛。试样的量应以高度控制。
1、≥C30混凝土要求≤1.0％
2、＜C30混凝土要求≤2％
JTJ058-2000
(T0310-2000)结果判断以桥规JTJ041-2000为准
九
粗集料泥块含量试验
以两次试验的算术平均值作为测定值，两次结果的差值超过0.1％时，应重新取样进行试样。称取一份试样，试样最少质量（对于最大粒径40mm：10kg；31.5mm：10kg；25mm：6kg；16mm：2kg）用5mm圆孔筛将试样过筛，称出筛去5mm以下颗粒后的试样质量，将其放在容器中摊平加水浸泡24h，然后将试样放在2.5mm筛上用水冲洗直至清澈为止。台秤要求：感量不大于称量的0.1％。
最大粒径（mm）
试样质量（g）
个数
<5
15～20
2
约5
约50
1
约19
约250
1
约38
约500
1
取峰值的最大干密度，精确到0.01g/cm3和最佳含水量精确到0.1％
JTJ051-93
(T0131-93)
试验判定规则一览表（5）
序号
检测项目
数据取舍判定规则
检测合格与否的判定规则
试验依据
十九
土工含水量试验(烘干法)

判定表测试规范样本

判定表测试规范样本资料内容仅供您学习参考，如有不当或者侵权，请联系改正或者删除。

判定表设计测试规范前⾔本⽂档介绍了针对终端软件测试的判定表法设计测试⽤例的规范。

本测试规范中对移动终端⽤判定表法设计测试⽤例原理进⾏了详细的描述, 并⽤实例加以说明如何使⽤该⽅法设计测试⽤例。

包括设计测试⽤例时的使⽤范围, 设计测试⽤例的步骤等。

本测试规范介绍了⼀种通⽤的测试⽅法, 需要根据被测终端软件需求才能形成具体的测试⽤例。

⽬录引⼊ ......................................... 错误!未定义书签。

1．名词解释 .................................. 错误!未定义书签。

2. 判定表法的原理 ........................... 错误!未定义书签。

3. 判定表的构成…… ......................... 错误!未定义书签。

4. 判定表的规则 (4)4.1 规则的定义 (4)4.2 规则的合并 (5)5. 设计测试⽤例的步骤 (5)6．实例说明判定表 ............................ 错误!未定义书签。

7. 适⽤范围 (7)8. 判定表的优点和缺点 (8)8.1 优点 (8)8.2 缺点 (8)9. 参考⽂档 (8)10.修改历史8引⼊等价类划分法和边界值分析法都是着重考虑输⼊条件和数据, 可是未考虑输⼊条件和数据相互依赖、相互制约的情况, 可是当输⼊条件和数据相互依赖、相互制约的时候, 采⽤等价类划分法和边界值分析法是难以描述的, 因此必须考虑采⽤⼀种适合于描述多种条件的组合, 相应产⽣多个动作的⽅法来进⾏测试⽤例的设计。

注: 条件和动作之间的逻辑关系是明确的, 能够直接使⽤判定表法; 如果条件和动作关系不明确, 则要先使⽤因果图法。

1.名词解释判定表也称决策表, 是分析和表⽰多逻辑条件下执⾏不同操作情况的⼯具。

测试用例设计--判定表

测试⽤例设计--判定表1.定义判定表通常由四部分组成，如上图：条件桩：它列出决定⼀组条件的对象；条件项：它列出各种可能的条件组合；动作桩：它列出所有的操作；动作项：它列出在对应的条件组合下的动作。

2.应⽤的范围在多个条件多个动作，并且每个条件的取值只有两种的情况下，我们就可以采⽤判定表⽅法。

3.步骤 1）识别条件和动作 2）⽣成判定表 3）简化判定表4.案例订购单的检查。

如果⾦额超过500元，⼜未过期，则发出批准单和提货单；如果⾦额超过500元，但过期了，则不发批准单；如果⾦额低于500元，则不论是否过期都发出批准单和提货单，在过期的情况下还需要发出通知单。

判定表分析过程 1）识别条件和动作条件桩条件项1：⾦额＞500元订购⾦额是否⼤于500元0：⾦额＜=500元1：订单未过期订购单是否过期0：订单过期动作桩动作项发出批准单X：表⽰发出批准单发出提货单X：表⽰发出提货单发出通知单X：发出通知单 2）⽣成判定表条件桩条件项订购⾦额是否⼤于500元1100订购单是否过期1010发出批准单X X X发出提货单X X X发出通知单X 3)简化判定表在很多情况下，⼀个判定表写出来以后，是很复杂的，我们需要对其进⾏简化。

如果表中有两条或者多条规则具有相同的动作，并且其条件项之间存在极为相似的关系，我们就可以将其合并。

条件桩条件项订购⾦额是否⼤于500元--10订购单是否过期100发出批准单X X发出提货单X X发出通知单X 这⾥引⼊⼀个概念，规则，以上判定表⾥，右部的每⼀列（条件项和对应的动作项）都是⼀条规则。

以上判定表⾥每⼀条规则都可以转化为测试⽤例。