基于Petri网的软件测试分析

• 作者: 方贤文 殷志祥 赵艳
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: Petri网 软件测试 C程序 Petri网模型
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 96-98,102
• 页数: 4页
• 分类号: TP301.4
• 字数: 1611字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.02.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷志祥		126	438	13.0	16.0
2	方贤文		124	250	10.0	12.0
3	赵艳		3	15	2.0	3.0