Towards model-based testing of electronic funds transfer systems

Report English OPEN
Asaadi, H.R.; Khosravi, R.; Mousavi, M.R.; Noroozi, N.;
(2010)
  • Publisher: Technische Universiteit Eindhoven

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... View more
  • References (22)
    22 references, page 1 of 3

    [1] Cobertura project. Available from http://cobertura.sourceforge.net/.

    [2] ISO 8583 standard for financial transaction card originated messages - interchange message specifications - part 1: Messages, data elements and code values, 2003.

    [3] Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John HËšakansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. UPPAAL 4.0. In Proceedings of QEST'06, pages 125-126. IEEE CS, 2006.

    [4] Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner, editors. Model-Based Testing of Reactive Systems, Advanced Lectures, volume 3472 of LNCS. Springer, 2005.

    [5] Sebastian Elbaum, Alexey G. Malishevsky, and Gregg Rothermel. Prioritizing test cases for regression testing. In In Proceedings of the International Symposium on Software Testing and Analysis, pages 102-112. ACM Press, 2000.

    [6] Sebastian Elbaum, Gregg Rothermel, Satya Kanduri, Satya K, and Alexey G. Malishevsky. Selecting a cost-effective test case prioritization technique. Software Quality Journal, 12:2004, 2004.

    [7] Wolfgang Grieskamp. Multi-paradigmatic model-based testing. In Formal Approaches to Software Testing and Runtime Verification, volume 4262 of LNCS, pages 1-19. Springer, 2006.

    [8] Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes. Instrumenting scenarios in a model-driven development environment. Information & Software Technology, 46(15):1027- 1036, 2004.

    [9] Matthias Grochtmann and Klaus Grimm. Classification trees for partition testing. Softw. Test., Verif. Reliab., 3(2):63-82, 1993.

    [10] Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. Testing real-time systems using UPPAAL. In Proceedings of Formal Methods and Testing, volume 4949 of LNCS, pages 77-117. Springer, 2008.

  • Similar Research Results (1)
  • Metrics
    No metrics available
Share - Bookmark

  • Download from
    Repository TU/e via NARCIS (Report, 2010)
  • Cite this publication