软件测试assignment8

• 黄俊 计应 16350027

软件测试assignment8

• 问题
  

• 根据lec17的例子，NextDate problem 可以被解释为

• 输入可以被划分成
  Y1 = {年: 该年为闰年}
  Y2 = {年: 该年为平年}
  M1 = {月: 有30天的月}
  M2 = {月: 有31天的月}
  M3 = {月: 二月}
  D1 = {日: 1 ≤ 日期 ≤ 27}
  D2 = {日: 日期 = 28}
  D3 = {日: 日期 = 29}
  D4 = {日: 日期 = 30}
  D5 = {日: 日期 = 31}

• 输出的等价类可以被划分为
  A1 = {不符合}
  A2 = {增加一天}
  A3 = {月份增加，重置为一个月里的第一天}
  A4 = {年份增加，月份和日都重置为1}

• 构造弱一般等价类测试用例
  因为是弱测试并且是一般等价类的测试，所以不需要对于无效输入进行测试并且只需要满足单缺陷原则就行。需要覆盖所有变量的取值。

  用力测试	年	月	日	预期输出
  WN1	2020（Y1）	2(M3)	29（D3）	出错（A1）
  WN2	2020(Y1)	4(M1)	29 (D3)	2020/4/30 （A2）
  WN3	2020(Y1)	4(M1)	30(D4)	2020/5/1(A3)
  WN4	2020(Y1)	12(M2)	31（D5）	2021/1/1（A4）
  WN5	2019(Y2)	2(M3)	27(D1)	2019/2/28(A2)
  WN6	2019(Y2)	12(M2)	28(D2)	2019/12/29(A2)

• 如上从每一类变量的取值可以看出来每一个变量确实取编了所有取值，因为是单缺陷的，所以不需要遍历所有组合，只要所有独立的取值即可。