Cloud9

Automated Software Testing at Scale

Cloud9 aims to reduce the resource-intensive and labor-intensive nature of high-quality software testing.

Cloud9 parallelizes symbolic execution - an effective but still poorly scalable test automation technique - to large shared-nothing clusters. To our knowledge, Cloud9 is the first symbolic execution engine that scales to large clusters of machines, thus enabling thorough automated testing of real software in conveniently short amounts of time. Preliminary results indicate one to two orders of magnitude speedup over a state-of-the-art symbolic execution engine.

Cloud9 is an on-demand software testing service: it runs on compute clouds, like Amazon EC2, and scales its use of resources over a wide dynamic range, proportionally with the testing task at hand.

Cloud9 can be downloaded from http://cloud9.epfl.ch/

Publications

Parallel Symbolic Execution for Automated Real-World Software Testing. Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. ACM EuroSys Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011
Automated Software Testing as a Service. George Candea, Stefan Bucur, Cristian Zamfir. ACM Symposium on Cloud Computing (SOCC), Indianapolis, IN, June 2010
Cloud9: A Software Testing Service. Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea. ACM Operating Systems Review, Vol. 43, No. 4, December 2009. (Also in proceedings of the 3rd SOSP Workshop on Large Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, October 2009)

Media

Cloud9 received the Gold Prize at the OSS World Challenge 2013.