Coverage-based Approach for Model-based Testing in Software Product Line

Rapid Quality assurance is an important element in software testing in order to produce high quality products in Software Product Line (SPL). One of the testing techniques that can enhance product quality is Model-Based Testing (MBT). Due to MBT effectiveness in terms of reuse and potential to be adapted, this technique has become an efficient approach that is capable to handle SPL requirements. In this paper, the authors present an approach to manage variability and requirements by using Feature Model (FM) and MBT. This paper focuses on modelling the integration towards enhancing product quality and reducing testing effort. Further, the authors considered coverage criteria, including pairwise coverage, all-state coverage, and all-transition coverage, in order to improve the quality of products. For modelling purposes, the authors constructed a mapping model based on variability in FM and behaviour from statecharts. The proposed approach was validated using mobile phone SPL case study.

[1]  Ivan do Carmo Machado,et al.  Fault model-based variability testing , 2015, SBQS.

[2]  Erika Mir Olimpiew,et al.  Model-Based Testing for Software Product Lines , 2008 .

[3]  Stephan Weißleder,et al.  Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines , 2013, MBT.

[4]  Antonio Ruiz Cortés,et al.  Multi-objective test case prioritization in highly configurable systems: A case study , 2016, J. Syst. Softw..

[5]  Arnaud Gotlieb,et al.  Automated Test Case Selection Using Feature Model: An Industrial Case Study , 2013, MoDELS.

[6]  Andy Schürr,et al.  Model-based coverage-driven test suite generation for software product lines , 2011, MODELS'11.

[7]  Dragos Truscan,et al.  Environment modeling in model-based testing: concepts, prospects and research challenges: a systematic literature review , 2015, EASE.

[8]  Keshav Dahal,et al.  An automatic test data generation from UML state diagram using genetic algorithm. , 2007 .

[9]  Angelo Gargantini,et al.  Combinatorial Interaction Testing with CITLAB , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[10]  Jeff Yu Lei,et al.  IPOG/IPOG‐D: efficient test generation for multi‐way combinatorial testing , 2008, Softw. Test. Verification Reliab..

[11]  Sebastian Oster.  Feature model-based software product line testing , 2011 .

[12]  Li Zhang,et al.  An approach for optimized feature selection in large-scale software product lines , 2018, J. Syst. Softw..

[13]  Angelo Gargantini,et al.  Combinatorial Testing for Feature Models Using CitLab , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[14]  Shuai Wang,et al.  Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study , 2013, 2013 13th International Conference on Quality Software.

[15]  Alexander Egyed,et al.  Using feature model knowledge to speed up the generation of covering arrays , 2013, VaMoS.

[16]  Andy Schürr,et al.  Model-based pairwise testing for feature interaction coverage in software product line engineering , 2011, Software Quality Journal.

[17]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[18]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[19]  D. Beuche.  Product Line Engineering with Feature Models , 2006 .

[20]  Jeff Yu Lei,et al.  IPOG: A General Strategy for T-Way Software Testing , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[21]  Elder de M. Rodrigues,et al.  Plets: a product line of model-based testing tools , 2013 .

[22]  Jacques Klein,et al.  Pairwise testing for software product lines: comparison of two approaches , 2012, Software Quality Journal.