Automated Testing of Distributed Systems

Download: PDF.

“Automated Testing of Distributed Systems” by Nathan Boy, Jared Casper, Carlos Pacheco, and Amy Williams. May 2004. Final project report for MIT 6.824: Distributed Computer Systems.

Abstract

We present a technique to test servers that interact with clients using the Sun RPC protocol. The technique requires the user to provide two things: a list of RPC calls for the server being tested, and a set of invariants that are required to hold over the RPC communications trace between a set of clients and the server. The technique works by generating random sequences of RPC calls and checking that the invariants hold over the traces. If an invariant is violated, the violating sequence of RPC calls is reported to the user. We report the results of our testing a block server and a lock server.

Download: PDF.

BibTeX entry:

@misc{BoyCPW2003,
   author = {Nathan Boy and Jared Casper and Carlos Pacheco and Amy Williams},
   title = {Automated Testing of Distributed Systems},
   month = may,
   year = {2004},
   note = {Final project report for MIT 6.824: Distributed Computer Systems.}
}