Work

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management

Year: 2023

Type: conference-paper

Abstract: Cloud systems are increasingly being managed by operation programs termed operators, which automate tedious, human-based operations. Operators of modern management platforms like Kubernetes, Twine, and ECS implement declarative interfaces based on the state-reconciliation principle. An operation declares a desired system state and the operator automatically reconciles the system to that declared state.

Source: ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

DOI: 10.1145/3600006.3613161

Authors: Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu

Institutions: University of Illinois Urbana-Champaign, IBM (United States), Cornell University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: National Science Foundation

Awards: FMitF: Track II: eMOP: A Tool for Evolution-Aware Runtime Verification, CAREER: Rethinking Configuration Management for Cloud and Datacenter Systems, Collaborative Research: CNS Core: Small: A new framework for building fail-slow fault-tolerant distributed systems, CAREER: Specializing Runtime Verification for Software Testing

OpenAlex ID: W4387321514

FWCI: 5.486

Cites: 27

Cited by: 31

Related to: 10