short-paper

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud

Authors:

Maria Spichkova,

Heinz W. Schmidt,

Matt DuckhamAuthors Info & Claims

ASWEC ' 15 Vol. II: Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference

Pages 18 - 22

https://doi.org/10.1145/2811681.2811685

Published: 28 September 2015 Publication History

Abstract

Increasingly, various services are deployed and orchestrated in the cloud to form global, large-scale systems. The global distribution, high complexity, and physical separation pose new challenges into the quality assurance of such complex services. One major challenge is that they are intricately connected with the spatial and temporal characteristics of the domains they support. In this paper, we present our visions on the integration of spatial and temporal logic into the system design and quality maintenance of the complex services in the cloud. We suggest that new paradigms should be proposed for designing software architecture that will particularly embed the spatial and temporal properties of the cloud services, and new testing methodologies should be developed based on architecture including spatio-temporal aspects. We also discuss several potential directions in the relevant research.

References

[1]

S. Alamri, D. Taniar, and M. Safar. Indexing of spatiotemporal objects in indoor environments. In AINA2013, pages 453--460, 2013.

Digital Library

[2]

A. C. Barus, T. Y. Chen, F.-C. Kuo, H. Liu, R. Merkel, and G. Rothermel. A novel linear-order algorithm for adaptive random testing of programs with non-numeric inputs. Technical Report TR-UNL-CSE-2014-0004, Univ. of Nebraska -- Lincoln, Dec 2014.

[3]

A. Both, W. Kuhn, and M. Duckham. Spatiotemporal Braitenberg vehicles. In ACM SIGSPATIAL GIS2013, pages 74--83, 2013.

Digital Library

[4]

T. Y. Chen, F.-C. Kuo, H. Liu, and W. E. Wong. Code coverage of adaptive random testing. IEEE T. Reliab., 62(1):226--237, 2013.

[5]

T. Y. Chen, F.-C. Kuo, R. G. Merkel, and T. H. Tse. Adaptive random testing: The ART of test case diversity. J. Syst. Software, 83(1):60--66, 2010.

Digital Library

[6]

M. Duckham, L. Kulik, and A. Birtley. A spatiotemporal model of strategies and counter strategies for location privacy. In GIScience2006, pages 47--64, 2006.

Digital Library

[7]

H. Hemmati, A. Arcuri, and L. Briand. Achieving scalable model-based testing through test case diversity. ACM T. Software Eng. Meth., 22(1):6:1--6:42, 2013.

Digital Library

[8]

H. Liu, F.-C. Kuo, D. Towey, and T. Y. Chen. How effectively does metamorphic testing alleviate the oracle problem? IEEE T. Software Eng., 40(1):4--22, 2014.

Digital Library

[9]

H. Liu, I. I. Yusuf, H. W. Schmidt, and T. Y. Chen. Metamorphic fault tolerance: An automated and systematic methodology for fault tolerance in the absence of test oracle. In ICSE2014, pages 420--423, 2014.

Digital Library

[10]

A. Mousavi, M. Duckham, R. Kotagiri, and A. Rajabifard. Spatio-temporal event detection using probabilistic graphical models (PGMs). In CIDM2013, pages 81--88, 2013.

[11]

G. J. Myers. The Art of Software Testing. John Wiley and Sons, 2nd edition, 2004. Revised and updated by T. Badgett and T. M. Thomas with C. Sandler.

Digital Library

[12]

A. G. Neiat, A. Bouguettaya, T. Sellis, and Z. Ye. Spatio-temporal composition of sensor cloud services. In ICWS2014, pages 241--248, 2014.

Digital Library

[13]

T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Comm. ACM, 31(6):676--686, 1988.

Digital Library

[14]

I. Peake and H. W. Schmidt. Systematic simplicity-accuracy tradeoffs in parameterised contract models. In QoSA-ISARCS2011, pages 95--104, 2011.

Digital Library

[15]

R. Reussner, H. W. Schmidt, and I. Poernomo. Reliability prediction for component-based software architectures. J. Syst. Software, 66(3):241--252, 2003.

Digital Library

[16]

H. W. Schmidt. Trustworthy components -- compositionality and prediction. J. Syst. Software, 65(3):215--225, 2003.

Digital Library

[17]

H. W. Schmidt, I. Poernomo, and R. Reussner. Trust-by-contract: Modelling, analysing and predicting behaviour of software architectures. J. Integ. Design Proc. Sci., 5(3):25--51, 2001.

Digital Library

[18]

T. Sellis, M. Koubarakis, A. Frank, S. Grumbach, R. H. Guting, C. S. Jensen, N. Lorentzos, Y. Manolopoulos, E. Nardelli, B. Pernici, B. Theodoulidis, N. Tryfona, H.-J. Schek, and M. Scholl. Spatio-Temporal Databases: The CHOROCHRONOS Approach. Springer, 2003.

Digital Library

[19]

M. Spichkova. Design of formal languages and interfaces: "formal" does not mean "unreadable". In Emerging Research and Trends in Interactivity and the Human-Computer Interface, pages 301--314. 2013.

[20]

