TY - GEN
T1 - Test suite reduction in idempotence testing of infrastructure as code
AU - Ikeshita, Katsuhiko
AU - Ishikawa, Fuyuki
AU - Honiden, Shinichi
N1 - Funding Information:
This work was partially supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), Japan Science and Technology Agency (JST).
Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85025133027&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85025133027&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-61467-0_6
DO - 10.1007/978-3-319-61467-0_6
M3 - Conference contribution
AN - SCOPUS:85025133027
SN - 9783319614663
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 98
EP - 115
BT - Tests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings
A2 - Johnsen, Einar Broch
A2 - Gabmeyer, Sebastian
PB - Springer Verlag
T2 - 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
Y2 - 19 July 2017 through 20 July 2017
ER -