《NEXTDATE的决策表示例(软件测试技术实验报告)12595.pdf》由会员分享，可在线阅读，更多相关《NEXTDATE的决策表示例(软件测试技术实验报告)12595.pdf（7页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、NextDate 函数测试用例 选择 NextDate 函数，是因为它可以说明输入定义域中的依赖性问题，这使得这个例子成为基于决策表测试的一个完美例子，因为决策表可以突出这种依赖关系。从前面对等价类测试的分析我们知道，等价类分析假设所有的变量都是独立的。如果变量确实是独立的，则使用类的笛卡尔积是有意义的。如果变量之间在输入定义域中存在逻辑依赖关系，则这些依赖关系在笛卡尔积中就会丢失(说抑制可能更确切)。决策表格式通过使用“不可能动作”概念表示条件的不可能组合，使我们能够强调这种依赖关系。下面将对 NextDate 函数的决策表描述做三次尝试。第一次尝试 标识合适的条件和动作，假设首先从分析等价
2、类集合开始。M1=月份：每月有 30 天；M2=月份：每月有 31 天；M3=月份：此月是 2 月 D1=日期：1日期28；D2=日期：日期=29；D3=日期=30；D4=日期=31 Y1=年：年是闰年；Y2=年：年不是闰年 如果我们希望突出不可能的组合，则可以建立具有以下条件和动作的有限项决策表。(请注意，年变量对应的等价类收缩为下表的一个条件。)这个决策表会有 256 条规则，其中很多是不可能的。如果要显示为什么这些规则是不可能的，可将动作修改为：a1：月份中的天数太多；a2：不能出现在非闰年中；a3：计算 NextDate。第二次尝试 如果我们将注意力集中到 NextDate 函数的闰年
3、问题上，则可以修改已有的等价类集合。为了说明另一种决策表表示方法，这一次采用扩展项决策表开发，并更仔细地研究动作桩。在构建扩展项决策表时，必须保证等价类构成输入定义域的真划分。如果规则项之间存在“重叠”，则会存在冗余情况，使得多个规则都能够满足。这里，Y2 是一组 18122012 之间的年份，并除以 4，2000 除外。M1=月份：每月有 30 天；M2=月份：每月有 31 天；M3=月份：此月是 2 月 D1=日期：1日期28；D2=日期：日期=29；D3=日期=30；D4=日期=31 Y1=年：年=2000；Y2=年：年是闰年；Y3=年：年是平年 从某种意义上说，我们采用的是“灰盒”技术
4、，因为更仔细地研究了NextDate 函数。为了产生给定日期的 NextDate，能够使用的操作只有五种：日期和月份的增 1 和复位，年的增 1。(我们不允许通过复位年来回退时间。)这些条件可以产生有对应等价类笛卡尔积的 36 个规则的决策表(自己可以分析一下)。结合不关心项，可得到下表所示的 17 条规则的决策表。仍然存在逻辑不可能的规则，但是这个表有助于我们标识测试用例的扩展输出。如果填满这个决策表的动作项，就会发现 12 月有一些麻烦的问题(规则 8)。我们下面解决这些问题。第三次尝试 通过引入等价类的第三个集合，可以澄清年末问题。这一次可以特别关注日和月，并重新使用第一次尝试的较简单的
5、闰年或非闰年条件，因此 2000 年没有特别处理。(还可以做第四次尝试，采用第二次尝试的年等价类。)M1=月份：每月有 30 天；M2=月份：每月有 31 天，12 月除外；M3=月份：此月是 12 月；M4=月份：此月是 2 月 D1=日期：1日期27；D2=日期：日期=28；D3=日期=29；D4=日期=30；D5=日期=31 Y1=年：年是闰年；Y2=年：年不是闰年 这个等价类的笛卡尔积包含 40 个元素。所产生的组合规则包含不关心项，如下表所示，可与第二次的 36 条规则比较。大的测试用例集合是否一定比小的测试用例集合好这里我们有一个 22 条规则的决策表，得到的 NextDate 函
6、数的描述比包含 36 条规则的决策表更清晰。前 5 条规则处理有 30 天的月份，请注意，这里不考虑闰年。接下来两组规则(规则 610，规则 1115)处理有 31 天的月份，前 5 条规则处理 12 月之外的月份，后 5 条规则处理 12 月。不可能规则也在决策表中列出，尽管存在一些高效测试人员可能会有疑问的冗余。10条规则中的 8 条只是对日期增 1。针对这个子功能是否真的需要 8 条单独的测试用例，可能不需要，但是请注意我们可以通过决策表得到的启发。最后 7 条规则关注的是 2 月和闰年。上表所示的决策表是 NextDate 函数源代码的基础。这个例子从另一个方面说明测试如何能够很好地改
7、进程序设计。所有决策表分析都应该在 NextDate 函数的详细设计期间完成。我们可以使用决策表代数进一步化简这 22 个测试用例。如果决策表中两个规则的动作集合相同，则一定至少有一个条件能够把两条规则用不关心条目合并。这正体现出决策表等价于用于标识等价类的“相同处理”方针。在某种意义上，我们就是在标识规则的等价类。例如，规则 1、2 和 3 涉及有 30 天的月份日期类 D1、D2 和 D3。类似地，有31 天的月份的日期类 D1、D2、D3 和 D4 也可以合并，2 月的 D4 和 D5也可以合并。所得到的结果如下表所示：相应的测试用例如下表所示：总结 与其他测试技术一样，基于决策表的测试对于某些应用程序(例如NextDate 函数)很有效，但是对另外一些应用程序就不值得费这么大的事。毫不奇怪，基于决策表所适用的情况都是要发生大量决策(例如三角形问题)，以及在输入变量之间存在重要的逻辑关系的情况(例如 NextDate 函数)。