火龙果软件黑盒测试及其实例设计分析报告.pptVIP

3.4.2决策表法的应用 决策表最突出的优点是，能够将复杂的问题按照各种可能的情况全部列举出来，简明并避免遗漏。因此，利用决策表能够设计出完整的测试用例集合。运用决策表设计测试用例，可以将条件理解为输入，将动作理解为输出。 例如，某股票公司的佣金政策如下：如果一次销售额少于1000元，那么基础佣金将是销售额的8.4%；如果销售额至少1000元，但少于10000元，那么基础佣金将是销售额的5%，外加34元；如果销售额至少10000元，那么基础佣金将是销售额的4%，外加134元。另外销售单价和销售的份数对佣金也有影响。如果单价低于14元/份，则外加基础佣金的5%，此外若不是整百的份数，再外加4%的基础佣金；若单价在14元/份以上，但低于25元/份，则加2%的基础佣金，若不是整百的份数，再外加4%的基础佣金；若单价在25元/份以上，并且不是整百的份数，则外加4%的基础佣金。 详细解析见书中所示。 3.5因果图法 3.5.1因果图法 因果图法就是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方 法，它适合于检查程序输入条件的各种情况的组合。 在因果图中使用4种符号分别表示4种因果关系，如图3-2所示。用直线连接左右节 点，其中左节点Ci表示输入状态（或称原因），右节点ei表示输出状态（或称结 果）。Ci和ei都可取值0或1，0表示某状态不出现，1表示某状态出现。 图3-2中各符号的含义如下： 恒等：若C1是1，则e1也是1，否则e1为0。 非：若C1是1，则e1是0，否则e1为1。 或：若C1或C2或C3是1，则e1是1，否则e1为0。 与：若C1和C2都是1，则e1是1，否则e1为0。 （a）恒等 （b）非 （c）或 （d）与 图3-2 因果图的基本符号 在实际问题中，输入状态相互之间还可能存在某些依赖关系，我们称之为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束，在因果图中，以特定的符号标明这些约束，如图3-3所示。 对输入条件的约束有： E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1。 I约束（或）：a、b和c中至少有一个必须是1，即a、b和c不能同时为0。 O约束（惟一）：a和b中必须有一个且仅有一个为1。 R约束（要求）：a是1时，b必须是1，即a是1时，b不能是0。 对输出条件的约束只有M约束。 M约束（强制）：若结果a是1，则结果b强制为0。 （a）异 （b）或 （c）惟一 （d）要求 （e）强制 图3-3 约束符号 利用因果图法生成测试用例需要以下几个步骤，如图3-4所示。 分析软件规格说明书中的输入输出条件，并且分析出等价类。分析规格说明中的语义的内容，通过这些语义来找出相对应的输入与输入之间，输入与输出之间的对应关系。 将对应的输入与输入之间，输入与输出之间的关系连接起来，并且将其中不可能的组合情况标注成约束或者限制条件，形成因果图。 将因果图转换成决策表。 将决策表的每一列作为依据，设计测试用例。 从因果图生成的测试用例中包括了所有输入数据的取TRUE与 FALSE的情况，构成的测试用例数目达到最少，且测试用例数目随输 入数据数目的增加而线性地增加。 图3-4 因果图法示例 3.5.2因果图法测试用例 某软件规格说明中包含这样的要求：输入的第一个字符必须是A或B，第 二个字符必须是一个数字，在此情况下进行文件的修改；但如果第一个字 符不正确，则给出信息L；如果第二个字符不是数字，则给出信息M。 解法如下： （1）分析程序的规格说明，列出原因和结果。 原因：C1----第一个字符是A C2----第一个字符是B C3----第二个字符是一个数字 结果：e1----给出信息L 　　　e2----修改文件 　　　e3----给出信息M （2）将原因和结果之间的因果关系用逻辑符号连接起来，得到因果图，如图3-5所示。编号为11的中间节点是导出结果的进一步原因。 图3-5 因果图示例 图3-6 具有E约束的因果图 因为C1和C2不可能同时为1，即第一个字符不可能既是A又是B，在因果图上可对其施加E约束，得到具有约束的因果图，如图3-6所示。 （3）将因果图转换成决策表，如表3-14所示。 （4）设计测试用例。表3-14中的前两种情况，因为原因1和原因2不可能同时为1，所以应排除这两种情况。根据此表，可以设计出6个测试用例，如表3-1