Scenario Based Functional Regression Testing Using Petri Net Models

Software testing lies in the validation which ensures that the implementation satisfies the client's requirements. There are several techniques on software testing some are implementation based while others are model based. We have proposed the Petri net model based testing technique for testing the software. Although UML is the de-facto standard for the software development however most of the UML diagrams supports static behavior while Petri nets supports dynamic behavior i.e. we can represent concurrent behavior of objects in case of object oriented paradigm. In our case we have also selected object oriented paradigm as it is well established paradigm and provides ease in development and it is more realistic. We have proposed a regression based testing technique using Petri nets. Regression testing technique is applied on the Delta version i.e. changed version of the software. Our technique has efficient mechanism of reducing the test suite for the delta version on the basis of analysis of the baseline version. Petri net models are used in this paper for analyzing the baseline and delta version.