Model based testing is the current research trend in developing abstract model for modern application. Although many application is tested with different models, there is no concrete complete methodology from verification to validation in reducing cost and time for ensuring effectiveness in testing. This paper suggest a concrete approach in developing a complete model with two model based approaches of petrinets and timed automata with automation and analysis of test coverage.
Impact Factor
2022: 6.012
This work is licensed under a