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

  • Authors

    • Rabatul Aduni Sulaiman
    • Dayang Norhayati A. Jawawi
    • Shahliza Abd Halim
    https://doi.org/10.14419/ijet.v7i4.15.21373

    Received date: October 9, 2018

    Accepted date: October 9, 2018

    Published date: October 7, 2018

  • Mapping Model, Model-based Testing, Software Product Line, Software Testing.

  • 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.

  • References

    1. Clements, P. & Northrop, L. (2003). Software Product Lines. Addi-son-Wesley, 1–105.
    2. Wang, S. Ali, S., Yue, T. & Liaaen, M. (2013). Using Feature Mod-el 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 Prod-uct Lines. Model Driven Engineering Languages and Systems, Lec-ture 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 Mod-el-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 Test-ing, Formal Foundations of Reuse and Domain Engineering. Lec-ture 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 Test-ing. 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 Cover-ing 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 Prod-uct Lines. Doctoral Dissertation, George Mason University Fairfax.
    13. Beuche, D. (2003). Variant Management With Pure:: Vari-ants. 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 Engi-neering 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 Inter-national 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. Jour-nal 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. Proceed-ings of the 14th Annual IEEE International Conference and Work-shops 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, Verifica-tion 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 Sys-tems. 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 Dia-gram using Genetic Algorithm. Proceedings of the Second Interna-tional Conference on Software Engineering Advances, pp. 47-52.

  • Downloads

  • How to Cite

    Aduni Sulaiman, R., Norhayati A. Jawawi, D., & Abd Halim, S. (2018). Coverage-based Approach for Model-based Testing in Software Product Line. International Journal of Engineering and Technology, 7(4.15), 63-68. https://doi.org/10.14419/ijet.v7i4.15.21373