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

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