Test suite reduction in idempotence testing of infrastructure as code

Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Infrastructure as Code, which uses machine-processable code for managing, provisioning, and configuring computing infrastructure, has been attracting wide attention. In its application, the idempotence of the code is essential: the system should converge to the desired state even if the code is repeatedly executed possibly with failures or interruptions. Previous studies have used testing or static verification techniques to check whether the code is idempotent or not. The testing approach is impractically time-consuming, whereas the static verification approach is not applicable in many practical cases in which external scripts are used. In this paper, we present a method for efficiently checking idempotence by combining the testing and static verification approaches. The method dramatically decreases the number of test cases used to check code including external scripts by applying the static verification approach.

Original languageEnglish
Title of host publicationTests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings
PublisherSpringer-Verlag
Pages98-115
Number of pages18
ISBN (Print)9783319614663
DOIs
Publication statusPublished - 2017 Jan 1
Externally publishedYes
Event11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017 - Marburg, Germany
Duration: 2017 Jul 192017 Jul 20

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10375 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
CountryGermany
CityMarburg
Period17/7/1917/7/20

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Test suite reduction in idempotence testing of infrastructure as code'. Together they form a unique fingerprint.

  • Cite this

    Ikeshita, K., Ishikawa, F., & Honiden, S. (2017). Test suite reduction in idempotence testing of infrastructure as code. In Tests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings (pp. 98-115). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10375 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-61467-0_6