Test suite reduction in idempotence testing of infrastructure as code

Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルTests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings
編集者Einar Broch Johnsen, Sebastian Gabmeyer
出版社Springer Verlag
ページ98-115
ページ数18
ISBN(印刷版)9783319614663
DOI
出版ステータスPublished - 2017
外部発表はい
イベント11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017 - Marburg, Germany
継続期間: 2017 7 192017 7 20

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
10375 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)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)

フィンガープリント 「Test suite reduction in idempotence testing of infrastructure as code」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル