Journal of Central South University of Technology

, Volume 13, Issue 6, pp 717–721 | Cite as

Class hierarchical test case generation algorithm based on expanded EMDPN model

  • Li Jun-yi  (李军义)Email author
  • Gong Hong-fang  (龚红仿)
  • Hu Ji-ping  (胡积平)
  • Zou Bei-ji  (邹北骥)
  • Sun Jia-guang  (孙家广)


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 paths 

CLC number



Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [2]
    Jorgensen P C. Software testing: a craftsman’s approach[M]. Boca Raton: CRC Press, 2002.CrossRefGoogle Scholar
  3. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [14]
    McGregor J D. Parallel architecture for component testing[J]. Journal of Object-Oriented Programming, 1997, 10(2): 10–14.Google Scholar

Copyright information

© Published by: Central South University Press, Sole distributor outside Mainland China: Springer 2006

Authors and Affiliations

  • Li Jun-yi  (李军义)
    • 1
    Email author
  • Gong Hong-fang  (龚红仿)
    • 1
  • Hu Ji-ping  (胡积平)
    • 1
  • Zou Bei-ji  (邹北骥)
    • 2
  • Sun Jia-guang  (孙家广)
    • 3
  1. 1.School of Computer and CommunicationHunan UniversityChangshaChina
  2. 2.School of Information Science and EngineeringCentral South UniversityChangshaChina
  3. 3.School of SoftwareTsinghua UniversityBeijingChina

Personalised recommendations