【摘要】 软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。更多还原

【Abstract】 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.更多还原