Cloud computing platforms provide significant benefits over more conventional distributed systems by providing easy scaling and availability to applications. Unfortunately, writing cloud programs is significantly more difficult than writing software for a conventional web server or cluster.
This is because cloud systems are concurrent, geographically distributed systems, and they consist of commodity components and networks that may fail complex ways. We propose, DesCloud, a desktop simulator tool for run time verification of cloud programs which will include algorithms for systematically exploring different possible executions of a cloud program.
The tool will run on a desktop and will control different sources of non-determinism and will allow recording, and replay of erroneous executions for the ease of debugging.