Class hierarchical test case generation algorithm based on expanded EMDPN model

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

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.

[2] JorgensenP. C.Software testing: a craftsman’s approach[M], 2002, Boca Raton, CRC Press

[3] SabnaniKrishan, DahburaAnton. A protocol test generation procedure. Computer Networks and ISDN Systems, 1988, 15(4): 285-297

[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–695

[5] NtafosS. C.. A comparison of some structural testing strategies[J]. IEEE Transactions on Software Engineering, 1988, 14(6): 868-874

[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–37

[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.

[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.

[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.

[10] KalpeshK., JonathanP. B.. Experimental evaluation of the tolerance for control-flow test criteria[J]. Software Testing, Verification & Reliability, 2004, 14(3): 167-187

[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.

[12] KevinS., JinlinY., DavidC., et al.. Software assurance by bounded exhaustive testing[J]. IEEE Transactions on Software Engineering, 2005, 31(4): 328-339

[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.

[14] McGregorJ. D.. Parallel architecture for component testing[J]. Journal of Object-Oriented Programming, 1997, 10(2): 10-14