软件测试第三次作业

6. 接合边界值分析法和等价类划分法，针对不同月薪需要缴纳不同的个人所得税计算程序，设计测试用例。3500为起征点，结合边界值收入税收349903500035010.053999 24.954000 254001 50.15499 199.95500 2005501 300.158499 749.858500 7508501 1000.223499 3999.823500 400023501 5000.2543499 9999.7543500 1000043501 12000.363499 17999.763500 1800063501 21000.383499 27999.783500 2800083501 32000.4103499 39999.6103500 40000103501 45000.47.年、月、日分别有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，10MB：4，6，9，11MC：2MD：12日期：DA：127DB：28DC：29DD：30DE：31动作：R1：Erorr，No dataR2：日期后移R3：日期置1R4：月份后移R5：月份置1R6：年份后移判定表：序号12345678910111213条件Y-LYLYPYPY-MMAMAMBMBMBMCMCMCMCMCMCMDMDDDADBDCDDDEDADBDCDDDEDADBDCDBDCDDDEDADBDCDDDE动作R11111R21111R311111R41111R51R619.通过扩展有限状态机来描述表示堆栈算法，然后转化为状态树，然后设计测试用例覆盖独立的树根到树叶的路径弹出栈(栈元素数大于1)弹出栈(栈元素小于max-1)EFSM：堆栈满(不能放入元素)压入栈(当前栈元素数量为max-1)开始堆栈压入栈堆栈空堆栈满有元素弹出栈栈元素数量为1弹出栈删除堆栈状态树：根据堆栈的状态以及动作可以写出以下状态表：输入状态InitPushPopDeleteTopInitialEmptyEmptyFilledErrorDeletedErrorFilledFilled(1)1&max-1ErrorFilledFullFullFilledErrorFullDelete状态树：InitialInitPopAmptyErrorDeleteDeletedPushTopErrorFilledDeletePopErrorPopTopPushPushEmptyFilledFilledFullFilledDeleteTopPushPopErrorFullFullFilled测试用例：对一个空栈弹顶元素init-pop(路径：initial-empty-error)对一个空栈查顶元素init-top(路径：initial-empty-error)对一个空栈进行删除init-delete(路径：initial-empty-deleted)向一个空栈放入元素init-push-pop(路径：initial-empty-filled)对一个有元素的栈进行压入栈操作init-push-push(路径：initial-empty-filled-filled)对一个有max-1个元素的栈进行压入栈操作init-push-push(路径：initial-empty-filled-full)对一个有一个元素的栈进行弹栈操作init-push-pop(路径：initial-empty-filled-empty)对一个有元素的栈进行查顶操作init-push-top(路径：initial-empty-filled-filled)对一个有元素的栈进行删除操作init-push-delete(路径：initial-empty-filled-error)对满栈进行查顶操作init-push-push-top(路径：initial-empty-filled-full-full)对满栈进行压栈操作init-push-push-push(路径：initial-empty-filled-full-full)对满栈进行弹栈操作init-push-push-pop(路径：