Title
TEA-<italic>Cloud</italic>: A Formal Framework for Testing Cloud Computing Systems
Abstract
The validation of a cloud system can be complicated by the size of the system, the number of users that can concurrently request services, and the virtualization used to give the illusion of using dedicated machines. Unfortunately, it is not feasible to use conventional testing methods with cloud systems. This article proposes a framework, called TEA-Cloud, that integrates simulation with testing methods for validating cloud system designs. Testing is applied on both functional and nonfunctional aspects of the cloud, like performance and cost. The aim of the framework is to provide a complete methodology to help users to model both software and hardware parts of cloud systems and automatically test the validity of these clouds using a cost-effective approach. Metamorphic testing is used to overcome the lack of an oracle that checks whether the behavior observed in testing is allowed. Metamorphic testing is based on metamorphic relations (MRs). We define three families of MRs, which target issues such as performance, resource provisioning, and cost. TEA-Cloud was evaluated through an empirical study that used fault seeding (mutation) and ten MRs for testing different cloud configurations. The results were promising, with TEA-Cloud finding all seeded faults.
Year
DOI
Venue
2021
10.1109/TR.2020.3011512
IEEE Transactions on Reliability
Keywords
DocType
Volume
Cloud computing,metamorphic testing (MT),mutation testing,simulation
Journal
70
Issue
ISSN
Citations 
1
0018-9529
1
PageRank 
References 
Authors
0.35
0
4
Name
Order
Citations
PageRank
Alberto Nuñez1499.10
Pablo CañIzares263.48
Manuel Núñez399979.03
Robert M. Hierons42069117.63