Model Checking Guided Testing for Distributed Systems
Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Huang Tao
Abstract
Distributed systems have become the backbone of cloud computing. Incorrect system designs and implementations can greatly impair the reliability of distributed systems. Although a distributed system design modelled in the formal specification can be verified by formal model checking, it is still challenging to figure out whether its corresponding implementation conforms to the verified specification. An incorrect system implementation can violate its verified specification, and causes intricate bugs.
Topics & Concepts
Computer scienceImplementationReliability (semiconductor)Model checkingFormal specificationDistributed computingFormal verificationCloud computingFormal methodsSystem requirements specificationReliability engineeringProgramming languageSoftware engineeringOperating systemEngineeringPower (physics)Quantum mechanicsPhysicsDistributed systems and fault toleranceSoftware Testing and Debugging TechniquesFormal Methods in Verification