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

  • Abstract
  • Keywords
  • References
  • PDF
  • Abstract

    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.


  • Keywords

    Mapping Model; Model-based Testing; Software Product Line; Software Testing.

  • References

      [1] Clements, P. & Northrop, L. (2003). Software Product Lines. Addison-Wesley, 1–105.

      [2] Wang, S. Ali, S., Yue, T. & Liaaen, M. (2013). Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study. Proceedings of the 13th International Conference on Quality Software, pp. 75-84.

      [3] Cichos, H., Oster, S., Lochau, M. & Schuerr, A. (2011). Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, 6981, 425–439.

      [4] Utting, M., Pretschner, A. & Legeard, B. (2012). A Taxonomy of Model-Based Testing Approaches. Software Testing, Verification and Reliability, 24(5), 297-312.

      [5] Siavashi, F. & Truscan, D. (2015). Environment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges: A Systematic Literature Review. Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, pp. 1–6.

      [6] Wang, S., Gotlieb, A., Ali, S. & Liaaen, M. (2013). Automated Test Case Selection Using Feature Model: An Industrial Case Study. Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, 237–253.

      [7] Weißleder, S. & Lackner, H. (2013). Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines. Electron. Proc. Theor. Comput. Sci., 111, 82–94.

      [8] Olimpiew, E. M. & Gomaa, H. (2009). Reusable Model-Based Testing, Formal Foundations of Reuse and Domain Engineering. Lecture Notes in Computer Science, 5791, 76–85.

      [9] Lochau, M., Oster, S., Goltz, U. & Schürr, A. (2012). Model-Based Pairwise Testing For Feature Interaction Coverage in Software Product Line Engineering. Software Quality Journal, 20 (3–4), 567–604.

      [10] Oster, S. (2012). Feature Model-based Software Product Line Testing. PhD thesis, Technische Universitat.

      [11] Haslinger, E. N., Lopez-Herrejon, R.E. & Egyed, A. (2013). Using Feature Model Knowledge to Speed Up the Generation of Covering Arrays. Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems, pp. 1–6.

      [12] Olimpiew, E. M. (2008). Model-Based Testing for Software Product Lines. Doctoral Dissertation, George Mason University Fairfax.

      [13] Beuche, D. (2003). Variant Management With Pure:: Variants. Technical report, Pure-Systems GmbH.

      [14] Lian, X. Zhang, L., Jiang, J. & Goss, W. (2018). An Approach for Optimized Feature Selection in Large-Scale Software Product Lines. Journal of Systems and Software, 137, 636-651.

      [15] Beuche, D. & Dalgarno, M. (2007). Software Product Line Engineering with Feature Models. Overload Journal, 78, 5-8.

      [16] Machado, I. (2014). Fault Model-Based Variability Testing. PhD thesis, Universidade Salvador.

      [17] Lopez-Herrejon, R. Ferrer, J., Haslinger, E. N., Chicano, F., Egyed, A., & Alba, E. (2014). Comparing Pairwise Testing in Software Product Lines: A Framework Assessment. Proceedings of the International Conference Software Product Line, pp. 1-15.

      [18] Parejo, J. A., Sánchez, A. B., Segura, S., Ruiz-Cortés, A., Lopez-Herrejon, R. E., & Egyed, A. (2016). Multi-Objective Test Case Prioritization in Highly Configurable Systems: A Case Study. Journal of Systems and Software, 122, 287-310.

      [19] Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B. & le Traon, Y. (2012). Pairwise Testing for Software Product Lines: Comparison of Two Approaches. Software Quality Journal, 20(3–4), 605–643.

      [20] Lei, Y., Kacker, R., Kuhn, D. R., Okun, V., & Lawrence, J. (2007). IPOG: A General Strategy for T-Way Software Testing. Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 549–556.

      [21] Brucker, A. D. & Julliand, J. (2008). IPOG/IPOG-D: Efficient Test Generation for Multi-Way Combinatorial Testing. Software Testing, Verification and. Reliability, 18(3), 125-148.

      [22] Calvagna, A, Gargantini, A. & Vavassori, P. (2013). Combinatorial Testing for Feature Models Using CITLAB. Proceedings of the IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp. 338-347.

      [23] Calvagna, A., Gargantini, A. & Vavassori, P. (2013). Combinatorial Interaction Testing with CITLAB. Proceedings of the IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 376-382.

      [24] Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3), 231–274.

      [25] Rodrigues, E. D. M. (2013). Plets: A Product Line of Model-Based Testing Tools. PhD thesis, Pontifical Catholic University of Rio Grande do Sul.

      [26] Doungsa-ard, C., Dahal, K. P. Hossain, M. A., & Suwannasart, T. (2007). An Automatic Test Data Generation from UML State Diagram using Genetic Algorithm. Proceedings of the Second International Conference on Software Engineering Advances, pp. 47-52.




Article ID: 21373
DOI: 10.14419/ijet.v7i4.15.21373

Copyright © 2012-2015 Science Publishing Corporation Inc. All rights reserved.