Algebraic Techniques for Covering Arrays and related Structures

Q2 Mathematics

Electronic Notes in Discrete Mathematics Pub Date : 2018-12-01 DOI:10.1016/j.endm.2018.11.008

Bernhard Garn, Dimitris E. Simos

引用次数: 3

Abstract

In this paper, we extend an existing algebraic modelling technique for covering arrays by considering additional properties which are required when these structures are applied in practice in a branch of software testing called combinatorial testing. Corresponding to these properties, we give semantically equivalent systems of multivariate polynomial equations.

查看原文本刊更多论文

覆盖数组和相关结构的代数技术

在本文中，我们扩展了现有的代数建模技术，通过考虑这些结构在软件测试的一个分支组合测试中实际应用时所需的附加属性来覆盖数组。根据这些性质，给出了多元多项式方程的语义等价方程组。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Electronic Notes in Discrete Mathematics Mathematics-Discrete Mathematics and Combinatorics

CiteScore

1.30

自引率

0.00%

发文量

期刊介绍： Electronic Notes in Discrete Mathematics is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication is appropriate. Organizers of conferences whose proceedings appear in Electronic Notes in Discrete Mathematics, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.