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

Concurrent Program Testing Based on Event Graph

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

This paper attempts to generate test cases for concurrent programs based on event graph.Sub-event- graphs have been generated through the analysis of state transition of event graph.Each sub-event-graph corre- sponds to a test case.This method has the following characteristics:1)while executing the test cases,we can mo- nitor the state transition.2)Since every sub-event-graph is an execution path,or a simulation,all test cases are feasible.3)Since the number of all states in the event graph is finite,it is ...