用cover starters构造强度为2的覆盖阵列

 2022-01-17 11:01

论文总字数:16323字

目 录

第1章引言 3

1.1背景介绍 3

1.2基本概念 4

1.3 界限和渐进性 6

1.4 论文结构 7

第2章Cover starter覆盖原理 7

第3章starter构造方法 9

3.1 starter没有不动点 9

3.2 寻找没有不动点的starter 11

3.3 starter有一个不动点 13

3.4 寻找有一个不动点的starter 15

第4章starter有无不动点的对比 17

第5章 全文总结 18

5.1推广starter 18

5.2主要结论 19

5.3研究展望 19

参考文献: 20

附录: 21

致谢 22

用cover starters构造强度为2的覆盖阵列

汤茂青

, China

Abstract:A covering array is an ×array from elements, and it requires every × sub-array, including all -length columns from elements at least once. We call

is the strength of the covering array. When and , are given some determined value, and there is an array whose columnsis smallest to meet the definition of the covering array, this array is the best covering array on this condition, and the value of is called the covering array number, written as .

This paper mainly explores the construction of strength-two covering array by using cover starters. When , we need find a long starter, if the starter we used has no fixed point, we can construct covering array . In addition, if we use a starter with a fixed point, a covering array can be constructed. When and are relatively small, we can manually find all suitable starters. Moreover, when and are slightly larger, all suitable starters also can be found through MATLAB programming. Finally, this method is extended to starter-array, mostly suitable for lt;, that is, using multiple starters, suppose there are starters, a covering arraycan be constructed.

Key words:covering array; cover starters; fixed point

第1章引言

1.1背景介绍

伴随软件产品的开发和发展,现如今我们对软件的依赖性是直接的并在日益增加,因为许多种类的软件已经成为我们日常生活的一部分。与过去不同,这些软件系统的开发生命周期经过几个阶段,包括需要仔细协调以满足所需用户规格的不同活动过程。一般来说,这一过程可以分为两个重要部分,即构建软件产品和检查所生产软件产品的质量。检查软件产品的质量过程中不可避免会出现各种软件系统的故障,而这些故障通常是由很多复杂的系统因素和它们之间的交互作用所引起,因为每个开发阶段可能会遭受不同的错误和故障,必须尽早检测,以防止其在整个软件中的传播,并降低检查成本[1]。

软件系统组件之间的意外交互是软件故障的常见来源,当软件组件的数量大幅增加时,这种风险正在增加。为了降低这种风险并确保软件质量,往往需要测试组件之间的所有交互情况,因为随机测试并不能保证所以因素交互的覆盖范围。例如,一个具有p组件的复杂软件系统,每个组件具有两个值,制造需要2p测试用例以彻底覆盖测试软件。由于各种不同的因素,包括时间、成本和资源限制等等,这在实践中又不可行。因此我们希望通过数学方法来构建软件间的交互测试情况来达到提高效率和降低成本的测试目的[1]。

后来新的交互测试方法被提出,即通过充分覆盖系统因素的各种组合情况的一种测试,它代表了最小化阵列中组件的所有交互,也就是覆盖阵列的引用。事实上,通过使用覆盖阵列的这种有效特性,不仅在软件测试中引入应用并应用于现代社会的各大重要领域,像在农林业,医药业和生化业都占有一席之地,因此关于构造覆盖阵列的研究引起了国内外学术界的广泛关注。

剩余内容已隐藏,请支付后下载全文,论文总字数:16323字

相关图片展示:

您需要先支付 80元 才能查看全部内容!立即支付

该课题毕业论文、开题报告、外文翻译、程序设计、图纸设计等资料可联系客服协助查找;