Petri net based test case generation for evolved specification

Model-based testing can use a model to test a concrete program’s implementation. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date, such that it can be used for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To address this problem effectively, we propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis, such that we can generate new test cases to cover only the change-related parts of the new model. The Market Information System (MIS) is employed to demonstrate the feasibility and effectiveness of the proposed method. Our experimental results show that the use of our method saves about 31.5% test case generation cost.

[1]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[2]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[3]  Gregg Rothermel,et al.  A safe, efficient regression test selection technique , 1997, TSEM.

[4]  Ning Zhang,et al.  Automated regression testing using DBT and Sleuth , 1999, J. Softw. Maintenance Res. Pract..

[5]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[6]  Bogdan Korel,et al.  Requirement-based automated black-box test generation , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[7]  Gregg Rothermel,et al.  An empirical study of regression test selection techniques , 2001, ACM Trans. Softw. Eng. Methodol..

[8]  Gregg Rothermel,et al.  Using component metacontent to support the regression testing of component-based software , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[9]  Yanping Chen,et al.  Specification-based regression test selection with risk analysis , 2002, CASCON.

[10]  Bogdan Korel,et al.  Model based regression test reduction using dependence analysis , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[11]  Frantisek Plasil,et al.  USE CASES: ASSEMBLING "WHOLE PICTURE" BEHAVIOR , 2002 .

[12]  Y. N. Srikant,et al.  Specification Based Regression Testing Using Explicit State Space Enumeration , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[13]  Laurie A. Williams,et al.  Applying regression test selection for COTS-based applications , 2006, ICSE.

[14]  S. Somé,et al.  Petri Nets Based Formalization of Textual Use Cases , 2007 .

[15]  C. Williams,et al.  On Generating EFSM Models from Use Cases , 2007, Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007).

[16]  Zafar I. Malik,et al.  An approach for selective state machine based regression testing , 2007, A-MOST '07.

[17]  Debra J. Richardson,et al.  A model-based regression test selection technique , 2009, 2009 IEEE International Conference on Software Maintenance.

[18]  Lionel C. Briand,et al.  Automating regression test selection based on UML designs , 2009, Inf. Softw. Technol..

[19]  Sandeep K. Singh,et al.  Automatic extraction of events from Textual Requirements specification , 2009, 2009 World Congress on Nature & Biologically Inspired Computing (NaBIC).

[20]  Per Runeson,et al.  A systematic review on regression test selection techniques , 2010, Inf. Softw. Technol..

[21]  Xiang Li,et al.  Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software , 2010, 2010 10th International Conference on Quality Software.

[22]  Rajib Mall,et al.  Model-Based Regression Test Case Prioritization , 2010, ICISTM.

[23]  Zuohua Ding,et al.  Model Driven Synthesis of Behavioral Models from Textual Use Cases , 2011 .

[24]  Swarnendu Biswas,et al.  Regression Test Selection Techniques: A Survey , 2011, Informatica.

[25]  Mark Harman,et al.  Regression testing minimization, selection and prioritization: a survey , 2012, Softw. Test. Verification Reliab..

[26]  Bixin Li,et al.  A Systematic State-Based Approach to Regression Testing of Component Software , 2013, J. Softw..

[27]  MengChu Zhou,et al.  Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks , 2016, IEEE Transactions on Intelligent Transportation Systems.