基于Petri网的软件测试分析

作者：方贤文; 赵艳; 殷志祥

来源：计算机技术与发展, 2007, (02): 96-98+102.

• Petri网
• 软件测试
• C程序
• Petri网模型 Petri net
• software test
• C program
• Petri net model

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

• 单位
  安徽理工大学