论文部分内容阅读
在软硬件的开发过程中，测试通常是一个需要耗费大量劳力、时间和资源的环节。为了降低软硬件交互测试的成本，Cohen，Dalai，Fredman，及Patton提出了由组合设计生成的交互测试方法.该方法首先确定测试的所有因素及各个因素的可能取值，然后选择一组测试，要求测试覆盖任意t个因素的所有可能交互情况.这正好对应组合设计中的覆盖阵列.覆盖阵列CA(N；t，k，v)是一个定义在ν元集上的N×k阶矩阵，满足对于每一个N×t阶子矩阵，包含ν上的所有t元有序子集至少一次。参数t称为覆盖阵列的强度(strength)。 覆盖阵列的主要研究问题是对于给定的t，k，ν，尽可能的降低覆盖次数N，或者是对于给定的t，ν，N，尽可能地增加因素数k.“t=2”时的覆盖阵列已经被许多人研究过，例如，Katona，Kleitman和Spencer等。Chateauneuf，Kreher，Roux，和Sloane等人对“t=3”的情况进行了研究。然而，“t≥4”时的覆盖阵列的研究却很少。这篇文章主要研究“t≥4”时的覆盖阵列，以及其相关的组合构造。 全文共分四章。 第一章：综述了覆盖阵列的研究背景，当前领域的研究成果和本文的主要结果。 第二章：重点介绍了覆盖阵列的新构造。主要包括两部分，一是利用组合方法，构造CA(N；5，νk，ν)，得出了更好的上界；二是通过引进套娃型覆盖阵列CA*，用CA*和DCA*构造CA，得出了强度大于等于4时覆盖阵列的一个新构造，提供了降低覆盖阵列的新思路。 第三章：定义了(t，r)-广义覆盖阵列，并对其进行研究。 第四章：提出了一些关于覆盖阵列的进一步研究的问题和方向。