| 基于Petri网的软件测试分析 |
| |
| 引用本文： | 方贤文,赵艳,殷志祥.基于Petri网的软件测试分析[J].微机发展,2007,17(2):96-98. |
| |
| 作者姓名： | 方贤文 赵艳 殷志祥 |
| |
| 作者单位： | 安徽理工大学 安徽淮南232001 |
| |
| 基金项目： | 国家自然科学基金(30570431)，安徽省优秀青年基金(06042088)，安徽理工大学青年基金(2004020)及硕博基金项目 |
| |
| 摘 要： | 软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。
|
| 关 键 词： | Petri网 软件测试 C程序 Petri网模型 |
| 文章编号： | 1673-629X(2007)02-0096-03 |
| 修稿时间： | 2006年4月26日 |
The Software Test Analysis Based on Petri Net |
| |
| FANG Xian-wen,ZHAO Yan,YIN Zhi-xiang.The Software Test Analysis Based on Petri Net[J].Microcomputer Development,2007,17(2):96-98. |
| |
| Authors: | FANG Xian-wen ZHAO Yan YIN Zhi-xiang |
| |
| 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. |
| |
| Keywords: | Petri net software test C program Petri net model |
| 本文献已被 CNKI 等数据库收录！ |
|
