Skip to main content
SpringerLink
Log in

Class hierarchical test case generation algorithm based on expanded EMDPN model

  • Published:
Journal of Central South University of Technology Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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. Jorgensen P C. Software testing: a craftsman’s approach[M]. Boca Raton: CRC Press, 2002.

    Book  Google Scholar 

  3. Sabnani K K, Dahbura A T. A protocol test generation procedure[J]. Computer Networks and ISDN Systems, 1998(15): 285–297.

    Article  Google 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–695

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

    Article  Google 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–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. 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.

    Article  Google 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.

  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.

    Article  Google 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.

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer and Communication, Hunan University, Changsha, 410082, China

    Li Jun-yi Doctoral candidate  (李军义) (Associate professor), Gong Hong-fang  (龚红仿) & Hu Ji-ping  (胡积平)

  2. School of Information Science and Engineering, Central South University, Changsha, 410083, China

    Zou Bei-ji  (邹北骥)

  3. School of Software, Tsinghua University, Beijing, 100084, China

    Sun Jia-guang  (孙家广)

Authors
  1. Li Jun-yi Doctoral candidate  (李军义)
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gong Hong-fang  (龚红仿)
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hu Ji-ping  (胡积平)
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zou Bei-ji  (邹北骥)
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Sun Jia-guang  (孙家广)
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Li Jun-yi Doctoral candidate  (李军义).

Additional information

Foundation item: Project(05JT1035) supported by the Science and Technology Plan of Hunan Province

Rights and permissions

Reprints and permissions

About this article

Cite this article

Li, Jy., Gong, Hf., Hu, Jp. et al. Class hierarchical test case generation algorithm based on expanded EMDPN model. J Cent. South Univ. Technol. 13, 717–721 (2006). https://doi.org/10.1007/s11771-006-0020-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11771-006-0020-x

Key words

CLC number

Search

Navigation