TCG - A Model-based Testing Tool for Functional and Statistical Testing

Model-based testing (MBT) is an approach that takes software specification as the base for the formal model creation and, from it, enables the test case extraction. Depending on the type of model, an MBT tool can support functional and statistical tests. However, there are few tools that support both testing techniques. Moreover, the ones that support them offer a limited number of coverage criteria. This paper presents TCG, a tool for the generation and selection of functional and statistical test cases. It provides 8 classic generation techniques and 5 selection heuristics, including a novel one called minimum probability of path.

[1]  Stephan Weißleder,et al.  An Evaluation of Model-Based Testing in Embedded Applications , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[2]  Jesse H. Poore,et al.  Generating transition probabilities to support model‐based software testing , 2000, Softw. Pract. Exp..

[3]  Xiaolong Wang,et al.  Software Reliability Test Based on Markov Usage Model , 2012, J. Softw..

[4]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[5]  Eda Marchetti,et al.  Weighting Influence of User Behavior in Software Validation , 2008, 2008 19th International Workshop on Database and Expert Systems Applications.

[6]  Yvan Labiche,et al.  A systematic review of state-based test tools , 2013, International Journal on Software Tools for Technology Transfer.

[7]  Jesse H. Poore,et al.  Application of statistical science to testing and evaluating software intensive systems , 1999, Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010).

[8]  Wilkerson de L. Andrade,et al.  LTS-BT: a tool to generate and select functional test cases for embedded systems , 2008, SAC '08.

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

[10]  Giuliano Antoniol,et al.  A case study using the round-trip strategy for state-based class testing , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[11]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[12]  Alexander Pretschner,et al.  Model-Based Testing in Practice , 2005, FM.

[13]  C. Trammell,et al.  Quantifying the reliability of software: statistical testing based on a usage model , 1995, Proceedings of Software Engineering Standards Symposium.

[14]  Jesse H. Poore,et al.  Partition testing with usage models , 2000, Inf. Softw. Technol..

[15]  Abderrahmane Feliachi,et al.  Generating Transition Probabilities for Automatic Model-Based Test Generation , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[16]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[17]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

[18]  Patrícia Duarte de Lima Machado,et al.  On the use of a similarity function for test case selection in the context of model‐based testing , 2011, Softw. Test. Verification Reliab..