维普资讯 http://www.cqvip.com 第３４卷增刊Ｉ 北京化工大学学报 Ｖｏ１．３４，Ｓｕｐ．Ｉ ２００７正 ＪＯＵＲＮＡＬ ＯＦ ＢＥＩＪＩＮＧ ＵＮＩＶＥＲＳＩＴＹ ＯＦ ＣＨＥＭＩＣＡ Ｌ ＴＥＣＨＮＯＬＯＧＹ ２００７ 一种具有优先级的参数配对组合覆盖测试集生成方法 朱幼 高建华 （上海师范大学计算机科学与工程系，上海２００２３４） 摘要：参数的配对组合测试广泛用于软件系统错误的检测。然而在实际参数组合测试的应用中，由于时间或预 算等原因，无法运行整个测试集。在此情况下，必须设置测试案例的优先级。本文引入优先级权值的概念，使 用一个贪心算法为已生成的参数配对组合覆盖测试集按照优先级高低进行排序。不论测试在任何时刻中断，都可 确保最重要的测试已被运行。 关键词：配对组合测试；测试优先级；优先级权值 中图分类号：Ｕ４１２．６ ｔ 引 言 究者致力于这两种方法的研究。 Ｅｌｂａｕｍ介绍了几种优先级策略，提出某种优先 参数的配对组合测试要求系统中每一对输入参 级策略在某些特定的情况使测试结果更优Ｌ４ ； 数，它们每一个有效值的组合都必须被至少一个测 Ｒｏｔｈｅｒｍｅｌ也研究了多种优先级策略，其研究结果显 试案例覆盖。实践表明，参数的配对组合测试是对 示：各种优先级策略有优有劣，即使具有最差性能的 于各种系统的一种实用且有效的测试方法，因为许 优先级策略也能够提高错误检测率［ ；Ｓｒｉｖａｓｔａｖａ和 多软件系统的故障是测试参数及其之间的相互作用 Ｔｈｉａｇａｒａｊａｎ采用用于回归测试的系统修改作为优 引起的ｕ０ Ｊ。 先级设定标准，使得更早发现系统错误 Ｊ。另外， 本文提出的方法扩展了参数的配对组合测试方 Ｍａｒｋ０ｖ链模型的构造实现了在测试集生成过程中 法，综合考虑测试案例的优先级。测试案例的优先 考虑测试案例的优先级因素 。Ｂｒｙｃｅ和Ｃｏｌｂｏｕｍ 级问题描述为：１）Ｔ，测试案例集；２）Ｓ，测试案例按 采用了“一次一测试案例”的贪心算法——密度确定 照不同顺序排列的测试案例集Ｔ的排列；３）ｆ，排列 算法，根据参数、取值及优先级权值等输入直接构造 Ｓ到实数值的对应函数；４）寻找Ｓ∈Ｓ，Ｖ Ｓ ∈Ｓ， 带有优先级的配对组合覆盖测试集 Ｊ。 ｆ（Ｓ）≥ｆ（Ｓ ）。 本文从另一个角度，介绍了一种贪心算法为已 厂是一个估值函数，决定优先级的高低，函数生成的参数配对组合覆盖测试集进行排序。本文并 ．厂 的选择决定了软件测试案例按照怎样的标准确立优 没有提出新的优先级判定标准，而是让测试人员根 先级的高低。例如，优先级的高低可以取决于于代 据自己所选择的标准引入权值，即表示优先级的信 码覆盖率、代价估计、最近修改的代码域、测试人员 息。这些权值信息将被作为输入，使用一个算法自 倾向测试的代码域等等 ］。 动为配对组合覆盖测试集按照优先级的高低进行排 参数的配对组合测试中，构造有序的测试集有 序，使该测试集尽早覆盖最大的权值。保证不论测 两种方法：根据优先级设定标准为已生成的测试集 试集的运行被某种原因中断，此时具有最高优先级 重新排序；在测试集的生成过程中确定各测试案例 的测试案例已被运行。 的优先级。本文采用第一种方法。目前已有很多研 １ 定义及背景 收稿Ｅｔ期：２００７—０６—１５ 假设某个系统中，各参数及其有效取值情况如 基金项目：国家自然科学基金（６０６７３０６７）；上海市自然科学 表１所示。共有３个参数，参数Ｐ。有４个取值，参 基金（０４ＺＲ１４１０５） 数Ｐ 有３个取值，参数Ｐ２有２个取值。在表３中 第一作者：女，１９８４年生，硕士生 每一个有效取值都标识一个唯一的ＩＤ。将表１显 Ｅ—ｍａｉｌ：ｄｏｇｇｅ１９８４＠１２６．ｃｏｍ 示的内容作为输入，可能的组合有４×３×２＝２４个。 维普资讯 http://www.cqvip.com 北京化工大学学报 表１ 某系统包含４‘个参数，每个参数的有效取值情况 Ｔａｂｌｅ １ Ａ ｓｙｓｔｅｍ、￣ｚｉｔｈ ４ ｐａｒａｍｅｔｅｒｓ ａｎｄ ｔｈｅｒｅ ｖａｌｕｅｓ 参数 ０ Ｐ０ ２ ｐ１ ６ ｐ２ 在配对组合测试中，仅要求系统中’每一对输入 参数的每一个有效值的组合都必须被测试集中至少 一个测试案例覆盖。根据ＩＰＯ配对组合覆盖测试 集生成策略［ ，该例的配对组合测试集由表２显示， 仅包含了１２个测试案例。测试案例的减少在大型 系统上将更为显著，例如，一个拥有２０个参数的系 统，每个参数的取值均个数为５，则需要５ 。＝９５， ３６７，４３１，６４０，６２５个测试案例；而配对组合测试集 中仅仅需要４５个测试案例即可覆盖所有配对。 表２ ＩＰＯ策略生成的配对组合覆盖测试集 Ｔａｂｌｅ ２ Ｔｈｅ ｐａｉｒ—ｗｉｓｅ ｃｏｖｅｒａｇｅ ｔｅｓｔ ｓｅｔ ｂｙ ＩＰ０ ｓｔｒａｔｅｇｙ 测试案例 ｐ０ ｐ１ ｐ２ 该配对组合测试集中每一个测试案例具有相同 的优先级。 为构造带有优先级的测试集，必须引入优先级 权值（ｗｅｉｇｈｔｓ）的概ｊ ，以下简称“Ｗ值”。令参数表 示为Ｐ ．．，Ｐ ，假设对任意一个Ｐ ，含有ｚ 个有效 取值： “，…， ；对于任意一个ｒ ，对应一个数 值６０ ，一１．０≤６０ ≤１．０，表示该取值的优先级高 低，其中一１．０表示最低优先级，１．０表示最高优先 级。表１举例的系统中，为每一个参数的每一个取 值增加Ｗ值，如表３括号中数值所示。 一个测试案例对应着各参数的不同取值，当参 数Ｐ 取值为ｒ ，参数ｐ 取值为ｒｆ，其复合优先级权 值为 ， 。则一个测试案例的Ｗ值总和为 １ ２ ３ ４ ５ ６ ７ ８ ９ ｎ ｃｃ，“ ，ｒＪ。如测试案例（０（・２），４（・２），７ ｊ （．１））的Ｗ值总和计算为：０．２×０．２＋０．２×０．１＋ ０．２×０．１＝０．０８。 表３参数和参数有效取值及优先级权值的输入 Ｔａｂｌｅ ３ Ｉｎｐｕｔ ｏｆ ｐａｒａｍｅｔｅｒｓ ａｎｄ ｔｈｅｉｒ ｖａｌｕｅｓ ａｎｄ ｗｅｉｇｈｔｓ 参数 ＶＯ Ｖｌ Ｖ２ Ｖ３ Ｐ０ ０（．２） １（．１） ２（．１） ３（．１） ｐ１ ４（．２） ５（．３） ６（．３） 一 ｐ２ ７（．１）８（．９） 一 一 每一个覆盖配对的Ｗ值都影响着一个测试案 例的Ｗ值总和。但是在实际应用中，计算每一个测 试案例的总优先级权值并不是简单的求和运算。当 向测试集中添加一个新的测试案例的时候，某个配 对（ｒｉ，ｒｉ）可能是第一＿次被测试集覆盖，也可能已被 测试集中的某个测试案例覆盖。在第一种情况下， Ｗ值增量为 ｃｏｊ． ；第二种情况下，Ｗ值增量为 零。因此新加入的测试案例的Ｗ值增量总和是该 测试案例所覆盖的所有配对的Ｗ值增量之和。如： 测试案例Ａ（０，４，７）已覆盖配对（０，４）（０，７）（４，７）， 当生成新的测试案例Ｂ（０，６，７），也覆盖配对（０，７）， 由配对（０，７）所增加的Ｗ值并不是０．２×Ｏ．１而是 ０。因此测试案例Ｂ的Ｗ值为０．２×０．３＋０．３× ０．１＝０．０９ ２ 算法 本文采用一个权值更新算法（ＵＷＡ，Ｕｐｄａｔｉｎｇ Ｗｅｉｇｈｔｓ Ａｌｇｏｒｉｔｈｍ）来为一个已生成的配对组合覆 盖测试集按照优先级的大小排序。 ２．１算法实现 算法框架由以下伪代码表示 １．ＴｅｓｔＳｅｔ ＵＷＡ（ＴｅｓｔＳｅｔ ｐａｉｒｗｉｓｅＴｅｓｔＳｅｔ， Ｗｅｉｇｈｔ［］ｗｅｉｇｈｔＦｏｒＥａｃｈＶａｌｕｅＯｆＥａｃｈＰａｒａｍｅｔｅｒ）｛ ２．ＴｅｓｔＳｅｔ ｏｒｄｅｒｅｄＰａｉｒｗｉｓｅＴｅｓｔＳｅｔ＝ｎｕｌｌ； ３． Ｗｅｉｇｈｔｓ［］ｗｅｉｇｈｔｓＦｏｒＥａｃｈＴｅｓｔＣａｓｅ ． ＝ ｉｎｉｔｉａｌｉｚａｔｉｏｎ（ｗｅｉｇｈｔＦｏｒＥａｃｈＶａｌｕｅＯｆ— ＥａｃｈＰａｒａｍｅｔｅｒ）； ４．ＴｅｓｔＣａｓｅ ｓｅｌｅｃｔｅｄＴｅｓｔＣａｓｅ ｎｕｌｌ； ５． ｗｈｉｌｅ（ｐａｉｒｗｉｓｅＴｅｓｔＳｅｔ！＝ｎｕｌ１）｛ ６． ＵｐｄａｔｉｎｇＷｅｉｇｈｔｓ（ｐａｉｒｗｉｓｅＴｅｓｔＳｅｔ，ｓｅｌｅｃｔ— ｅｄＴｅｓｔＣａｓｅ，ｗｅｉｇｈｔｓＦｏｒＥａｃｈＴｅｓｔＣａｓｅ）； 维普资讯 http://www.cqvip.com 增刊Ｉ 朱劫等：一种具有优先级的参数配对组合覆盖测试集生成方法 ７． ｓｅｌｅｃｔｅｄＩ、ｅｓｔＣａｓｅ ＝ ＳｅｌｅｃｔＣａｓｅＷｉｔｈ— ＬａｒｇｅｓｔＷｅｉｇｈｔ（ｗｅｉｇｈｔＦｏｒＥａｃｈＴｅｓｔＣａｓｅ）； ８． Ｒｅｍｏｖｅ（ｓｅｌｅｃｔｅｄＴｅｓｔＣａｓｅ，ｐａｉｒｗｉｓｅＴｅｓｔ— Ｓｅｔ）； ９． Ａｄｄ（ｓｅｌｅｃｔｅｄＴｅｓｔＣａｓｅ，ｏｒｄｅｒｅｄＰａｉｒ— ｗｉｓｅＴｅｓｔＳｅｔ）； １０． ｝ １ １．． ｒｅｔｕｒｎ ｏｒｄｅｒｅｄＰａｉｒｗｉｓｅＴｅｓｔＳｅｔ； １２． ｝ 算法的输入是一个已生成的配对组合覆盖测试 集，以及系统每个参数的每个有效取值所对应的Ｗ 值（１行）。 接着是一些初始化工作（２～４行）。首先，ｏｒ ｄｅｒｅｄＰａｉｒｗｉｓｅＴｅｓｔＳｅｔ是一个空配对组合覆盖测试 集，用于存储有序的测试案例。数组ｗｅｉｇｈｔｓＦｏｒＥ． ａｃｈＴｅｓｔＣａｓｅ用于存放每个测试案例的Ｗ值总和， 该值随着ｗｈｉ一一ｌｅ循环的推进在变化。ｓ一一一～一一。 ｅｌｅｃｔｅｄＴｅｓｔ— Ｃａｓｅ表示每一次循环中选择出的具有最大Ｗ值总 和的测试案例。 循环直到输入的配对组合覆盖测试集中的所有 测试案例都被选择出停止（５行）。 算法最核心的部分即为输入的配对组合覆盖测 试集中的测试案例更新Ｗ值总和。算法框架如下 伪代码所示。即上一次循环中被选择的测试案例覆 盖了若干配对，若其他未被选择的测试案例也覆盖 了该配对，则该测试案例Ｗ值总和的计算中应除去 该配对所对应的Ｗ值。 １． Ｗｅｉｇｈｔｓ［］Ｕｐｄａ ｔｉｎｇＷｅｉｇｈｔｓ（ＴｅｓｔＳｅｔ ｔｅｓｔＳｅｔ， ＴｅｓｔＣａｓｅ ｓｅｌｅｃｔｅｄｔｅｓｔＣａｓｅ，Ｗｅｉｇｈｔｓ［］ｗｅｉｔｈｔ）｛ ２． ｉｆ（ｓｅｌｅｃｔｅｄＴｅｓｔＣａｓｅ＝＝ｎｕｌ１） ３． ｒｅｔｕｒｎ ｗｅｉｇｈｔ； ４． ｅｌｓｅ｛ ５．Ｐａｉｒｓ［】ｐａｉｒｓ＝ｐａｉｒｓＣｏｖｅｒｅｄＢｙ ｓｅｌｅｃｔｅｄ— Ｃａｓｅ； ６． ｒｅｔｕｒｎ ｗｅｉｇｈｔ—Ｗｅｉｇｈｔｓ（ｐａｉｒｓ）； ７． ｝ ８． ｝ 接着在更新过的ｗｅｉｇｈｔＦｏｒＥａｃｈＴｅｓｔＣａｓｅ中选 择出具有最大Ｗ值总和的测试案例（７行）。最后 从原来的配对组合覆盖测试集中除去该测试案例， 并将其加入到有序测试集中（９，１０行）。 ２．２应用实例 本节采用一个例＝产使用该算法为已生成的配对 选择具有最大Ｗ值和的测试案例２：（０，５，８），ｎ 具有相同硼值和的测试案例可以随机选择。此时 被选择的测试案例覆盖了配对（０，５）（０，８）和（５，８）， 分别对应Ｗ值０．０６，０．１８和０．２７。此时需要对剩 余的测试案例进行Ｗ值和的更新，即覆盖到配对 （０，５）（０，８）和（５，８）的测试案例应减去相应的Ｗ 值。更新后的剩余测试案例Ｗ值和如表５所示。 表５更新后的测试案例Ｗ值和 Ｔａｂｌｅ ５ Ｕｐｇｒａｄｅｄ ｓｕｍ ｏｆ ｗｅｉｇｈｔｓ ｏｆ ｅａｃｈ ｔｅｓｔ ｃａｓｅ 测试案例Ｐ０ Ｐｌ Ｐ２ 初始 值和 ０．０８ ０．１１ ０．２９ ０．０７ ０．５１ ０．０５ ０．１２ ０．０７ ０．０５ ０．３９ ０．３９ 如：测试案例８：（２，５，８），测试案例１１：（３，５，８） 由于覆盖了配对（５，８）权值都由０．３９更新为０．１２。 此时选择具有最大Ｗ值和的测试案例６：（１， １ ３ 维普资讯 http://www.cqvip.com ・４２・ 北京化工大学学报 ２００７正 ６，８）。以此类推，直到输入的已生成的配对组合测 参考文献： 试案例全部被选择。表６为最终生成的按照优先级 ［１］ ＭＡＩＴＹ Ｓ，ＮＡＹＡＫ Ａ．Ｉｍｐｒｏｖｅｄ ｔｅｓｔ ｇｅｎｅｒａｔｉｏｎ ａｌｇｏ— 高低排列的有序的配对组合覆盖测试集。 ｒｉｔｈｍｓ ｆｏｒ ｐａｉｒ－ｗｉｓｅ ｔｅｓｔｉｎｇ［Ｃ］∥１６ｔｈ ＩＥＥＥ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｓｙｍｐｏｓｉｕｍ ｏｎ Ｓｏｆｔｗａｒｅ Ｒｅｌｉａｂｉｌｉｔｙ Ｅｎｇｉｎｅｅｒｉｎｇ（ＩＳＳＲＥ’ 表６根据举例输出的有序的配对组合覆盖测试集 ０５）．２００５：２３５—２４４． Ｔａｂｌｅ ６ Ｏｕｔｐｕｔ ｏｆ ｔｈｅ ｏｒｄｅｒｅｄ ｐａｉｒ—ｗｉｓｅ ｃｏｖｅｒａｇｅ ｔｅｓｔ ｓｅｔ ［２］ＬＥＩ Ｙ，ＴＡＩ Ｋ Ｃ．Ｉｎ－Ｐａｒａｍｅｔｅｒ－Ｏｒｄｅｒ：Ａ ｔｅｓｔ ｇｅｎｅｒａ— ｔｉｏｎ ｓｔｒａｔｅｇｙ ｆｏｒ ｐａｉｒｗｉｓｅ ｔｅｓｔｉｎｇ［Ｃ］∥Ｔｅｃｈｎｉｃａｌ Ｒｅｐｏｒｔ ＴＲ一２００１—０３，Ｄｅｐｔ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ，Ｎｏｒｔｈ Ｃａｒｏｌｉｎａ Ｓｔａｔｅ Ｕｎｉｖ，２００１． ［３］ＭＡＮＤＬ Ｒ．Ｏｒｔｈｏｇｏｎａｌ ｌａｔｉｎ ｓｑｕａｒｅｓ：Ａｎ ａｐｐｌｉｃａｔｉｏｎ ｏｆ ｅｘｐｅｒｉｍｅｎｔａｌ ｄｅｓｉｇｎ ｔｏ ｃｏｍｐｉｌｅｒ ｔｅｓｔｉｎｇ［Ｊ］．Ｃｏｍｍ ＡＣＭ，１９８５，２８（１０）：１０５４—１０５８． ［４］ ＥＬＢＡｕＭ Ｓ，ＭＡＬＩＳＨＥＶＳＫＹ Ａ，ＲＯＴＨＥＲＭＥＬ Ｇ． Ｔｅｓｔ ｃａｓｅ ｐｒｉｏｒｉｔｉｚａｔｉｏｎ：Ａ ｆａｍｉｌｙ ｏｆ ｅｍｐｉｒｉｃａｌ ｓｔｕｄｉｅｓ ［Ｊ］．ＩＥＥＥ Ｔｒａｎｓａｃｔｉｏｎ Ｏｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ，２００２， １８（２）：１５９—１８２． ［５］ ＲＯＴＨＥＲＭＥＬ Ｇ Ｒ，ＵＮＴＣＨ ＲＨ，ＣＨＵ Ｃ．，ｅｔ ａ１． Ｐｒｉｏｒｉｔｉｚｉｎｇ ｔｅｓｔ ｃａｓｅｓ ｆｏｒ ｒｅｇｒｅｓｓｉｏｎ ｔｅｓｔｉｎｇ［Ｊ］．ＡＣＭ Ｔｒａｎｓａｃｔｉｏｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｍｅｔｈｏｄｏｌｏｇｙ，２００１， ２７（１０）：９２９—９４８． ［６］ ＳＲＩＶＡＳＴＡＶＡ Ａ，ＴＨＩＡＧＡＲＡＪＡＮ Ｊ．Ｅｆｆｅｃｔｉｖｅｌｙ ｐｒｉ— ３ 结论 ｏｒｉｔｉｚｉｎｇ ｔｅｓｔｓ ｉｎ ｄｅｖｅｌｏｐｍｅｎｔ ｅｎｖｉｒｏｎｍｅｎｔ［Ｃ］∥Ｐｒｏｃｅｅｄ— ｉｎｇｓ ｏｆ ｔｈｅ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｓｙｍｐｏｓｉｕｍ ｏｎ Ｓｏｆｔｗａｒｅ Ｔｅｓｔｉｎｇ 本文介绍的方法将两者结合。评估一个配对组 ａｎｄ Ａｎａｌｙｓｉｓ，２００２：９７—１０６． 合测试集生成策略优劣的标准通常有：准确性、执行 ［７］ ｗＨＩＴＴＡＫＥＲ Ｊ Ａ，ＴＨＯＭＡＳＯＮ Ｍ Ｇ．Ａ ｍａｒｋｏｖ 时间、一致性以及可适用性。本文增加了一个标准： ｃｈａｉｎ ｍｏｄｅｌ ｆｏｒ ｓｔａｔｉｓｔｉｃａｌ ｓｏｆｔｗａｒｅ ｔｅｓｔｉｎｇ［Ｊ］．ＩＥＥＥ 是否可以根据测试员的要求为测试案例设定优先 Ｔｒａｎｓａｃｔｉｏｎ ｏｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ，１９９４，２（１０）： ８１２—８２４． 级。本文研究为已生成的配对组合覆盖测试集引入 ［８］ ＢＲＹＣＥ Ｒ Ｃ，ＣＯＬＢＯＵＲＮ Ｃ Ｊ．Ｔｅｓｔ ｐｒｉｏｒｉｔｉｚａｔｉｏｎ ｆｏｒ 优先级权值，并进行排序，最终得到按照优先级高低 ｐａｉｒｗｉｓｅ ｉｎｔｅｒａｃｔｉｏｎ ｃｏｖｅｒａｇｅ［Ｃ］∥Ｐｒｏｃｅｅｄｉｎｇ ｏｆ ｔｈｅ Ｆｉｒｓｔ 排列的有序的配对组合覆盖测试集。 Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｗｏｒｋｓｈｏｐ ｏｎ Ａｄｖａｎｃｅｓ ｉｎ Ｍｏｄｅｌ—ｂａｓｅｄ Ｔｅｓｔｉｎｇ，２００５：１—７． Ｐｒｉｏｒｉｔｉｚｅｄ ｔｅｓｔ ｇｅｎｅｒａｔｉｏｎ ｍｅｔｈｏｄ ｆｏｒ ｐａｉｒ－ｗｉｓｅ ｔｅｓｔｉｎｇ ＺＨＵ Ｊｉｅ ＧＡＯ ＪｉａｎＨｕａ （Ｄｅｐａｒｔｍｅｎｔ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ ａｎｄ Ｅｎｇｉｎｅｅｒｉｎｇ，Ｓｈａｎｇｈａｉ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ ２００２３４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎｔｅｒａｃｔｉｏｎ ｔｅｓｔｉｎｇ ｉｓ ｗｉｄｅｌｙ ｕｓｅｄ ｔｏ ｄｅｔｅｃｔ ｆａｕｌｔｓ ｉｎ ｓｏｆｔｗａｒｅ ｓｙｓｔｅｍｓ．Ｉｎ ｍａｎｙ ａｐｐｌｉｃａｔｉｏｎｓ ｗｈｅｒｅ ｉｎ— ｔｅｒａｃｔｉｏｎ ｔｅｓｔｉｎｇ ｉｓ ｎｅｅｄｅｄ，ｔｈｅ ｗｈｏｌｅ ｔｅｓｔ ｓｅｔ ｃａｎ ｎｏｔ ｂｅ ｒｕｎ ｃｏｍｐｌｅｔｅｌｙ ｄｕｅ ｔｏ ｔｉｍｅ ｏｒ ｂｕｄｇｅｔ ｃｏｎｓｔｒａｉｎｔｓ．Ｕｎ— ｄｅｒ ｓｕｃｈ ｓｉｔｕａｔｉｏｎｓ，ｉｔ ｉｓ ｅｓｓｅｎｔｉａｌ ｔｏ ｐｒｉｏｒｉｔｉｚｅ ｔｈｅ ｔｅｓｔｓ．Ｉｎ ｔｈｉｓ ｐａｐｅｒ，ａ ｇｒｅｅｄｙ ａｌｇｏｒｉｔｈｍ ｉｓ ａｄｏｐｔｅｄ ｔｏ ｐｒｉｏｒｉｔｉｚｅ ｇｅｎｅｒａｔｅｄ ｐａｉｒ－ｗｉｓｅ ｃｏｖｅｒａｇｅ ｔｅｓｔ ｓｅｔ ｗｉｔｈ ｄｒｉｖｅｎ ｗｅｉｇｈｔｓ，ＳＯ ｔｈａｔ ｗｈｅｎｅｖｅｒ ｔｈｅ ｔｅｓｔｉｎｇ ｉｓ ｃｏｒｒｕｐｔｅｄ，ｉｎｔｅｒａｃｔｉｏｎｓ ｄｅｅｍｅｄ ｍｏｓｔ ｉｍｐｏｒｔａｎｔ ａｒｅ ｔｅｓｔｅｄ． Ｋｅｙ ｗｏｒｄｓ：ｐａｉｒ－ｗｉｓｅ ｉｎｔｅｒａｃｔｉｏｎ ｃｏｖｅｒａｇｅ；ｔｅｓｔ ｐｒｉｏｒｉｔｉｚａｔｉｏｎ；ｗｅｉｇｈｔｓ
