摘要
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点: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 ...
出处
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2007年第S1期5-9,共5页
Journal of Sichuan University (Engineering Science Edition)
基金
国家"863"基金资助项目(2006AA01Z165)
关键词
软件测试
并发程序
事件图
software testing
concurrent program
event graph