Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing

10/13/2021
by   Hao Jin, et al.
0

Context: Detecting arrays are mathematical structures aimed at fault identification in combinatorial interaction testing. However, they cannot be directly applied to systems that have constraints among test parameters. Such constraints are prevalent in real-world systems. Objectives: This paper proposes Constrained Detecting Arrays (CDAs), an extension of detecting arrays, which can be used for systems with constraints. Methods: The paper examines the properties and capabilities of CDAs with rigorous arguments. The paper also proposes two algorithms for constructing CDAs: One is aimed at generating minimum CDAs and the other is a heuristic algorithm aimed at fast generation of CDAs. The algorithms are evaluated through experiments using a benchmark dataset. Results: Experimental results show that the first algorithm can generate minimum CDAs if a sufficiently long generation time is allowed, and the second algorithm can generate minimum or near-minimum CDAs in a reasonable time. Conclusion: CDAs enhance detecting arrays to be applied to systems with constraints. The two proposed algorithms have different advantages with respect to the array size and generation time

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/06/2017

Constrained locating arrays for combinatorial interaction testing

This paper introduces the notion of Constrained Locating Arrays (CLAs), ...
research
09/28/2019

Using simulated annealing for locating array construction

Context: Combinatorial interaction testing is known to be an efficient t...
research
04/16/2019

Finding minimum locating arrays using a CSP solver

Combinatorial interaction testing is an efficient software testing strat...
research
12/19/2017

Column Generation for Interaction Coverage in Combinatorial Software Testing

This paper proposes a novel column generation framework for combinatoria...
research
04/22/2021

Algorithms for finding generalized minimum aberration designs

Statistical design of experiments is widely used in scientific and indus...
research
05/26/2021

Incomplete MaxSAT Approaches for Combinatorial Testing

We present a Satisfiability (SAT)-based approach for building Mixed Cove...
research
12/01/2013

A Combined Approach for Constraints over Finite Domains and Arrays

Arrays are ubiquitous in the context of software verification. However, ...

Please sign up or login with your details

Forgot password? Click here to reset