NEXTDATE的决策表示例软件测试技术试验报告

NextDateNextDate 函数测试用例函数测试用例 选择选择 NextDateNextDate 函数，函数， 是因为它可以说明输入定义域中的依赖性是因为它可以说明输入定义域中的依赖性 问题，问题，这使得这个例子成为基于决策表测试的一个完美例子，这使得这个例子成为基于决策表测试的一个完美例子，因因 为决策表可以突出这种依赖关系。为决策表可以突出这种依赖关系。 从前面对等价类测试的分析我从前面对等价类测试的分析我 们知道，们知道，等价类分析假设所有的变量都是独立的。等价类分析假设所有的变量都是独立的。如果变量确实如果变量确实 是独立的，是独立的，则使用类的笛卡尔积是有意义的。则使用类的笛卡尔积是有意义的。如果变量之间在输如果变量之间在输 入定义域中存在逻辑依赖关系，入定义域中存在逻辑依赖关系， 则这些依赖关系在笛卡尔积中就则这些依赖关系在笛卡尔积中就 会丢失会丢失 说抑制可能更确切说抑制可能更确切 。决策表格式通过使用。决策表格式通过使用“ “不可能动作不可能动作” ” 概念表示条件的不可能组合，概念表示条件的不可能组合，使我们能够强调这种依赖关系。使我们能够强调这种依赖关系。下下 面将对面将对 NextDateNextDate 函数的决策表描述做三次尝试。函数的决策表描述做三次尝试。 第一次尝试第一次尝试 标识合适的条件和动作，假设首先从分析等价类集合开始。标识合适的条件和动作，假设首先从分析等价类集合开始。 M1 {M1 {月份每月有月份每月有 3030 天天} }；； M2 {M2 {月份每月有月份每月有 3131 天天} }；；M3M3 { {月份此月是月份此月是 2 2 月月} } D1 {D1 {日期日期1≤1≤日期日期≤28}≤28}；；D2 {D2 {日期日期日期日期29}29}；；D3 {D3 {日期日期 30}30}；；D4 {D4 {日期日期31}31} Y1 {Y1 {年年是闰年年年是闰年} }；；Y2 {Y2 {年年不是闰年年年不是闰年} } 如果我们希望突出不可能的组合，如果我们希望突出不可能的组合， 则可以建立具有以下条件和动则可以建立具有以下条件和动 作的有限项决策表。作的有限项决策表。 请注意，年变量对应的等价类收缩为下表请注意，年变量对应的等价类收缩为下表 的一个条件。的一个条件。 这个决策表会有这个决策表会有 256256 条规则，其中很多是不可能的。如果要显条规则，其中很多是不可能的。如果要显 示为什么这些规则是不可能的，可将动作修改为示为什么这些规则是不可能的，可将动作修改为 a1a1月份中的天数太多；月份中的天数太多；a2a2不能出现在非闰年中；不能出现在非闰年中；a3a3计算计算 NextDateNextDate。。 第二次尝试第二次尝试 如果我们将注意力集中到如果我们将注意力集中到 NextDateNextDate 函数的闰年问题上，函数的闰年问题上， 则可以则可以 修改已有的等价类集合。修改已有的等价类集合。为了说明另一种决策表表示方法，为了说明另一种决策表表示方法，这一这一 次采用扩展项决策表开发，次采用扩展项决策表开发，并更仔细地研究动作桩。并更仔细地研究动作桩。在构建扩展在构建扩展 项决策表时，项决策表时，必须保证等价类构成输入定义域的真划分。必须保证等价类构成输入定义域的真划分。如果规如果规 则项之间存在则项之间存在“ “重叠重叠” ”，， 则会存在冗余情况，则会存在冗余情况，使得多个规则都能够使得多个规则都能够 满足。这里，满足。这里，Y2Y2 是一组是一组 18121812～～20122012 之间的年份，并除以之间的年份，并除以 4 4，， 20002000 除外。除外。 M1 {M1 {月份每月有月份每月有 3030 天天} }；； M2 {M2 {月份每月有月份每月有 3131 天天} }；；M3M3 { {月份此月是月份此月是 2 2 月月} } D1 {D1 {日期日期1≤1≤日期日期≤28}≤28}；；D2 {D2 {日期日期日期日期29}29}；；D3 {D3 {日期日期 30}30}；；D4 {D4 {日期日期31}31} Y1 {Y1 {年年年年2000}2000}；；Y2 {Y2 {年年是闰年年年是闰年} }；；Y3 {Y3 {年年是平年年是平 年年} } 从某种意义上说，从某种意义上说，我们采用的是我们采用的是“ “灰盒灰盒” ”技术，技术， 因为更仔细地研究因为更仔细地研究 了了 NextDateNextDate 函数。为了产生给定日期的函数。为了产生给定日期的 NextDateNextDate，能够使用，能够使用 的操作只有五种日期和月份的增的操作只有五种日期和月份的增 1 1 和复位，年的增和复位，年的增 1 1。。 我们我们 不允许通过复位年来回退时间。不允许通过复位年来回退时间。 这些条件可以产生有对应等价类笛卡尔积的这些条件可以产生有对应等价类笛卡尔积的 3636 个规则的决策表个规则的决策表 自己可以分析一下自己可以分析一下 。结合不关心项，可得到下表所示的。结合不关心项，可得到下表所示的 1717 条条 规则的决策表。规则的决策表。仍然存在逻辑不可能的规则，仍然存在逻辑不可能的规则，但是这个表有助于但是这个表有助于 我们标识测试用例的扩展输出。如果填满这个决策表的动作项，我们标识测试用例的扩展输出。如果填满这个决策表的动作项， 就会发现就会发现 1212 月有一些麻烦的问题月有一些麻烦的问题 规则规则 88。。 我们下面解决这些问我们下面解决这些问 题。题。 第三次尝试第三次尝试 通过引入等价类的第三个集合，通过引入等价类的第三个集合，可以澄清年末问题。可以澄清年末问题。这一次可以这一次可以 特别关注日和月，特别关注日和月， 并重新使用第一次尝试的较简单的闰年或非闰并重新使用第一次尝试的较简单的闰年或非闰 年条件，年条件，因此因此 20002000 年没有特别处理。年没有特别处理。 还可以做第四次尝试，还可以做第四次尝试，采采 用第二次尝试的年等价类。用第二次尝试的年等价类。 M1 {M1 {月份每月有月份每月有 3030 天天} }；； M2 {M2 {月份每月有月份每月有 3131 天，天，1212 月除外月除外} }；；M3 {M3 {月份此月是月份此月是 1212 月月} }；；M4 {M4 {月份此月是月份此月是 2 2 月月} } D1 {D1 {日期日期1≤1≤日期日期≤27}≤27}；；D2 {D2 {日期日期日期日期28}28}；；D3 {D3 {日期日期 29}29}；；D4 {D4 {日期日期30}30}；；D5 {D5 {日期日期31}31} Y