Imagen de Portada
Código QR

The Verification of a Distributed System.

The article discusses the verification and validation of distributed systems. Particular focus is given to partial failure and asynchrony. Details on formal specification languages such as TLA+ and Coq, and on the formal verification method known as model checking, are presented. Informal methods su...

Descripción completa

Publicado en:Communications of the ACM Vol. 59; no. 2; pp. 52 - 56
Autor principal: MCCAFFREY, CAITIE
Formato: Artículo
Publicado: Association for Computing Machinery Feb2016
Materias:
Distributed computing
Software verification
Software validation
Computer software testing
Technical specifications
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article discusses the verification and validation of distributed systems. Particular focus is given to partial failure and asynchrony. Details on formal specification languages such as TLA+ and Coq, and on the formal verification method known as model checking, are presented. Informal methods such as monitoring, canary tests, and unit and integration tests are also discussed, along with random model checkers and fault-injection testing.