Modeling and testing of cloud applications

What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access rights as an attribute of a graph node, and the use of a resource as a predicate on an edge of the graph. We also propose to model cloud computation semantically as a set of paths in a subgraph of the cloud such that every edge contains a predicate that is evaluated to be true. Finally, we present algorithms to compose cloud computations and a family of model-based testing criteria to support the testing of cloud applications.

[1]  Stephen S. Yau,et al.  Testing context-sensitive middleware-based software applications , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[2]  T. H. Tse,et al.  An Adaptive Service Selection Approach to Service Composition , 2008, 2008 IEEE International Conference on Web Services.

[3]  Remco M. Dijkman,et al.  Service composition: concepts, techniques, tools and trends , 2005 .

[4]  Valérie Issarny,et al.  Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.

[5]  Prashant Pandey,et al.  Cloud computing , 2010, ICWET.

[6]  Zhenyu Zhang,et al.  More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[7]  Sergey Brin,et al.  The Anatomy of a Large-Scale Hypertextual Web Search Engine , 1998, Comput. Networks.

[8]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[9]  T. H. Tse,et al.  Data flow testing of service-oriented workflow applications , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[10]  Amitava Mukherjee,et al.  Pervasive Computing: A Paradigm for the 21st Century , 2003, Computer.

[11]  Man F. Lau,et al.  An extended fault class hierarchy for specification-based testing , 2005, TSEM.

[12]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[13]  Geng Lin,et al.  Cloud Computing and IT as a Service: Opportunities and Challenges , 2008, 2008 IEEE Congress on Services Part II (services-2 2008).

[14]  Dave Thomas,et al.  Enabling Application Agility - Software as A Service, Cloud Computing and Dynamic Languages , 2008, J. Object Technol..

[15]  T. H. Tse,et al.  Data flow testing of service choreography , 2009, ESEC/FSE '09.

[16]  Marco Aiello,et al.  IEEE Asia-Pacific Services Computing Conference , 2010 .

[17]  Doug Johnson,et al.  Computing in the Clouds. , 2010 .

[18]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.

[19]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[20]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[21]  T. H. Tse,et al.  Testing pervasive software in the presence of context inconsistency resolution services , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[22]  T. H. Tse,et al.  A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues , 2008, 2008 IEEE Asia-Pacific Services Computing Conference.

[23]  Daniel P. Siewiorek,et al.  Toward Context-Aware Computing: Experiences and Lessons , 2001, IEEE Intell. Syst..

[24]  Wonjun Lee,et al.  Context-Aware Service Composition for Mobile Network Environments , 2007, UIC.

[25]  Kathryn Fraughnaugh,et al.  Introduction to graph theory , 1973, Mathematical Gazette.

[26]  Kemal A. Delic,et al.  Emergence of the Academic Computing Clouds , 2008, UBIQ.

[27]  Rajkumar Buyya,et al.  Economic-based Distributed Resource Management and Scheduling for Grid Computing , 2002, ArXiv.

[28]  Rajkumar Buyya,et al.  Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities , 2008, 2008 10th IEEE International Conference on High Performance Computing and Communications.