Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code

Daniel Sokolowski; David Spielmann; Guido Salvaneschi

doi:10.1145/3639478.3643078

Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code

Type

conference poster

Date Issued

2024

Author(s)

Daniel Sokolowski

;

David Spielmann

;

Guido Salvaneschi

DOI

10.1145/3639478.3643078

Abstract

Infrastructure as Code (IaC) programs are written in imperative programming languages like Python or TypeScript while declaratively defining the target state of software deployments, which the IaC solution then sets up, e.g., Pulumi and AWS CDK. Through a repository mining study and analysis, we noticed that testing IaC programs poses a dilemma: current techniques are either slow and expensive or require prohibitively high development effort. To solve this issue, we introduce Automated Configuration Testing (ACT), enabling efficient testing with low development effort. ACT automates the tedious aspects of unit testing IaC programs and is extensible through a plugin system for test generators and oracles. ACT is already effective with simple type-based plugins, and leveraging existing giants, i.e., advanced test generation and oracle techniques, in new plugins will further boost its effectiveness.

Keywords

Property-based Testing

Fuzzing

Infrastructure as Code

DevOps

URL

https://www.alexandria.unisg.ch/handle/20.500.14171/120130

File(s)

Name

2024_Unleashing-the-Giants-Enabling-Advanced-Testing-for-Infrastructure-as-Code.pdf

Size

383.81 KB

Format

Adobe PDF

Checksum (MD5)

ac1a1bf5eeb693f77b6ffc18289376b1