Test purpose oriented I/O conformance test selection with colored Petri nets. (English) Zbl 1442.68147

Liu, Jing; Ye, Xinming; Zhou, Jiantao

J. Appl. Math. 2014, Article ID 645235, 10 p. (2014).

Summary: This paper proposes an input-output conformance (IOCO) test selection method directed by test purpose model specified with colored Petri nets (CPN). Based on conformance testing oriented CPN models for specifying software functional behaviors and specific test purposes, respectively, feasible test cases are generated, guided by the CPN based IOCO relation, using synchronized model simulation with the proof of the soundness of test generation and the coverage towards test purposes. This test selection method integrates the merits the IOCO testing theory and the CPN modeling synergistically and is applied as a novel and applicable test selection method for actual testing practice of large-scale software systems. As the synchronized model simulation with two CPN models is irrespective of their model scale, the effectiveness and practicability of our test selection method are enhanced with scalability.

MSC:

68Q85	Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q60	Specification and verification (program logics, model checking, etc.)

References:

[1]	International Organization for Standardization, Information Technology—Open Systems Interconnection—Conformance Testing Methodology and Framework—Part 1: General Concepts (1994), Geneva, Switzerland: International Organization for Standardization, Geneva, Switzerland
[2]	Hierons, R. M.; Bogdanov, K.; Bowen, J. P., Using formal specifications to support testing, ACM Computing Surveys, 41, 2, article 9 (2009) · doi:10.1145/1459352.1459354
[3]	Dalal, S. R.; Jain, A.; Karunanithi, N.; Leaton, J. M.; Lott, C. M.; Patton, G. C.; Horowitz, B. M., Model-based testing in practice, Proceedings of the International Conference on Software Engineering (ICSE ’99)
[4]	Yan, J.; Wang, J.; Chen, H. W., Survary of model-based software testing, Computer Science, 31, 2, 184-187 (2004)
[5]	Broy, M.; Jonsson, B.; Katoen, J. P.; Leucker, M.; Pretschner, A., Model-Based Testing of Reactive Systems. Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science, 3472 (2005), Heidelberg, Germany: Springer, Heidelberg, Germany · Zbl 1070.68088
[6]	Tretmans, J., Model based testing with labelled transition systems, Formal Methods and Testing. Formal Methods and Testing, Lecture Notes in Computer Science, 4949, 1-38 (2008), Heidelberg, Germany: Springer, Heidelberg, Germany · doi:10.1007/978-3-540-78917-8_1
[7]	Tretmans, J., Test generation with inputs, outputs and repetitive quiescence, Software-Concepts and Tools, 17, 3, 103-120 (1996) · Zbl 0858.68061
[8]	Tretmans, J.; Brinksma, E., TorX: automated model based testing, Proceedings of the 1st European Conference on Model-Driven Software Engineering (ECMDSE ’03)
[9]	Jard, C.; Jéron, T., TGV: theory, principles and algorithms. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, International Journal on Software Tools for Technology Transfer, 7, 4, 297-315 (2005) · doi:10.1007/s10009-004-0153-x
[10]	Jensen, K.; Kristensen, L. M., Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009), Heidelberg, Germany: Springer, Heidelberg, Germany · Zbl 1215.68153
[11]	Liu, J.; Ye, X.-M.; Li, J., Colored Petri nets model based conformance test generation, Proceedings of the 16th IEEE Symposium on Computers and Communications (ISCC ’11) · doi:10.1109/ISCC.2011.5983967
[12]	Vries, R. G.; Tretmans, J., Towards formal test purposes, Proceedings of the 1st International Workshop on Formal Approaches to Testing of Software (FATES ’01)
[13]	Weiglhofer, M.; Fraser, G.; Wotawa, F., Using coverage to automate and improve test purpose based testing, Information and Software Technology, 51, 11, 1601-1617 (2009) · doi:10.1016/j.infsof.2009.06.008
[14]	Jéron, T., Symbolic model-based test selection, Electronic Notes in Theoretical Computer Science, 240, 7, 167-184 (2009) · Zbl 1347.68228 · doi:10.1016/j.entcs.2009.05.051
[15]	Watanabe, H.; Kudoh, T., Test suite generation methods for concurrent systems based on coloured Petri nets, Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC ’95) · doi:10.1109/APSEC.1995.496973
[16]	Farooq, U.; Lam, C. P.; Li, H., Towards automated test sequence generation, Proceedings of the 19th Australian Software Engineering Conference (ASWEC ’08)
[17]	Zhu, H.; He, X.-D., A methodology of testing high-level Petri nets, Information and Software Technology, 44, 8, 473-489 (2002) · doi:10.1016/S0950-5849(02)00048-4
[18]	Ledru, Y.; du Bousquet, L.; Bontron, P.; Maury, O.; Oriat, C.; Potet, M. L., Test purposes: adapting the notion of specification to testing, Proceedings of the 16th Annual International Conforence on Automated Software Engineering (ASE ’01)
[19]	Chan, K. P.; Chen, T. Y.; Towey, D., Good random testing, Proceedings of the 9th International Conforence on Reliable Software Technology (Ada-Europe ’04)
[20]	Pachecol, C.; Lahiri, S. K.; Ernst, M. D.; Ball, T., Feedback-directed random test generation, Proceedings of the 29th International Conforence on Software Engineering (ICSE ’07)
[21]	Fernandez, J.; Mounier, L.; Pachon, C., Property oriented test case generation, Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES ’03) · Zbl 1185.68243
[22]	Fraser, G.; Wotawa, F.; Ammann, P. E., Testing with model checkers: a survey, Software Testing Verification and Reliability, 19, 3, 215-261 (2009) · doi:10.1002/stvr.402