Derivation of Test Cases for Model-based Testing of Software Product Line with Hybrid Heuristic Approach

  • R. Aduni Sulaiman
  • D. N. A. JawawiEmail author
  • Shahliza Abd Halim
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1073)


In Model-based testing (MBT) for Software Product Lines (SPLs), many algorithms have been proposed for test case generation. The test case is generated based on a test model which aims to achieve optimization. The heuristic search algorithm is one of the techniques that can be used to traverse the test model with a good quality of solutions. This paper describes our experience in using three types of search algorithm, which are Floyd’s Warshall, Branch and Bound algorithm and Best First Search (FWA-BBA-BFS) which were integrated and hybridized in order to fully explore the test model. In this paper, this algorithm is validated based on test case results measured according to coverage criteria, generation time and size of test suite. Based on the experimental results, it is established that our proposed algorithm can generate test cases with reasonable cover-age, minimal execution time and appropriate size of test suite.


Software Product Line Model-based testing Software testing Branch and bound algorithm 



This research is fully funded by Ministry of Higher Education Malaysia (MOHE) for FRGS Grant Vot No.5F117 and University Teknologi Malaysia for UTM-TDR Grant Vot No.06G23, which made this research endeavor possible.


  1. 1.
    Zhang, Y., Krinke, J., Petke, J., Harman, M., Langdon, W.B., Jia, Y.: Search based software engineering for software product line engineering. In: Proceedings of the 8th International Software Product Line Conference, vol. 1, pp. 5–18 (2014)Google Scholar
  2. 2.
    Model, C., Testing, B., Lines, S.P., Farrag, M.: Colored Model Based Testing for Software Product Lines (CMBT-SWPL), Technical University of Ilmenau (2010)Google Scholar
  3. 3.
    Ensan, F., Bagheri, E., Gasevic, D.: Evolutionary search-based test generation for software product line feature models. In: International Conference on Advanced Information Systems Engineering, pp. 613–628 (2012)Google Scholar
  4. 4.
    Cichos, H., Oster, S., Lochau, M., Schuerr, A.: Model-based coverage-driven test suite generation for software product lines. Model Driven Eng. Lang. Syst. 6981, 425–439 (2011)CrossRefGoogle Scholar
  5. 5.
    Devroey, X., Perrouin, G., Schobbens, P.-Y.: Abstract test case generation for behavioural testing of software product lines. In: 18th International Software Product Line Conference 2014, pp. 86–93 (2014)Google Scholar
  6. 6.
    Wang, S., Ali, S., Gotlieb, A.: Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. 103, 370–391 (2015)CrossRefGoogle Scholar
  7. 7.
    Wang, S., Ali, S., Yue, T., Liaaen, M.: Using feature model to support model-based testing of product lines: an industrial case study. In: Proceedings of the International Symposium on the Physical and Failure Analysis of Integrated Circuits IPFA, pp. 75–84 (2013)Google Scholar
  8. 8.
    Sulaiman, R.A., Jawawi, D.A., Halim, S.A.: Coverage-based approach for model-based testing in Software Product Line. Int. J. Eng. Technol. 7(4) (2018)Google Scholar
  9. 9.
    Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P., Heymans, P.: Coverage criteria for behavioural testing of software product lines. In: Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, pp. 336–350 (2014, to appear)Google Scholar
  10. 10.
    Xing, Y., Gong, Y., Wang, Y., Zhang, X.: Path-wise test data generation based on heuristic look-ahead methods 2014 (2014)Google Scholar
  11. 11.
    Wang, Y.W., Xing, Y., Gong, Y.Z., Zhang, X.Z.: Optimized branch and bound for path-wise test data generation. Int. J. Comput. Commun. Control 9(4), 497–509 (2014)Google Scholar
  12. 12.
    Floyd, R.W.: Algorithms. Commun. ACM 97, 344–348 (1962)CrossRefGoogle Scholar
  13. 13.
    Aini, A., Salehipour, A.: Speeding up the Floyd – Warshall algorithm for the cycled shortest path problem. Appl. Math. Lett. 25(1), 1–5 (2012)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Hervieu, A., Baudry, B.: Pacogen : automatic generation of pairwise test configurations from feature models. In: International Symposium on Software Reliability Engineering, pp. 120–129 (2011)Google Scholar
  15. 15.
    Egyed, A., Segura, S., Lopez-Herrejon, R.E., Ruiz-Cortés, A., Parejo, J.A., Sánchez, A.B.: Multi-objective test case prioritization in highly configurable systems: a case study. J. Syst. Softw. 122, 287–310 (2016)CrossRefGoogle Scholar
  16. 16.
    Weißleder, S., Lackner, H.: Top-down and bottom-up approach for model-based testing of product lines. Electron. Proc. Theor. Comput. Sci. 111(Mbt), 82–94 (2013)Google Scholar
  17. 17.
    Oster, S.: Feature model-based software product line testing, Technische Universität (2012)Google Scholar
  18. 18.
    Siti, N.M., Halim, S.A., Jawawi, D.N., Mamat, R.: Enhanced educational robotics feature model in software product line. Adv. Sci. Lett. 24(10), 7251–7256 (2018)Google Scholar
  19. 19.
    Devroey, X.: Behavioural model based testing of software product lines. In: Software Product Lines Conference (SPLC 2014), pp. 1–8, August 2014Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • R. Aduni Sulaiman
    • 1
  • D. N. A. Jawawi
    • 2
    Email author
  • Shahliza Abd Halim
    • 1
    • 2
  1. 1.Software Engineering Department, Faculty of ComputingUniversity Technology MalaysiaSkudaiMalaysia
  2. 2.Faculty of Computer Science and Information SystemUniversity Tun Hussein Onn MalaysiaParit RajaMalaysia

Personalised recommendations