The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March-April (2015 vol.8)
pp: 299-313
Marcos Palacios , Department of Computer Science , University of Oviedo, Campus Universitario de Gijón, Gijón, Spain
Jose Garcia-Fanjul , Department of Computer Science , University of Oviedo, Campus Universitario de Gijón, Gijón, Spain
Javier Tuya , Department of Computer Science , University of Oviedo, Campus Universitario de Gijón, Gijón, Spain
George Spanoudakis , Department of Computing, School of Informatics, City University London, London,
ABSTRACT
Service level agreements (SLAs) are typically used to specify rules regarding the consumption of services that are agreed between the providers of the service-based applications (SBAs) and their consumers. An SLA includes a list of terms that contain the guarantees that must be fulfilled during the provisioning and consumption of the services. Since the violation of such guarantees may lead to the application of potential penalties, it is important to assure that the SBA behaves as expected. In this paper, we propose a proactive approach to test SLA-aware SBAs by means of identifying test requirements, which represent situations that are relevant to be tested. To address this issue, we define a four-valued logic that allows evaluating both the individual guarantee terms and their logical relationships. Grounded in this logic, we devise a test criterion based on the modified condition decision coverage (MCDC) in order to obtain a cost-effective set of test requirements from the structure of the SLA. Furthermore by analyzing the syntax and semantics of the agreement, we define specific rules to avoid non-feasible test requirements. The whole approach has been automated and applied over an eHealth case study.
INDEX TERMS
Testing, Context, Monitoring, Runtime, Standards, Syntactics, Semantics,MCDC, Software testing, service based applications, service level agreements, coverage criterion
CITATION
Marcos Palacios, Jose Garcia-Fanjul, Javier Tuya, George Spanoudakis, "Coverage-Based Testing for Service Level Agreements", IEEE Transactions on Services Computing, vol.8, no. 2, pp. 299-313, March-April 2015, doi:10.1109/TSC.2014.2300486
79 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool