| Class hierarchical test case generation algorithm based on expanded EMDPN model |
| |
| 作者姓名： | 李军义 龚红仿 胡积平 邹北骥 孙家广 |
| |
| 作者单位： | [1]School of Computer and Communication, Hunan University, Changsha 410082, China [2]School of Information Science and Engineering, Central South University, Changsha 410083, China [3]School of Software, Tsinghua University, Beijing 100084, China |
| |
| 摘 要： | 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.
|
| 关 键 词： | 类别交互测试 测试用例生成算法 事件消息驱动Petri网 协同路径 |
| 收稿时间： | 2006-03-25 |
| 修稿时间： | 2006-05-05 |
Class hierarchical test case generation algorithm based on expanded EMDPN model |
| |
| Li Jun-yi , Gong Hong-fang , Hu Ji-ping , Zou Bei-ji and Sun Jia-guang.Class hierarchical test case generation algorithm based on expanded EMDPN model[J].Journal of Central South University of Technology,2006,13(6):717-721. |
| |
| Authors: | Li Jun-yi Gong Hong-fang Hu Ji-ping Zou Bei-ji and Sun Jia-guang |
| |
| Affiliation: | (1) School of Computer and Communication, Hunan University, Changsha, 410082, China;(2) School of Information Science and Engineering, Central South University, Changsha, 410083, China;(3) School of Software, Tsinghua University, Beijing, 100084, China |
| |
| 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. |
| |
| Keywords: | class testing test case generation event and message driven Petri network cooperation paths |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
