Coverage criteria for test case generation using UML state chart diagram

To improve the effectiveness of test data generation during the software test, many studies have focused on the automation of test data generation from UML diagrams. One of these diagrams is the UML state chart diagram. Test cases are generally evaluated according to coverage criteria. However, combinations of multiple criteria are required to achieve better coverage. Different studies used various number and types of coverage criteria in their methods and approaches. The objective of this paper to propose suitable coverage criteria for test case generation using UML state chart diagram especially in handling loops. In order to achieve this objective, this work reviewed previous studies to present the most practical coverage criteria combinations, including all-states, all-transitions, all-transition-pairs, and all-loop-free-paths coverage. Calculation to determine the coverage percentage of the proposed coverage criteria were presented together with an example has they are applied on a UML state chart di...

[1]  Hasan Ural,et al.  Using Model Checking for Reducing the Cost of Test Generation , 2004, FATES.

[2]  Franz Wotawa,et al.  Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies , 2013, 2013 13th International Conference on Quality Software.

[3]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[4]  Lionel C. Briand,et al.  Automated support for deriving test requirements from UML statecharts , 2005, Software & Systems Modeling.

[5]  Tao He,et al.  Automatic Test Generation from UML Statechart Diagram Based on Euler circuit , 2012 .

[6]  M. Mahesh,et al.  Test ready UML statechart models , 2006, SCESM '06.

[7]  Durga Prasad Mohapatra,et al.  Automatic Test Case Generation Using Sequence Diagram , 2013 .

[8]  Rajib Mall,et al.  Test Case Generation Based on State and Activity Models , 2010, J. Object Technol..

[9]  Xin Fan.  Test Data Generation with A Hybrid Genetic Tabu Search Algorithm for Decision Coverage Criteria , 2015 .

[10]  Ahmad A. Saifan,et al.  Using Formal Methods for Test Case Generation According to Transition-Based Coverage Criteria , 2015 .

[11]  Rajeev Kumar,et al.  UML behavioral model based test case generation: a survey , 2013, SOEN.

[12]  Gordon Fraser,et al.  Combining Multiple Coverage Criteria in Search-Based Unit Test Generation , 2015, SSBSE.

[13]  Lionel C. Briand,et al.  A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation , 2010, IEEE Transactions on Software Engineering.

[14]  Aamer Nadeem,et al.  A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..

[15]  Franz Wotawa,et al.  Using Dependency Relations to Improve Test Case Generation from UML Statecharts , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.

[16]  Nandamudi Lankalapalli Vijaykumar,et al.  A Practical Approach for Automated Test Case Generation using Statecharts , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

[17]  Jean Hartmann,et al.  UML-Based integration testing , 2000, ISSTA '00.

[18]  Rajeev Kumar,et al.  Generation of improved test cases from UML state diagram using genetic algorithm , 2011, ISEC.

[19]  V. Chimisliu,et al.  Model based test case generation for distributed embedded systems , 2012, 2012 IEEE International Conference on Industrial Technology.

[20]  Paul G. Sorenson,et al.  Generating Class-Based Test Cases for Interface Classes of Object-Oriented Black Box Frameworks , 2008 .

[21]  Paulo Henrique M. Maia,et al.  TCG - A Model-based Testing Tool for Functional and Statistical Testing , 2015, ICEIS.

[22]  Hishammuddin Asmuni,et al.  Automatic generation of test cases from activity diagrams for UML based testing (UBT) , 2015 .

[23]  Durga Prasad Mohapatra,et al.  Minimal TestCase Generation for Object-Oriented Software with State Charts , 2012, ArXiv.

[24]  Wanchai Rivepiboon,et al.  Automated-generating test case using UML statechart diagrams , 2003 .

[25]  Pierre-Yves Schobbens,et al.  Coverage Criteria for Behavioural Testing of Software Product Lines , 2014, ISoLA.

[26]  Doo-Hwan Bae,et al.  Automated test case generation for FBD programs implementing reactor protection system software , 2014, Softw. Test. Verification Reliab..

[27]  Durga Prasad Mohapatra,et al.  Automatic Test case Generation From UML State Chart Diagram , 2012 .

[28]  Jirapun Daengdej,et al.  A TEST GENERATION METHOD BASED ON STATE DIAGRAM , 2010 .

[29]  Chiou Peng Lam,et al.  An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin , 2005, QSIC.

[30]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[31]  Valdivino Alexandre de Santiago Junior,et al.  An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.