Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
Model, C., Testing, B., Lines, S.P., Farrag, M.: Colored Model Based Testing for Software Product Lines (CMBT-SWPL), Technical University of Ilmenau (2010)
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)
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)
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)
Wang, S., Ali, S., Gotlieb, A.: Cost-effective test suite minimization in product lines using search techniques. J. Syst. Softw. 103, 370–391 (2015)
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)
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)
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)
Xing, Y., Gong, Y., Wang, Y., Zhang, X.: Path-wise test data generation based on heuristic look-ahead methods 2014 (2014)
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)
Floyd, R.W.: Algorithms. Commun. ACM 97, 344–348 (1962)
Aini, A., Salehipour, A.: Speeding up the Floyd – Warshall algorithm for the cycled shortest path problem. Appl. Math. Lett. 25(1), 1–5 (2012)
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)
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)
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)
Oster, S.: Feature model-based software product line testing, Technische Universität (2012)
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)
Devroey, X.: Behavioural model based testing of software product lines. In: Software Product Lines Conference (SPLC 2014), pp. 1–8, August 2014
Acknowledgement
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Aduni Sulaiman, R., Jawawi, D.N.A., Halim, S.A. (2020). Derivation of Test Cases for Model-based Testing of Software Product Line with Hybrid Heuristic Approach. In: Saeed, F., Mohammed, F., Gazem, N. (eds) Emerging Trends in Intelligent Computing and Informatics. IRICT 2019. Advances in Intelligent Systems and Computing, vol 1073. Springer, Cham. https://doi.org/10.1007/978-3-030-33582-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-33582-3_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-33581-6
Online ISBN: 978-3-030-33582-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)