Liviu Ciortea
Cristian Zamfir
George Candea
Abstract
Cloud9 aims to reduce the resource-intensive and laborintensive nature of high-quality software testing. First, 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. Second, 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.
- Amazon EC2. http://aws.amazon.com/ec2.Google Scholar
- J. Barnat, L. Brim, and P. Rockai. Scalable multi-core LTL model-checking. In Intl. SPIN Workshop, 2007. Google ScholarDigital Library
- J. Barnat, L. Brim, and J. Stribna. Distributed LTL modelchecking in SPIN. In Intl. SPIN Workshop, 2001. Google ScholarDigital Library
- C. Cadar, D. Dunbar, and D.R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Systems Design and Implementation, 2008. Google ScholarDigital Library
- C. Cadar, V. Ganesh, P.M. Pawlowski, D.L. Dill, and D.R. Engler. EXE: Automatically generating inputs of death. In Conf. on Computer and Communication Security, 2006. Google ScholarDigital Library
- V. Chipounov, V. Georgescu, C. Zamfir, and G. Candea. Selective symbolic execution. In Workshop on Hot Topics in Dependable Systems, 2009.Google Scholar
- Eucalyptus software. http://open.eucalyptus.com/.Google Scholar
- C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. SIGPLAN Not., 2005. Google ScholarDigital Library
- P. Godefroid. Model checking for programming languages using Verisoft. In Symp. on Principles of Programming Languages, 1997. Google ScholarDigital Library
- P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Conf. on Programming Language Design and Implementation, 2005. Google ScholarDigital Library
- G.J. Holzmann, R. Joshi, and A. Groce. Swarm verification. In Intl. Conf. on Automated Software Engineering, 2008. Google ScholarDigital Library
- J.C. King. Symbolic execution and program testing. Communications of the ACM, 1976. Google ScholarDigital Library
- R. Kumar and E.G. Mercer. Load balancing parallel explicit state model checking. In Intl. Workshop on Parallel and Distributed Methods in Verification, 2004.Google Scholar
- C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis and transformation. In Intl. Symp. on Code Generation and Optimization, 2004. Google ScholarDigital Library
- R. Majumdar and K. Sen. Hybrid concolic testing. In Intl. Conf. on Software Engineering, 2007. Google ScholarDigital Library
- S. McConnell. Code Complete, chapter 3. Microsoft Press, 2004.Google Scholar
- Redhat security. http://www.redhat.com/security/updates/classification/, 2005.Google Scholar
- K. Sen. Concolic testing. In Intl. Conf. on Automated Software Engineering, 2007. Google ScholarDigital Library
- U. Stern and D.L. Dill. Parallelizing the Murf verifier. In Intl. Conf. on Computer Aided Verification, 1997. Google ScholarDigital Library
- Underwriters Labs. http://www.ul.com.Google Scholar
Index Terms
- Cloud9: a software testing service
Recommendations
Revision of total hip arthroplasty: Clinical outcome of extended trochanteric osteotomy and intraoperative femoral fracture
In femoral revision arthroplasty the orthopaedic surgeon frequently has to decide between performing an extended trochanteric osteotomy or trying to remove the femoral stem without an osteotomy and taking the risk of an intraoperative fracture. As this ...
Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods
Femoral shaft fractures can be treated using retrograde interlocking nailing systems; however, fracture nonunion still occurs. Dynamic fixation techniques, which remove either the proximal or distal locking screws, have been used to solve the problem of ...
Diagnostic value of bone scintigraphy for aseptic loosening after total knee arthroplasty
BACKGROUND: Despite technical improvements, aseptic loosening after total knee arthroplasty (TKA) remains a frequent complication. A one-stage revision arthroplasty is the most common therapeutic pathway.OBJECTIVE: The aim of this study was to evaluate ...
Comments