AutoCCAG: An automated approach to constrained covering array generation

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Chuan Luo
  • Jinkun Lin
  • Shaowei Cai
  • Xin Chen
  • Bing He
  • Bo Qiao
  • Pu Zhao
  • Qingwei Lin
  • Hongyu Zhang
  • Wei Wu
  • Saravanakumar Rajmohan
  • Dongmei Zhang

Research Organisations

External Research Organisations

  • Microsoft Research
  • University of Newcastle
  • Chinese Academy of Sciences (CAS)
View graph of relations

Details

Original languageEnglish
Title of host publicationProceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021
PublisherIEEE Computer Society
Pages201-212
Number of pages12
ISBN (electronic)9780738113197
ISBN (print)978-1-6654-0296-5
Publication statusPublished - May 2021
Event43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021 - Virtual, Online, Spain
Duration: 22 May 202130 May 2021

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)1558-1225
ISSN (electronic)0270-5257

Abstract

Combinatorial interaction testing (CIT) is an important technique for testing highly configurable software systems with demonstrated effectiveness in practice. The goal of CIT is to generate test cases covering the interactions of configuration options, under certain hard constraints. In this context, constrained covering arrays (CCAs) are frequently used as test cases in CIT. Constrained Covering Array Generation (CCAG) is an NP-hard combinatorial optimization problem, solving which requires an effective method for generating small CCAs. In particular, effectively solving t-way CCAG with t>=4 is even more challenging. Inspired by the success of automated algorithm configuration and automated algorithm selection in solving combinatorial optimization problems, in this paper, we investigate the efficacy of automated algorithm configuration and automated algorithm selection for the CCAG problem, and propose a novel, automated CCAG approach called AutoCCAG. Extensive experiments on public benchmarks show that AutoCCAG can find much smaller-sized CCAs than current state-of-the-art approaches, indicating the effectiveness of AutoCCAG. More encouragingly, to our best knowledge, our paper reports the first results for CCAG with a high coverage strength (i.e., 5-way CCAG) on public benchmarks. Our results demonstrate that AutoCCAG can bring considerable benefits in testing highly configurable software systems.

Keywords

    Automated Algorithm Optimization, Constrained Covering Array Generation

ASJC Scopus subject areas

Cite this

AutoCCAG: An automated approach to constrained covering array generation. / Luo, Chuan; Lin, Jinkun; Cai, Shaowei et al.
Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society, 2021. p. 201-212 (Proceedings - International Conference on Software Engineering).

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Luo, C, Lin, J, Cai, S, Chen, X, He, B, Qiao, B, Zhao, P, Lin, Q, Zhang, H, Wu, W, Rajmohan, S & Zhang, D 2021, AutoCCAG: An automated approach to constrained covering array generation. in Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. Proceedings - International Conference on Software Engineering, IEEE Computer Society, pp. 201-212, 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Virtual, Online, Spain, 22 May 2021. https://doi.org/10.1109/ICSE43902.2021.00030
Luo, C., Lin, J., Cai, S., Chen, X., He, B., Qiao, B., Zhao, P., Lin, Q., Zhang, H., Wu, W., Rajmohan, S., & Zhang, D. (2021). AutoCCAG: An automated approach to constrained covering array generation. In Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021 (pp. 201-212). (Proceedings - International Conference on Software Engineering). IEEE Computer Society. https://doi.org/10.1109/ICSE43902.2021.00030
Luo C, Lin J, Cai S, Chen X, He B, Qiao B et al. AutoCCAG: An automated approach to constrained covering array generation. In Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society. 2021. p. 201-212. (Proceedings - International Conference on Software Engineering). doi: 10.1109/ICSE43902.2021.00030
Luo, Chuan ; Lin, Jinkun ; Cai, Shaowei et al. / AutoCCAG : An automated approach to constrained covering array generation. Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society, 2021. pp. 201-212 (Proceedings - International Conference on Software Engineering).
Download
@inproceedings{05a2cf1adae244ec9094e5756fd31e98,
title = "AutoCCAG: An automated approach to constrained covering array generation",
abstract = "Combinatorial interaction testing (CIT) is an important technique for testing highly configurable software systems with demonstrated effectiveness in practice. The goal of CIT is to generate test cases covering the interactions of configuration options, under certain hard constraints. In this context, constrained covering arrays (CCAs) are frequently used as test cases in CIT. Constrained Covering Array Generation (CCAG) is an NP-hard combinatorial optimization problem, solving which requires an effective method for generating small CCAs. In particular, effectively solving t-way CCAG with t>=4 is even more challenging. Inspired by the success of automated algorithm configuration and automated algorithm selection in solving combinatorial optimization problems, in this paper, we investigate the efficacy of automated algorithm configuration and automated algorithm selection for the CCAG problem, and propose a novel, automated CCAG approach called AutoCCAG. Extensive experiments on public benchmarks show that AutoCCAG can find much smaller-sized CCAs than current state-of-the-art approaches, indicating the effectiveness of AutoCCAG. More encouragingly, to our best knowledge, our paper reports the first results for CCAG with a high coverage strength (i.e., 5-way CCAG) on public benchmarks. Our results demonstrate that AutoCCAG can bring considerable benefits in testing highly configurable software systems.",
keywords = "Automated Algorithm Optimization, Constrained Covering Array Generation",
author = "Chuan Luo and Jinkun Lin and Shaowei Cai and Xin Chen and Bing He and Bo Qiao and Pu Zhao and Qingwei Lin and Hongyu Zhang and Wei Wu and Saravanakumar Rajmohan and Dongmei Zhang",
year = "2021",
month = may,
doi = "10.1109/ICSE43902.2021.00030",
language = "English",
isbn = "978-1-6654-0296-5",
series = "Proceedings - International Conference on Software Engineering",
publisher = "IEEE Computer Society",
pages = "201--212",
booktitle = "Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021",
address = "United States",
note = "43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021 ; Conference date: 22-05-2021 Through 30-05-2021",

}

