SCIENCE CHINA Information Sciences, Volume 59 , Issue 8 : 080105(2016) https://doi.org/10.1007/s11432-016-5598-5

Petri net based test case generation for evolved specification

More info
  • ReceivedApr 25, 2016
  • AcceptedMay 29, 2016
  • PublishedJul 18, 2016



National Natural Science Foundation of China(61210004)

National Natural Science Foundation of China(61572441)



This work was supported by National Natural Science Foundation of China (Grant Nos. 61210004, 61572441).


[1] Tahat L H, Bader A, Vaysburg B, et al. Requirement based automated black-box test generation. In: Proceedings of the 25th Annual International Computer Software and Applications Conference, Chicago, 2001. 489--495. Google Scholar

[2] Korel B, Tahat L H, Vaysburg B. Model based regression test reduction using dependence analysis. In: Proceedings of the IEEE International Conference on Software Maintenance. Los Alamitos: IEEE, 2002. 214--223. Google Scholar

[3] Jiang B, Tse T H, Grieskamp W, et al. Regression testing process improvement for specification evolution of real-world protocol software. In: Proceedings of the 10th International Conference on Quality Software, Zhangjiajie, 2010. 62--71. Google Scholar

[4] Garey M R, Johnson D S. Computers and Intractability: a Guide to the Theory of NP-completeness. New York: W. H. Freeman, 1979. Google Scholar

[5] Ding Z H, Jiang M Y. Model driven synthesis of behavioral models from textual use cases. Inform Control Automat Robot, 2011, 132713-717 CrossRef Google Scholar

[6] Cockburn A. Writing Effective Use Cases. Upper Saddle River: Addison-Wesley, 2001. Google Scholar

[7] Somé S. Petri nets based formalization of textual use cases. Technical Report TR-2007-11. University of Ottawa, 2007. Google Scholar

[8] Ding Z H, Jiang M Y, Zhou M C. Generating Petri net-based behavioral models from textual use cases and application in railway networks. IEEE Trans Intell Transp Syst, 2016, doi10-717 Google Scholar

[9] Sinha A, Amit P, Clay W. On generating EFSM models from use cases, scenarios and state machines. In: Proceedings of the 6th International Workshop on Scenarios and State Machines. Washington, DC: IEEE, 2007. 1. Google Scholar

[10] Singh S K, Gupta R, Sabharwal S, et al. Automatic extraction of events from textual requirements specification. In: Proceedings of the World Congress on Nature & Biologically Inspired Computing, Coimbatore, 2009. 415--420. Google Scholar

[11] Myers G J. The Art of Software Testing. 3rd ed. Hoboken: John Wiley & Sons, 2011. Google Scholar

[12] Plasil F, Vladimir M. Use cases: assembling ``whole picture'' behavior. TR 02/11. Department of Computer Science, University of New Hampshire, 2011. Google Scholar

[13] Biswas S, Mall R, Satpathy M, et al. Regression test selection techniques: a survey. Informatica, 2011, 35289-321 Google Scholar

[14] Engstrom E, Runeson P, Skoglund M. A systematic review on regression test selection techniques. Inform Softw Technol, 2010, 5214-30 CrossRef Google Scholar

[15] Yoo S, Harman M. Regression testing minimization, selection and prioritization: a survey. Softw Test Verif Reliab, 2012, 2267-120 CrossRef Google Scholar

[16] Panigrahi C R, Mall R. Model-based regression test case prioritization. ACM SIGSOFT Softw Eng Notes, 2010, 356-120 Google Scholar

[17] Rothermel G, Harrold M J. A safe, efficient regression test selection technique. ACM Trans Softw Eng Methodol, 1997, 6173-210 CrossRef Google Scholar

[18] von Mayrhauser A, Zhang N. Automated regression testing using DBT and Sleuth. J Softw Maint, 1999, 112-210 Google Scholar

[19] Graves T L, Harrold M J, Kim J-M, et al. An empirical study of regression test selection techniques. ACM Trans Softw Eng Methodol, 2001, 10184-208 CrossRef Google Scholar

[20] Chakrabarti S K, Srikant Y N. Specification based regression testing using explicit state space enumeration. In: Proceedings of the International Conference on Software Engineering Advances, Tahiti, 2006. 20. Google Scholar

[21] Farooq Q, Iqbal M, Malik Z I, et al. An approach for selective state machine based regression testing. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing. New York: ACM, 2007. 44--52. Google Scholar

[22] Naslavsky L, Ziv H, Richardson D J. A model-based regression test selection technique. In: Proceedings of International Conference on Software Maintenance, Edmonton, 2009. 515--518. Google Scholar

[23] Chen Y P, Probert R L, Sims D P. Specification-based regression test selection with risk analysis. In: Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research, Indianapolis, 2002. 1. Google Scholar

[24] Briand L C, Labiche Y, He S. Automating regression test selection based on UML designs. Inf Softw Technol, 2009, 5116-30 CrossRef Google Scholar

[25] Tao C Q, Li B X, Gao J. A systematic state-based approach to regression testing of component software. J Softw, 2013, 8560-571 Google Scholar

[26] Orso A, Harrold M J, Rosenblum D, et al. Using component metacontents to support the regression testing of component-based software. In: Proceedings of the IEEE International Conference on Software Maintenance, Florence, 2001. 716--725. Google Scholar

[27] Zheng J, Robinson B, Williams L, et al. Applying regression test selection for COTS-based applications. In: Proceedings of the 28th IEEE International Conference on Software Engineering, Shanghai, 2006. 512--521. Google Scholar


Contact and support