Class hierarchical test case generation algorithm based on expanded EMDPN model
- 25 Downloads
- 2 Citations
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.
Key words
class testing test case generation event and message driven Petri network cooperation pathsCLC number
TP311.5Preview
Unable to display preview. Download preview PDF.
References
- [1]Labiche Y, Thévenod-Fosse P, Waeselynck H, et al. Testing levels for object-oriented software[C]// Proceeding of the 22nd International Conference on Software Engineering. Limerick: 2000: 136–145.Google Scholar
- [2]Jorgensen P C. Software testing: a craftsman’s approach[M]. Boca Raton: CRC Press, 2002.CrossRefGoogle Scholar
- [3]Sabnani K K, Dahbura A T. A protocol test generation procedure[J]. Computer Networks and ISDN Systems, 1998(15): 285–297.CrossRefGoogle Scholar
- [4]Tae-Hyong K, Ik-Soon H, Min-Seok J, et al. Test case generation of a protocol by a fault coverage analysis[C]// Proceedings of 13th International Conference on Information Networking (ICOIN’98). Tokyo, 1998: 690–695Google Scholar
- [5]Ntafos S C. A comparison of some structural testing strategies[J]. IEEE Transactions on Software Engineering, 1988, 14(6): 868–874.CrossRefGoogle Scholar
- [6]Katayama T, Furukawa Z, Ushijima K. Event interactions graph for test-case generation of concurrent programs[C]// Proceeding of 2nd Asia-Pacific Software Engineering Conference (APSEC’95). Brisbane, 1995: 29–37Google Scholar
- [7]Katayama T, Furukawa Z, Ushijima K. Design and implementation of test-case generation of concurrent programs[C]// Proceeding of 5th Asia-Pacific Software Engineering Conference. (APSEC’98). Taipei, 1998: 262–269.Google Scholar
- [8]Katayama T, Itoh E, Ushijima K. Test-case generation of concurrent programs with the testing criteria using interactions sequences[C]// Proceeding of 6th Asia-Pacific Software Engineering Conference, (APSEC’99). Takamatsu, 1999: 590–597.Google Scholar
- [9]Itoh E, Furukawa Z Ushijima K. A prototype of a concurrent behavior monitoring tool for testing concurrent programs[C]// Proceeding of 3rd Asia-Pacific Software Engineering Conference (APSEC’96). Seoul, 1996: 345–354.Google Scholar
- [10]Kalpesh K, Jonathan P B. Experimental evaluation of the tolerance for control-flow test criteria[J]. Software Testing, Verification & Reliability, 2004, 14(3): 167–187.CrossRefGoogle Scholar
- [11]Bechini A, Cutajar J, Prete C A. A tool for testing of parallel and distributed programs in message-passing environments[C]// Proceeding of 9th IEEE Mediterranean Electrotechnical Conference (MELECON’98). Mediterranean, 1998: 1308–1312.Google Scholar
- [12]Kevin S, Jinlin Y, David C, et al. Software assurance by bounded exhaustive testing[J]. IEEE Transactions on Software Engineering, 2005, 31(4): 328–339.CrossRefGoogle Scholar
- [13]Itoh E, Kawaguchi Y, Furukawa Z, et al. Ordered sequence testing criteria for concurrent programs and the support tool[C]// Proceeding of 1st Asia-Pacific Software Engineering Conference (APSEC’94). Tokyo, 1994: 236–245.Google Scholar
- [14]McGregor J D. Parallel architecture for component testing[J]. Journal of Object-Oriented Programming, 1997, 10(2): 10–14.Google Scholar