69096软件开发技术基础

69096软件开发技术基础内容摘要：

ｂ＝１，ｘ＝１ 走ＡＢＤ路径  “ 条件覆盖 ” 比 “ 判定覆盖 ” 强 ,因为要使每个条件都取到两个不同的结果 ,而判定覆盖不能保证这一点。  有时判定覆盖和条件覆盖不能互为包含。 逻辑覆盖分析 — 判别／条件覆盖  使判定的 ” 真 “ 、 ” 假 “ 各执行一次，还要使判定中每个条件取两种不同的值。 选择下列输入数据可满足这一标准： ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路径 ａ＝１，ｂ＝１，ｘ＝１ 走ＡＢＤ路径  在含有 AND和 OR的逻辑表达式中 ,某些条件将抑制其它条件。 例如 ,表达式 A AND B ,如果 A为假 ,则就不再检查 B了。 因此在实际应用中要设计更多的用例来测试未走过、而可能隐藏错误的路径。 逻辑覆盖分析 — 判别组合覆盖  使每个判定中的条件的各种组合都出现一次。 满足条件组合覆盖的测试数据一定满足判定、条件、条件／判定覆盖。  各种可能的组合共有八种： ａ＞１，ｂ＝ =０  ａ＞１，ｂ＜＞０ ａ＜＝１，ｂ＝ =０  Ａ＜＝１，ｂ＜＞０  ａ＝ =２，ｘ＝ =１  ａ＝ =２，ｘ＜＝１ ａ＜＞２，ｘ＞１  ａ＜＞２，ｘ＜＝１  下面４组测试数据可以覆盖上面８种条件组合： ａ＝２，ｂ＝０，ｘ＝４ 覆盖   ａ＝２，ｂ＝１，ｘ＝１ 覆盖   ａ＝１，ｂ＝０，ｘ＝２ 覆盖   ａ＝１，ｂ＝０，ｘ＝１ 覆盖   注：这４组数据并 不能覆盖程序中的 每条路径，ａｃｄ 就没执行。 说明条 件组合覆盖标准仍 不彻底。 等价类划分（黑盒法）  鉴于列举所有可能的测试数据进行测试的工作量太大，实际上无法实现，只好选取一部分测试数据进行测试。  把所有可能的输入数据（有效和无效）划分为若干个等价类，每类中一个典型数据在测试中起的作用和这一类数据的作用是相同的。 因此，可以从每个等价类中只选取一组数据作为测试数据。  使用等价类划分法首先要划分输入数据的等价类，确定输入数据的有效等价类和无效等价类。  划分等价类需要经验，以下是一些启发性原则：  若输入条件规定了输入值的范围，则可能划分一个有效的等价类和两个无效的等价类（小于 MIN或大于 MAX）；  如果规定输入数据必须遵循的规则，则可划分出一个有效的等价类（符合规则）和若干个无效的等价类（不符合规则）。  若规定了输入数据为整型，则可划分出整数、零和负整数三个有效等价类。 等价类划分 （黑盒法） 例。