覆盖阵列CANt，k，v上界的推导.pdfVIP

覆盖阵列CAN (t ,k ,v) 上界的推导 摘 要 软件测试方面的局限性已经严重阻碍了元件化软件产品的发展。 我们希望能够将所有的测试情况很好地构建出来，通过数学方法做到 尽可能多地测试元件之间的相互关系并节省时间和财力。 覆盖阵列CA(N ;t ,k ,v )是一个N k 的矩阵，使得每一个N t 的子矩 阵至少包含v 个元素中的t 个，其中t 是矩阵的强度。N t 的子矩阵代 表元件之间相互关系集合的子集合。为了进行软件测试，我们主要通 过以下两种方法来构建覆盖阵列：一、通过改进的代数和组合构造， 产生更小的覆盖阵列；二、通过设计一种效率更高的搜索算法，构造 更小的覆盖阵列。 Stein 和Lovász 首次在[1]和[2]中使用Stein-Lovász 定理，即贪心 算法，来研究一些组合覆盖问题。Gérard Cohen 、Simon Litsyn 和Gilles Zémor 在[2]中用这一定理解决了一些编码的问题。Stein-Lovász 定理 可以用来进行组合设计中的一些存在性证明，它比概率方法具有更好 的可构造性。 本文主要通过列举一些例子来详细说明构造覆盖阵列的过程，并 提供覆盖阵列