Cloud9 aims to reduce the resource-intensive and labor-intensive nature
of high-quality software testing. It does so in two ways:
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
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.
For more details, see
- Parallel Symbolic Execution for Automated Real-World Software Testing
Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. 6th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011.
- Automated Software Testing as a Service
George Candea, Stefan Bucur, Cristian Zamfir. 1st 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.