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