Automated Test Case Generation using Petri Nets
This addresses the problem of improving software testing efficiency and cost for developers, but it appears incremental as it builds on existing Petri net methods.
The research tackled automated test case generation by using High Level Petri Nets (HLPN) to unify structural and behavioral diagrams into a single model, and it focused on generating consistent formal models from informal UML models.
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifications in a single model using High Level Petri Nets (HLPN). This research focuses on automated generation of test models from Petri nets. Moreover, generating consistent formal models (HLPN) from informal models (UML) is the highlight of this research.