The Community for Technology Leaders
Green Image
Issue No. 02 - March-April (2012 vol. 29)
ISSN: 0740-7459
pp: 30-35
Jian Lu , Nanjing University
Linghao Zhang , Nanjing University
Tao Xie , North Carolina State University
Nikolai Tillmann , Microsoft Research
Xiaoxing Ma , Nanjing University
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
Jian Lu, Linghao Zhang, Tao Xie, Nikolai Tillmann, Xiaoxing Ma, Peli de Halleux, "Environmental Modeling for Automated Cloud Application Testing", IEEE Software, vol. 29, no. , pp. 30-35, March-April 2012, doi:10.1109/MS.2011.158
181 ms
(Ver 3.1 (10032016))