Model based testing is a powerful software engineering approach for testing complex, safety critical systems like subways, medical machines, and aircraft. It involves building both an application and a model of how the application is expected to work, then running the same inputs through both and comparing results to detect any differences. When source code or design models are unavailable, log files can be used to model the system. Model based testing represents systems using finite state machines, with more complex systems requiring more states. It has advantages like requiring little human intervention, detecting undesired outcomes and their causes, finding bugs earlier, and helping ensure fewer security issues and potential crashes.

1. MODEL BASED TESTING
IN TERMS OF SOFTWARE ENGINEERING

2. SOFTWARE IN OUR DAILY LIFE
PLAYS A VITAL ROLE
• More complex
• Safety critical
• Subway systems,
• Medical Machines
• Air crafts

3. NEED OF TIME?
POWER FULL APPROACHES ARE REQUIRED

4. MODEL BASED APPROACH
• We build an application
• And a model, of how we think the actual
application is going to work.
• Then for each input we run the data through both
Application and Model.
• Then we compare the results from both.

5. Working Of Model Based Testing

6. INFORMATION SOURCES OF SYTEM TO MODEL FORMULA
UML Diagrams Source Code

7. When source code and UML diagrams of a system is not available we can use
“Log Files” to model the formula.

8. ALL THESE REQUIRED THINGS OF THE SYSTEM CAN JOINLY MAKE A
FORMULAE
FINITE STATE MACHINE

9. MORE COMPLEX THE SYSTEM TO MODEL ~ MORE STATES IN STATE MACHINE

10. ADVANTAGES
Little Human Intervention
Detect Undesired Outcomes
Detect where the problem is
No Bugs
Less or No Security Issues
No Potential Crashes
More Precise

11. THANK YOU
rida.bsse2827@iiu.edu.pk