Abstract
Validation of mobile applications needs taking account of context (such network topology) and interactions between mobile nodes. Scenario-based approaches are well-suited to describe the behavior and interactions to observe in distributed systems. The difficulty to control accurately the execution context of such applications has led us to use passive testing. This paper presents a toolset which supports specification and verification of scenarios. A UML-based formal language, called TERMOS, has been implemented for specifying scenarios in mobile computing systems. These scenarios capture the key properties which are automatically checked on the traces, considering both the spatial configuration of nodes and their communication. We give an overview of the language design choices, its semantics and the implementation of the tool chain. The approach is demonstrated on a case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Andre, P.: Test of ubiquitous systems with explicit consideration of mobility. Ph.d. [in french], UPS Toulouse. https://tel.archives-ouvertes.fr/tel-01261593
André, P., Rivière, N., Waeselynck, H.: GraphSeq revisited: more efficient search for patterns in mobility traces. In: Vieira, M., Cunha, J.C. (eds.) EWDC 2013. LNCS, vol. 7869, pp. 88–95. Springer, Heidelberg (2013). doi:10.1007/978-3-642-38789-0_8
Andre, P., Waeselynck, H., Riviere, N.: A UML-based environment for test scenarios in mobile settings. In: International Conference on Computer, Information, and Telecommunication Systems (CITS 2013). IEEE (2013)
Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P., Wirsing, M.: UML for global computing. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 1–24. Springer, Heidelberg (2003). doi:10.1007/978-3-540-40042-4_1
Cavalli, A., Maag, S., de Oca, E.M.: A passive conformance testing approach for a MANET routing protocol. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), pp. 207–211, NY, USA (2009). http://doi.acm.org/10.1145/1529282.1529326
Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45–80 (2001)
Grassi, V., Mirandola, R., Sabetta, A.: A UML profile to model mobile systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 128–142. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30187-5_10
Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2), 237–252 (2008)
Huang, Q., Julien, C., Roman, G.: Relying on safe distance to achieve strong partitionable group membership in ad hoc networks. IEEE Trans. Mobile Comput. 3(2), 192–205 (2004)
Huszerl, G., Waeselynck, H., Egel, Z., Kovi, A., Micskei, Z., Nguyen, M.D., Pinter, G., Riviere, N.: Refined design and testing framework, methodology and application results, HIDENETS project deliverable D5.3 (2008). http://www.hidenets.aau.dk/
International Telecommunication Union: Message Sequence Chart (MSC), recommendation Z.120 (2011). http://www.itu.int/rec/T-REC-Z.120
Klose, J.: Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior. Ph.D. thesis, Carl von Ossietzky Universitat Oldenburg (2003)
Kusek, M., Jezic, G.: Extending UML sequence diagrams to model agent mobility. In: Padgham, L., Zambonelli, F. (eds.) AOSE 2006. LNCS, vol. 4405, pp. 51–63. Springer, Heidelberg (2007). doi:10.1007/978-3-540-70945-9_4
Küster-Filipe, J.: Modelling concurrent interactions. Theor. Comput. Sci. 351(2), 203–220 (2006)
Micskei, Z., Szatmári, Z., Oláh, J., Majzik, I.: A concept for testing robustness and safety of the context-aware behaviour of autonomous systems. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 504–513. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30947-2_55
Micskei, Z., Waeselynck, H.: The many meanings of UML 2 sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489–514 (2011)
Nguyen, M.D., Waeselynck, H., Riviere, N.: Testing mobile computing applications: toward a scenario language and tools. In: Proceedings of the 2008 International Workshop on Dynamic Analysis (WODA 2008), pp. 29–35. ACM (2008)
Nguyen, M.D., Waeselynck, H., Riviere, N.: GraphSeq: a graph matching tool for the extraction of mobility patterns. In: 3rd International Conference on Software Testing, Verification and Validation (ICST), pp. 195–204, April 2010
Object Management Group: Unified Modeling Language (UML) 2.4.1 Superstructure Specification, formal/2011-08-06 (2011)
Shearer, K., Venkatesh, S., Bunke, H.: Video sequence matching via decision tree path following. Pattern Recognit. Lett. 22(5), 479–492 (2001)
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., Nitu, I.: TERMOS: a formal language for scenarios in mobile computing systems. In: Sénac, P., Ott, M., Seneviratne, A. (eds.) MobiQuitous 2010. LNICSSITE, vol. 73, pp. 285–296. Springer, Heidelberg (2012). doi:10.1007/978-3-642-29154-8_24
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
André, P., Rivière, N., Waeselynck, H. (2017). A Toolset for Mobile Systems Testing. In: Barkaoui, K., Boucheneb, H., Mili, A., Tahar, S. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2017. Lecture Notes in Computer Science(), vol 10466. Springer, Cham. https://doi.org/10.1007/978-3-319-66176-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-66176-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66175-9
Online ISBN: 978-3-319-66176-6
eBook Packages: Computer ScienceComputer Science (R0)