An analysis with petrinet and timed automata with automation in mobile applications

Smitha.P.S and N.Sankar Ram

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.

Download PDF: