Description: ProTI is an automated, extensible testing tool for Infrastructure as Code programs.
ProTI automatically mocks all resource definitions and quickly tests a Pulumi TypeScript program in many different configurations.
ProTI provides ad-hoc specification syntax to augment test case generation and validation with application-specific values and checks.
ProTI features an extensible plugin mechanism for test generators and oracles, enabling reuse, exchange, and research on novel strategies for IaC program testing.