Abstract:
Software testing is an essential stage in the software development life cycle. The lack of automation in this complex process especially with large-scale systems, incurs substantial cost and effort. Recently a new trend of sophisticated automation approach has been adopted by Model- Based Testing (MBT) . MBT is automatic procedures of the generation and execution of test cases for system under test. Formal Model of the behavior is a key concept in this approach where tools take it from tester to generate test cases. It is expected that Models are written in a high abstraction level format and be in formal notations like using UML then test cases could be generated. Therefore, Tools are central to MBT like ModelJUnit, which java-based tool, an open source tool. ModelJUnit permits you to write simple finite state machine (FSM) models or extended finite state machine (EFSM) models using Java abstraction level, then generate test cases from those models and measure several model coverage metrics. But it does not support UML model, although the UML has many pros such as it is one of the most widely used languages in the IT world.Moreover it is easy and with high potential in the formation of models, which has rich notation to draw model, and make it easy to communicate and understand the problem. So this research is about integrating UML state machine model into ModelJUnit. This will enable academic environment to use this feature to teach how to test using UML models. A Transformation from source to target using Java APIs for XML is suggested but before the gap between source and target is identified. An ATM model as a case study is used to implement the proposed solution.
