软件测试第三次作业.docx

6. 接合边界值分析法和等价类划分法，针对不同月薪需要缴纳不同的个人所得税计算程序，设计测试用例。 3500为起征点，结合边界值 收入 税收 3499 0 3500 0 3501 0.05 3999 24.95 4000 25 4001 50.1 5499 199.9 5500 200 5501 300.15 8499 749.85 8500 750 8501 1000.2 23499 3999.8 23500 4000 23501 5000.25 43499 9999.75 43500 10000 43501 12000.3 63499 17999.7 63500 18000 63501 21000.3 83499 27999.7 83500 28000 83501 32000.4 103499 39999.6 103500 40000 103501 45000.4 7.年、月、日分别有Y、M和D来存储响应的值，现在要测试NextData(Y, M, D)函数，用判定表方法来设计相应的测试用例。 NextData(Y,M,D)为下一天的函数,由于1,3,5,7,8,10,12月都有31天,其中12月31日下一天又为下一年,能被4整除的闰年的2月有29天,平年的2月有28天,所以条件分为以下几个等价类. 条件: 年份： LY：闰年 PY：平年 月份： MA：1，3，5，7，8，10 MB：4，6，9，11 MC：2 MD：12 日期： DA：1~27 DB：28 DC：29 DD：30 DE：31 动作： R1：Erorr，No data R2：日期后移 R3：日期置1 R4：月份后移 R5：月份置1 R6：年份后移 判定表： 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 条件 Y - - - - - - LY LY PY PY - - - M MA MA MB MB MB MC MC MC MC MC MC MD MD D DA DB DC DD DE DA DB DC DD DE DA DB DC DB DC DD DE DA DB DC DD DE 动作 R1 1 1 1 1 R2 1 1 1 1 R3 1 1 1 1 1 R4 1 1 1 1 R5 1 R6 1 9.通过扩展有限状态机来描述表示堆栈算法，然后转化为状态树，然后设计测试用例覆盖独立的树根到树叶的路径 弹出栈(栈元素数 弹出栈(栈元素数大于1) 弹出栈(栈元素小于max-1) 堆栈满 堆栈满(不能放入元素) 压入栈(当前栈元素 压入栈(当前栈元素数量为max-1) 开始堆栈 开始堆栈 压入栈堆栈 压入栈 堆栈空 堆栈满有元素 堆栈满 有元素 弹出栈栈 弹出栈 栈元素数量为1 弹出栈 弹出栈 删除 删除堆栈 状态树： 根据堆栈的状态以及动作可以写出以下状态表： 输入 状态 Init Push Pop Delete Top Initial Empty Empty Filled Error Deleted Error Filled Filled(1)<max-1 Full(2)=max-1 Empty(3)=1 Filled(4)>1&<max-1 Error Filled Full Full Filled Error Full Delete 状态树： Initial Initial I Init PopA Pop Ampty Error Delete Delete Deleted Deleted Push Push Top E Error F Filled Delete Delete PopError Pop Error Pop Pop Top PushP Push Push Empty FilledFilled Filled Filled Full Filled D Delete Top Top Push Pop Pop Error Ful Full Full F Filled 测试用例： 对一个空栈弹顶元素 init-pop(路径：initial-empty-error) 对一个空栈查顶元素 init-top(路径：initial-empty-error) 对一个空栈进行删除 init-delete(路径：initial-empty-deleted) 向一个空栈放入元素 i