Date and Time: Monday, 05 July 2010, 15:45 - 16:45

Location: HG 6.96

Speaker: Ramtin Khosravi (University of Tehran)

Title: Model-Based Testing of Electronic Funds Transfer Systems

Abstract:

Today's financial systems are heavily dependent on Electronic Funds Transfer (EFT) systems, which provide features for online financial transactions. These systems are particularly hard to verify because not only they have a reactive nature, but also their behavior is dependent on a rich set of business rules affected by valuations of data parameters.

In this talk, we present our experience with model-based testing of an EFT Switch software. At first, we used I/O Transition Systems as the basis for modeling system specification. However, we encountered practical problems in expressing data-dependent behavior. Hence, we enriched our modeling method with additional views, so that the modeler can specify the system and the environment as well as input data partitioning, all in UML models. These, in turn, are used to generate test suites automatically. Our method is implemented and successfully applied to an industrial EFT Switch product.

(Joint work with HamidReza As'adi, MohammadReza Mousavi and Neda Noroozi)