Environmental Modeling for Automated Cloud Application Testing

Linghao Zhang,Xiaoxing Ma,Jian Lu,Tao Xie,Nikolai Tillmann,Peli de Halleux
DOI: https://doi.org/10.1109/ms.2011.158
IF: 3
2011-01-01
IEEE Software
Abstract: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.
What problem does this paper attempt to address?