基于事件图的并发软件测试

摘要：

通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图.每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁；2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的；3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸.

关键词： 软件测试 并发程序 事件图

作者: 章靠 丁佐华

作者单位: 浙江理工大学,数学计算与软件工程中心,浙江,杭州,310018

会议类型: 国内会议

会议名称: 第四届中国软件工程大会

会议地点: 杭州

会议语种:中文

页码: 233-237

在线出版日期: 2007-06-16（万方平台首次上网日期，不代表论文的发表时间）