Class hierarchical test case generation algorithm based on expanded EMDPN model
来源期刊:中南大学学报(英文版)2006年第6期
论文作者:李军义 龚红仿 胡积平 邹北骥 孙家广
文章页码:717 - 721
Key words:class testing;test case generation;event and message driven Petri network;cooperation paths
Abstract: A new model of event and message driven Petri network(EMDPN)based on the characteristic of class interaction for messages passing between two objects was extended.Using EMDPN interaction graph,a class hierarchical test-case generation algorithm with cooperated paths(copaths)was proposed,which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle,message transfer errors,and unreachable statement.Finally,the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC).The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria,therefore the proposed new algorithm of copaths generation has a good coverage rate.