Model Checking Guided Testing for Distributed Systems
Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Huang Tao · 2023
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.