• Systems Correctness Practices...

Treffer: Systems Correctness Practices at Amazon Web Services.

Title:
Systems Correctness Practices at Amazon Web Services.
Authors:
Brooker, Marc1 (AUTHOR) marcbrooker@gmail.com, Desai, Ankush1 (AUTHOR) ankush@eecs.berkeley.edu
Source:
Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.
Subject Terms:
*SOFTWARE reliability, *PROGRAMMING languages, *SIMULATION methods & models, *VIRTUAL machine systems, COMPUTER software correctness
Company/Entity:
AMAZON Web Services Inc.
Database:
Business Source Premier

Weitere Informationen

This article provides an overview of the current practices, both formal and semi-formal, employed at Amazon Web Services (AWS) for ensuring system correctness. Topics include the use of the formal specification language TLA+ as well as the incorporation of another language, P, a state-machine-based language at AWS, as well as methods including property-based testing, fault-injection testing and event-based simulation.