Issue No. 02 - March-April (2012 vol. 29)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2011.158
Linghao Zhang , Nanjing University
Xiaoxing Ma , Nanjing University
Jian Lu , Nanjing University
Tao Xie , North Carolina State University
Nikolai Tillmann , Microsoft Research
Peli de Halleux , Microsoft Research
Platforms such as Windows Azure let applications conduct data-intensive cloud computing. Unit testing can help ensure high-quality development of such applications, but the results depend on test inputs and the cloud environment's state. Manually providing various test inputs and cloud states is laborious and time-consuming. However, automated test generation must simulate various cloud states to achieve effective testing. To address this challenge, a proposed approach models the cloud environment and applies dynamic symbolic execution to generate test inputs and cloud states. Applying this approach to open-source Azure cloud applications shows that it can achieve high structural coverage.
cloud computing, software testing, dynamic symbolic execution, cloud environment model, software engineering
J. Lu, L. Zhang, T. Xie, N. Tillmann, X. Ma and P. de Halleux, "Environmental Modeling for Automated Cloud Application Testing," in IEEE Software, vol. 29, no. , pp. 30-35, 2011.