Verifying Cloud Services: Present and Future
Venue
Operating Systems Review (2013)
Publication Year
2013
Authors
Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer
BibTeX
Abstract
As cloud-based services gain popularity in both private and enterprise domains,
cloud consumers are still lacking in tools to verify that these services work as
expected. Such tools should consider properties such as functional correctness,
service availability, reliability, performance and security guar- antees. In this
paper we survey existing work in these ar- eas and identify gaps in existing cloud
technology in terms of the verication tools provided to users. We also discuss
challenges and new research directions that can help bridge these gaps.
