Winzinger, StefanStefanWinzinger0000-0002-4526-286X2025-01-172025-01-172025https://fis.uni-bamberg.de/handle/uniba/105587Dissertation, Otto-Friedrich-Universität Bamberg, 2024The development of systems executed natively in the cloud is steadily increasing. In particular, serverless computing is used more often. Because of their statelessness, serverless functions enable an effective scaling of the system. The utilized functions are well-testable in isolation. However, integrating individual components creates a problem space that needs to be tested. Additionally, its complexity can rapidly change caused by a constantly evolving environment. Therefore, this work investigates how integration testing of such systems can be supported. Firstly, it is investigated how the relevant characteristics can be modeled to analyze the system and create test cases with them. Additionally, several potential coverage criteria based on the control and data flow between components are introduced. This work also demonstrates how these criteria can be implemented in serverless applications and how test cases can be automatically generated using models. Finally, the coverage criteria are evaluated using mutation testing with various applications.engServerless ComputingFaaSintegration testingmutation testingcoverage criteriamodel-based testing004doctoralthesisurn:nbn:de:bvb:473-irb-1055875