The Software Test Analysis Based on Petri Net
Zhixiang Yin · Computer Technology and Development · 2007
The software test is a process to inspect the documents and to run program for discovering the mistake in the software.Carrying on the test to the software documents and the code,is to pass through the entire development life cycle,it is especially more important in the development early time.The Petri net is one kind of good analysis tool,it can operate dynamically the program model,and analyze model whether exist the deadlock,concurrent,conflict and so on or not,and carry on the program validation and analysis.