Abstract
We report on our first experience with applying model-based testing techniques to an operational Electronic Funds Transfer (EFT) switch. The goal is to test the conformance of the EFT switch to the standard flows described by the ISO 8583 standard. To this end, we first make a formalization of the transaction flows specified in the ISO 8583 standard in terms of a Labeled Transition System (LTS). This formalization paves the way for model-based testing based on the formal notion of Input-Output Conformance (IOCO) testing. We adopt and augment IOCO testing for our particular application domain. We develop a prototype implementation and apply our proposed techniques in practice. We discuss the encouraging obtained results and the observed shortcomings of the present approach. We outline a roadmap to remedy the shortcomings and enhance the test results.
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
Preview
Unable to display preview. Download preview PDF.
References
Cobertura project, http://cobertura.sourceforge.net/
ISO 8583 standard for financial transaction card originated messages - interchange message specifications – part 1: Messages, data elements and code values (2003)
Asadi, H.R., Khosravi, R., Mousavi, M.R., Noroozi, N.: Towards Model-Based Testing of Electronic Funds Transfer Systems. Technical Report CSR-10-04, Department of Computer Science, Eindhoven University of Technology (May 2010)
Behrmann, G., David, A., Larsen, K., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Proc. of QEST 2006, pp. 125–126. IEEE CS (2006)
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
Elbaum, S., Malishevsky, A., Rothermel, G.: Prioritizing test cases for regression testing. In: Proceedings of the International Symposium on Software Testing and Analysis, pp. 102–112. ACM Press (2000)
Elbaum, S., Rothermel, G., Kanduri, S., Malishevsky, A.: Selecting a cost-effective test case prioritization technique. Software Quality Journal 12 (2004)
Grieskamp, W.: Multi-Paradigmatic Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 1–19. Springer, Heidelberg (2006)
Grieskamp, W., Tillmann, N., Veanes, M.: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15), 1027–1036 (2004)
Grochtmann, M., Grimm, K.: Classification trees for partition testing. Softw. Test., Verif. Reliab. 3(2), 63–82 (1993)
Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
Hierons, R., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Lüttgen, G., Simons, A.J.H., Vilkomir, S.A., Woodward, M., Zedan, H.: Using formal specifications to support testing. ACM Computing Surveys 41(2) (2009)
Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Post-Proceedings of TFP 2003, pp. 111–129, Intellect (2004)
Mikucionis, M., Nielsen, B., Larsen, K.: Real-time system testing on-the-fly. In: Proceedings of NWPT 2003, pp. 36–38 (2003)
Object Management Group, UML Testing Profile Version 1.0 (2005)
Ostrand, T., Balcer, M.: The category-partition method for specifying and generating functional tests. Commun. ACM 31(6), 676–686 (1988)
Schmaltz, J., Tretmans, J.: On Conformance Testing for Timed Systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250–264. Springer, Heidelberg (2008)
Tretmans, J.: A formal approach to conformance testing. In: Proceedings of the IFIP International Workshop on Protocol Test systems VI, pp. 257–276. North-Holland (1994)
Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008)
Tretmans, J., Brinksma, E.: TorX: Automated Model-Based Testing. In: Proceedings of the European Conference on Model-Driven Software Engineering (2003)
van Weelden, A., Oostdijk, M., Frantzen, L., Koopman, P., Tretmans, J.: On-the-fly formal testing of a smart card applet. In: Security and Privacy in the Age of Ubiquitous Computing. IFIP, vol. 181, pp. 565–576. Springer, Heidelberg (2005)
Weiglhofer, M., Wotawa, F.: Asynchronous Input-Output Conformance Testing. In: Proceedings of COMPSAC 2009, vol. 1, pp. 154–159. IEEE CS (2009)
Willcock, C., Deiß, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3. Wiley (2005)
Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 39–76. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asaadi, H.R., Khosravi, R., Mousavi, M., Noroozi, N. (2012). Towards Model-Based Testing of Electronic Funds Transfer Systems. In: Arbab, F., Sirjani, M. (eds) Fundamentals of Software Engineering. FSEN 2011. Lecture Notes in Computer Science, vol 7141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29320-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-29320-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29319-1
Online ISBN: 978-3-642-29320-7
eBook Packages: Computer ScienceComputer Science (R0)