M. Spichkova, J. Blech, P. Herrmann, and H. W. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with FocusST. In MoDeVVa2014, pages 49--58, 2014.

[21]

M. Spichkova, H. W. Schmidt, and I. Peake. From abstract modelling to remote cyberphysical integration/interoperability testing. In ISSEC2013, 2013. arXiv:1403.1005.

[22]

D. Xiao and M. Eltabakh. STEPQ: Spatio-temporal engine for complex pattern queries. In Advances in Spatial and Temporal Databases, pages 386--390. 2013.

Digital Library

[23]

I. Yusuf, I. Thomas, M. Spichkova, S. Androulakis, G. Meyer, D. Drumm, G. Opletal, S. Russo, A. Buckle, and H. W. Schmidt. Chiminey: Reliable computing and data management platform in the cloud. In ICSE2015, pages 677--680, 2015.

Digital Library

Cited By

Wang ZLi MTu Z(2020)A Temporal-Spatial-Domain Distribution Model and Alignment Method for Quality Attributes2020 IEEE International Conference on Services Computing (SCC)10.1109/SCC49832.2020.00038(234-239)Online publication date: Nov-2020
https://doi.org/10.1109/SCC49832.2020.00038
Christianto AChen PWalawedura OVuong AFeng JWang DSpichkova MSimic M(2018)Enhancing the user experience with vertical transportation solutionsProcedia Computer Science10.1016/j.procs.2018.07.244126(2075-2084)Online publication date: 2018
https://doi.org/10.1016/j.procs.2018.07.244
Sun CZhang JLiu CKing BZhang YGalle MSpichkova MSimic M(2018)Software Development for Autonomous and Social Robotics SystemsIntelligent Interactive Multimedia Systems and Services10.1007/978-3-319-92231-7_16(151-160)Online publication date: 12-Jun-2018
https://doi.org/10.1007/978-3-319-92231-7_16
Show More Cited By

Index Terms

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

An Extensible Framework for Online Testing of Choreographed Services

Service choreographies present numerous engineering challenges, particularly with respect to testing activities, that traditional design-time approaches cannot properly address. A proposed online testing solution offers a powerful, extensible framework ...
Testing Software Services in Cloud Ecosystems

Testing in the Cloud is far more challenging than testing individual software services. A multitude of factors affect testing, including variations across platforms and infrastructure. Architectural issues include differences between private, public ...
Intercloud Architecture Framework for Heterogeneous Cloud Based Infrastructure Services Provisioning On-Demand
WAINA '13: Proceedings of the 2013 27th International Conference on Advanced Information Networking and Applications Workshops

This paper presents on-going research to develop the Intercloud Architecture Framework (ICAF) that addresses problems in multi-provider multi-domain heterogeneous cloud based infrastructure services and applications integration and interoperability, to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ASWEC ' 15 Vol. II: Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference

September 2015

171 pages

ISBN:9781450337960

DOI:10.1145/2811681

Editors:
Fei-Ching (Diana) Kuo
Swinburne University of Technology, Australia
,
Stuart Marshall
Victoria University of Wellington, New Zealand
,
Haifeng Shen
Flinders University, Australia
,
Markus Stumptner
University of South Australia, Australia
,
M. Ali Babar
University of Adelaide, Australia

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Australian Comp Soc: Australian Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 September 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper
Research
Refereed limited

Conference

ASWEC ' 15 Vol. II

ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference

September 28 - October 1, 2015

SA, Adelaide, Australia

Acceptance Rates

ASWEC ' 15 Vol. II Paper Acceptance Rate 12 of 27 submissions, 44%;

Overall Acceptance Rate 12 of 27 submissions, 44%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
101
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wang ZLi MTu Z(2020)A Temporal-Spatial-Domain Distribution Model and Alignment Method for Quality Attributes2020 IEEE International Conference on Services Computing (SCC)10.1109/SCC49832.2020.00038(234-239)Online publication date: Nov-2020
https://doi.org/10.1109/SCC49832.2020.00038
Christianto AChen PWalawedura OVuong AFeng JWang DSpichkova MSimic M(2018)Enhancing the user experience with vertical transportation solutionsProcedia Computer Science10.1016/j.procs.2018.07.244126(2075-2084)Online publication date: 2018
https://doi.org/10.1016/j.procs.2018.07.244
Sun CZhang JLiu CKing BZhang YGalle MSpichkova MSimic M(2018)Software Development for Autonomous and Social Robotics SystemsIntelligent Interactive Multimedia Systems and Services10.1007/978-3-319-92231-7_16(151-160)Online publication date: 12-Jun-2018
https://doi.org/10.1007/978-3-319-92231-7_16
Cuckov FRudd GDaly L(2017)Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2017.77(401-402)Online publication date: Mar-2017
https://doi.org/10.1109/ICSTW.2017.77
Spichkova MZamansky AFarchi E(2015)Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical SystemsProceedings of the 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS)10.1109/ICPADS.2015.115(847-851)Online publication date: 14-Dec-2015
https://dl.acm.org/doi/10.1109/ICPADS.2015.115

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents