6接合边界值分析法和等价类划分法，针对不同月薪需要缴纳不同的个人所得税计算程序，设计测试用例。
3500为起征点，结合边界值
收入
税收
3499
0
3500
0
3501
005
3999
2495
4000
25
4001
501
5499
1999
5500
200
5501
30015
8499
74985
8500
750
8501
10002
23499
39998
23500
4000
23501
500025
43499
999975
43500
10000
43501
120003
63499
179997
63500
18000
63501
210003
83499
279997
83500
28000
83501
320004
103499
399996
103500
40000
103501
450004
7年、月、日分别有Y、M和D来存储响应的值，现在要测试NextDataYMD函数，用判定表方法来设计相应的测试用例。
NextDataYMD为下一天的函数由于135781012月都有31天其中12月31日下一天又为下一年能被4整除的闰年的2月有29天平年的2月有28天所以条件分为以下几个等价类
f条件
年份：月份：
日期：
LY：闰年PY：平年MA：1，3，5，7，8，10MB：4，6，9，11MC：2MD：12DA：127DB：28DC：29DD：30DE：31
动作：
R1：Erorr，NodataR2：日期后移R3：日期置1R4：月份后移R5：月份置1R6：年份后移
判定表：
序号
12345678910111213
YLYLYPYPY
MMAMAMBMBMBMCMCMCMCMCMCMDMD
条
DA
DA
件
DB
DA
DDDB
DDCDEDBDDDEDADBDCDBDCDEDCDE
DC
DD
DD
R1
1
111
R21
1
11
动R3
1
1
11
1
作R4
1
1
11
R5
1
R6
1
f9通过扩展有限状态机来描述表示堆栈算法，然后转化为状态树，然后设计测试用例覆盖独立的树根到树叶的路径
EFSM：
弹出栈栈元素数大于1
弹出栈栈元素小于
max1
压入栈当
前栈元素
开始堆栈压入栈
数量为
堆栈空
有元素
max1
堆栈满不能放入元素堆栈满
弹出栈
删除堆栈栈元素
状态树：
数量为1
根据堆栈的状态以及动作可以写出以下状态表：
弹出栈
输入
状态
I
it
Push
Pop
I
itial
Empty
Empty
Filled
Error
Filled
Filled1max1
Empty31
Full2max1Filled41max1
Full
Full
Filled
Delete状态树：
Delete
DeletedErrorError
Top
ErrorFilledFull
Error
I
itialI
it
Pop
Ampty
Delete
Top
Push
Deleted
ErrorPop
Filled
Push
Push
Delete
Pop
Top
Empty
FilledTop
测试用例：
Full
对一个空栈弹顶元素
FullPush
PopFull
Filled
DeleteFilled
Filled
Error
Error
fi
itpop路径：i
itialemptyerror对一个空栈查顶元素i
ittop路径：i
itialemptyerror对一个空栈进行删除i
itdelete路径：i
itialemptydeleted向一个空栈放入元素i
itpushpop路径：i
itialemptyfilled对一个有元素的栈进行压入栈操作i
itpushpush路径：i
itialemptyfilledfilled对一个有max1个元素的栈进行压入栈操作i
itpushpush路径：i
itialemptyfilledfull对一个r