Download

TY - GEN

T1 - AutoCCAG

T2 - 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021

AU - Luo, Chuan

AU - Lin, Jinkun

AU - Cai, Shaowei

AU - Chen, Xin

AU - He, Bing

AU - Qiao, Bo

AU - Zhao, Pu

AU - Lin, Qingwei

AU - Zhang, Hongyu

AU - Wu, Wei

AU - Rajmohan, Saravanakumar

AU - Zhang, Dongmei

PY - 2021/5

Y1 - 2021/5

N2 - Combinatorial interaction testing (CIT) is an important technique for testing highly configurable software systems with demonstrated effectiveness in practice. The goal of CIT is to generate test cases covering the interactions of configuration options, under certain hard constraints. In this context, constrained covering arrays (CCAs) are frequently used as test cases in CIT. Constrained Covering Array Generation (CCAG) is an NP-hard combinatorial optimization problem, solving which requires an effective method for generating small CCAs. In particular, effectively solving t-way CCAG with t>=4 is even more challenging. Inspired by the success of automated algorithm configuration and automated algorithm selection in solving combinatorial optimization problems, in this paper, we investigate the efficacy of automated algorithm configuration and automated algorithm selection for the CCAG problem, and propose a novel, automated CCAG approach called AutoCCAG. Extensive experiments on public benchmarks show that AutoCCAG can find much smaller-sized CCAs than current state-of-the-art approaches, indicating the effectiveness of AutoCCAG. More encouragingly, to our best knowledge, our paper reports the first results for CCAG with a high coverage strength (i.e., 5-way CCAG) on public benchmarks. Our results demonstrate that AutoCCAG can bring considerable benefits in testing highly configurable software systems.

AB - Combinatorial interaction testing (CIT) is an important technique for testing highly configurable software systems with demonstrated effectiveness in practice. The goal of CIT is to generate test cases covering the interactions of configuration options, under certain hard constraints. In this context, constrained covering arrays (CCAs) are frequently used as test cases in CIT. Constrained Covering Array Generation (CCAG) is an NP-hard combinatorial optimization problem, solving which requires an effective method for generating small CCAs. In particular, effectively solving t-way CCAG with t>=4 is even more challenging. Inspired by the success of automated algorithm configuration and automated algorithm selection in solving combinatorial optimization problems, in this paper, we investigate the efficacy of automated algorithm configuration and automated algorithm selection for the CCAG problem, and propose a novel, automated CCAG approach called AutoCCAG. Extensive experiments on public benchmarks show that AutoCCAG can find much smaller-sized CCAs than current state-of-the-art approaches, indicating the effectiveness of AutoCCAG. More encouragingly, to our best knowledge, our paper reports the first results for CCAG with a high coverage strength (i.e., 5-way CCAG) on public benchmarks. Our results demonstrate that AutoCCAG can bring considerable benefits in testing highly configurable software systems.

KW - Automated Algorithm Optimization

KW - Constrained Covering Array Generation

UR - http://www.scopus.com/inward/record.url?scp=85115669653&partnerID=8YFLogxK

U2 - 10.1109/ICSE43902.2021.00030

DO - 10.1109/ICSE43902.2021.00030

M3 - Conference contribution

AN - SCOPUS:85115669653

SN - 978-1-6654-0296-5

T3 - Proceedings - International Conference on Software Engineering

SP - 201

EP - 212

BT - Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021

PB - IEEE Computer Society

Y2 - 22 May 2021 through 30 May 2021

ER -