用cover starters构造强度为2的覆盖阵列开题报告
2022-01-07 10:01
全文总字数：3425字
1. 研究目的与意义及国内外研究现状
软件测试方面的局限性已经严重阻碍了元件化软件产品的发展，我们希望能够将所有的测试情况很好的构造出来，通过数学方法做到尽可能多的测试元件之间的相互关系并节省时间和财力。覆盖阵列在实验设计中有许多应用，例如软件测试和药物筛选。在这些应用中，最主要的是t个参数的所有组合的相互作用都要进行测试，所以所有这些选择都要被阵列的行覆盖到。因为最优的覆盖阵列可以大大降低实验设计的成本，所以对覆盖阵列的构造研究越来越受到关注和重视。本文希望通过介绍用starters方法来构造强度为2的覆盖阵列，可以更好的理解覆盖阵列的构造方式和存在意义。
2. 研究的基本内容
我们主要研究覆盖阵列在软件测试中的使用，因为它是这个方向的更广泛的研究领域，但构造覆盖阵列的方法有很多，比如贪心算法，正交阵列法和投影法等等，本文希望通过研究用cover starters方法来构造强度为2的覆盖阵列。
论文可以先介绍覆盖阵列的基本概念并简介相关构造方法，着重研究强度为2的覆盖阵列及如何用cover starters方法进行构造。关于starter，可以具体研究两种情况：没有不动点和有一个不动点，希望可以具体找出一些starter实例，并证明它可以构造成为一个覆盖阵列，另外还可以用实例分析有一个不动点相比于没有不动点的构造优势，最后还可以推广starter形成starter阵列，也就是在某些情况下用多个starter来构造一个覆盖阵列。
本文希望在学习用cover starters方法来构造覆盖阵列后，能够更加清楚覆盖阵列的应用优势并突破软件测试方面的局限性，通过数学方法做到尽可能多地测试元件之间的相互关系并节省了时间和资源，这将有利于元件化软件产品的发展。
3. 实施方案、进度安排及预期效果
1.实施方案：
论文通过寻找cover starters向量，来构造强度为2的覆盖阵列，关于starter，可以具体研究两种情况：没有不动点和有一个不动点，可以具体找出一些starter实例，并证明它可以构造成为一个覆盖阵列，还可以用实例分析有一个不动点相比于没有不动点的构造优势，最后推广starter，也就是在某些情况下用多个starter来构造一个覆盖阵列。
2.进度安排：
4. 参考文献
| [1]Charles J. Colbourn.Combinatorial Aspects of Covering Arrays[D]. Tempe:Arizona State University，2004：5-6. [2]宋磊.覆盖阵列CAN(t,k,v)上界的推导[D].上海：上海交通大学，2008：1-2. [3]王钰.覆盖阵列的相关构造[D].北京：北京交通大学，2012：1-3. [4]Bestoun S. Ahmed and Kamal Z. Zamli, A Review of Covering Arrays and Their Application to Software Testing[J]88. Journal of Computer Science，2011，7 (9): 1375-1385. [5]Jason R. Lobb , Charles J. Colbourn , Peter Danziger , Brett Stevens , Jose Torres-Jimenez, Cover starters for covering arrays of strength two[J]. Discrete Mathematics，2012，3(12)：943–956. [6]E.Marczewski. Independence densembles et prolongement demesures[J]. Colloq Math，1948，122-132. [7]D.Kleitman and J.Spencer. Families of k-independent sets[J]. Discrete Math，1973，6:255-262. [8]G.Katona. Two applications(for search theory and truth functions)of Sperner type theorems[J]. Periodica Math，1973，3:19-26. [9]许凤娟.强度为4至8的覆盖阵列的构造[D].苏州：苏州大学，2010：2. [10]张晓波.强度为3的混合覆盖阵列[D].郑州：郑州大学，2014：2. [11]Karen Meagher. Group construction of covering arrays[J]. Ottawa ON KIN 6N5，2004: 2-3. [12]C.J. Colbourn, Strength two covering arrays: existence tables and projection[J]. Discrete Math，2008，3 (8):772–786.
|
