Combinatorial Optimization for Constructing Covering Arrays and Sequence Covering Arrays
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "Mathematics and Computer Science".
Deadline for manuscript submissions: 31 August 2024 | Viewed by 560
Special Issue Editor
Special Issue Information
Dear Colleagues,
Nowadays, many combinatorial designs have been used that have succeeded in reducing the number of trials needed to obtain certain expected results in many fields, like Software Testing Processes, Business Processes, and Industrial Processes. In general, it is highly desirable to reduce the number of trials while increasing the possibilities of obtaining certain adjustments of a configuration for a system. For instance, in Software Testing Processes, it is advantageous to use the minimum number of tests to exercise at least once: a) all combinations of values from all subsets of a certain size with the total number of input variables of a software component; and b) all sequences in which all subsets of variables of a certain size are fed to a software component.
The combinatorial design used to test combinations of values of variables is the Covering Array (CA) defined as CA(N ; t, k, v), which is a matrix of the size N × k, where N is the number of tests, k is the number of variables, v is the number of possible values of each variable, and t is the size of the desired interaction. The combinatorial design used to exercise the order in which the input variables are fed to a system is called Sequence Covering Array (SCA) defined as SCA(M ; t, k), which is a matrix of the size M xk, where M is the number of possible orders, k is the number of input variables, and t is the size of the subsequences of input variables to be covered at least once.
As an optimization problem: a) the problem of constructing an optimal CA(N ; t, k, v) aims to minimize the value of N , maintaining the coverage of all the combinations of values of each t of the k input variables, at least once (each test in a CA belongs to the set vk); b) the problem of constructing an optimal SCA(M ; t, k) aims to minimize the value of M, satisfying the coverage of all subsequences for each t of the k input variables (each test in an SCA belongs to the set of k! permutations).
There are few optimal known cases for CAs and SCAs, for instance, CA(vt; t, k + 1, v) where v is a prime power and SCA(t!; t; t + 1) for t∈ {3, 5, 6}, but in general, the problems of constructing optimal CAs and optimal SCAs are hard combinatorial optimization problems, so it is desirable to use optimization algorithms to construct both combinatorial designs that are nearly optimal ones.
In this Special Issue of Mathematics papers are welcomed that report: a) novel constructions that use greedy, metaheuristic, and/or exact approaches to construct CAs and SCAs; and b) novel applications of CAs and/or SCAs.
Dr. Jose Torres-Jimenez
Guest Editor
Manuscript Submission Information
Manuscripts should be submitted online at mdpi.longhoe.net by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Mathematics is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- combinatorial optimization
- covering array
- optimization problems
- constructing covering arrays
- sequence covering arrays
