lecture3Blackbox1.pptVIP

决策表的组成 条件桩（condition stub） (输入条件集合） 条件项(condition entry） （输入值） 动作桩（action stub） （输出结果集合） 动作项(action entry） （输出结果） 规 则 测 试 用 例 * 决策表分类 有限项决策表：每个条件只有两个值，如Y/N、 T/F、1/0 等. 扩展项决策表：条件项的取值有多个（2） * 决策表和测试用例的关系 一条规则对应一个测试用例, 条件项构成了测试用例的输入，相应的动作项则是预期结果 输入条件 输出结果 测试输入 预期结果 测试用例 条件桩 动作桩 条件项 动作项 * 决策表中的不相关项 第一个条件无论取何值都会产生相同的动作，所以可以 将第一条规则和第五条规则利用不相关项进行合并 为了减少测试用例的个数，可以合并具有相同动作结果的规则 * Beizer?（Software testing techniques的作者）说：?“?错误潜伏在角落里，聚集在边界上?”?， * 强类型语言: 如Pascal，Ada等，不适宜用该测试，若执行显式的范围检查并使用例外处理机制，必须进行健壮性测试。 * 来自于电子电路的测试 NextDate的月、日和年之间存在依赖关系，例如2月和闰年（1912年2月31日？） * 异常流程的有效和无效怎么划分？？我们认为是无效等价类 * 异常流程的有效和无效怎么划分？？我们认为是无效等价类 * 穷举测试用例共有100*100种组合 等价类的方法使得测试用例数目大大减少，而测试的覆盖率却提高了。 软件测试与质量保证Lecture 3: 黑盒测试方法 赵慧 * * 主要内容 黑盒测试方法：不需要考虑实现系统的代码细节，根据系统的规范说明书设计测试用例。 测试用例设计方法 等价类测试用例生成方法 边界值分析测试用例生成方法 决策表测试用例生成方法 错误猜测 基于Use-Case的测试用例生成方法（场景法） 基于正交实验法的测试用例生成方法 基于状态机的测试用例生成方法 …… 综合运用黑盒测试技术 * 边界值测试用例生成方法 测试用例设计思想：测试用例的取值为输入变量的边界值：如略低于最小值、最小值、略高于最小值、正常值、略低于最大值、最大值和略高于最大值。 a b c d X2 X1 有效输入区域 函数F有两个变量X1和 X2，F实现为一个程序，完成某功能，X1和 X2的值域分别为[a,b]和[c,d] * 边界值分析测试用例生成（1） 边界值分析的测试用例：通常使一个输入变量取边界值，而其它变量则取正常值。每个变量重复进行，对于一个n变量函数，边界值分析产生4n+1个测试用例。 a b c d X2 X1 如何设定边界值？ 根据上下文（语境） 人工创建 * a b c d X2 X1 边界值分析测试用例生成（2） 边界值分析的测试用例： 测试用例除了最小值、略高于最小值、正常值、略低于最大值和最大值处取输入变量的值，还要在略超过最大值以及略小于最小值之处值。如果被测变量个数为n，则测试用例个数为6n＋1。 观察例外情况处理 关心预期的输出 * 边界值分析测试用例生成（3） 当软件失效是由两个（或多个）缺陷同时发生而引起的。 测试思想：首先对于每个变量进行最小值、略高于最小值、正常值、略低于最大值、最大值以及略超过最大值和略小于最小值的集合的测试，然后对这些集合进行笛卡儿乘积计算，生成测试用例。即取各变量的不同边界值的组合，产生7的n次幂个用例。 a b c d X2 X1 * 某选课系统中规定每门课程的选修人数在[20，60]之间，小于20人不开设该门选修课，大于60人不接受后面的选课要求。 测试设计 输入变量：选课人数 测试输入 选课人数分别为19，20，21，59，60和61等几个边界值 一个正常值40 例：边界值分析测试用例生成——选课 例：边界值分析测试——NextDate NextDate（年，月，日）是三个变量的函数。函数返回输入日期的下一个日期。变量年份，月份，日期都是整数值，且满足下面的条件： 1900≤年≤2060 , 1≤月≤12, 1≤日≤31 测试设计 三个输入变量：年，月，日 年的边界值：1899，1900，1901，1980，2059，2060，2061 月的边界值：0，1，2，7，11，12，13 日的边界值：0，1，2，15，30，31，32 * 边界值测试小结 错误隐含在角落，边界值最容易出现问题。 边界值测试的局限： 假设变量是独立的，没有相互依赖关系。未考虑函数的性质及变量的语义。 如果输入变量之间不是真正独立的，由边界值而得的测试用例不够充分。 不仅要考虑输入空间，还要考虑输出空