Abstract
In this article we present a tool designed for cloud service testing, able to generate test cases from a formal specification of the service, in form of a deterministic stream X-machine (DSXM) model. The paper summarizes the theoretical foundations of X-machine based testing and illustrates the usage of the developed tool on some examples. It shows in detail how the specification should be written, which are the design for test conditions it should satisfy, in order to assure the generation of high quality test suites for the cloud service.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Binder, R.V.: Testing Object-oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)
Bogdanov, K., Holcombe, M., Ipate, F., Seed, L., Vanak, S.K.: Testing methods for X-machines: a review. Formal Asp. Comput. 18(1), 3–30 (2006)
Bozkurt, M., Harman, M., Hassoun, Y.: Testing and verification in service-oriented architecture: a survey. Softw. Test. Verif. Reliab. 23(4), 261–313 (2013)
Briand, L.C., Di Penta, M., Labiche, Y.: Assessing and improving state-based class testing: a series of experiments. IEEE Trans. Softw. Eng. 30(11), 770–793 (2004)
Canfora, G., Di Penta, M.: Service-oriented architectures testing: a survey. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006–2008. LNCS, vol. 5413, pp. 78–105. Springer, Heidelberg (2009)
Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 4(3), 178–187 (1978)
Coakley, S., Gheorghe, M., Holcombe, M., Chin, S., Worth, D., Greenough, C.: Exploitation of high performance computing in the FLAME agent-based simulation framework. In: Min, G., Hu, J., Liu, L.C., Yang, L.T., Seelam, S., Lefevre, L. (eds.) HPCC-ICESS, pp. 538–545. IEEE Computer Society (2012)
Dranidis, D., Bratanis, K., Ipate, F.: JSXM: a tool for automated test generation. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 352–366. Springer, Heidelberg (2012)
Eilenberg, S.: Automata, Languages, and Machines. Academic Press Inc, Orlando (1974)
Holcombe, M., Ipate, F.: Correct Systems - Building a Business Process Solution. Applied Computing. Springer, London (1998)
Ipate, F.: Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353(1–3), 291–316 (2006)
Ipate, F., Holcombe, M.: Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2–3), 176–191 (2008)
Ipate, F., Holcombe, M.: An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63, 159–178 (1997)
Kiran, M., Friesen, A., Simons, A.J.H., Schwach, W.K.R.: Model-based testing in cloud brokerage scenarios. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B., Brandić, I. (eds.) ICSOC 2013. LNCS, vol. 8377, pp. 192–208. Springer, Heidelberg (2014)
Laycock, G.T.: The Theory and Practice of Specification Based Software Testing. Ph.D. thesis, University of Sheffield (1993)
Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. J. Internet Serv. Appl. 1(1), 7–18 (2010)
Acknowledgements
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement no 328392, the Broker@Cloud project (www.broker-cloud.eu).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Lefticaru, R., Simons, A.J.H. (2015). X-Machine Based Testing for Cloud Services. In: Ortiz, G., Tran, C. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2014. Communications in Computer and Information Science, vol 508. Springer, Cham. https://doi.org/10.1007/978-3-319-14886-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-14886-1_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14885-4
Online ISBN: 978-3-319-14886-1
eBook Packages: Computer ScienceComputer Science (R0)