Abstract
In this paper, we introduce a model based approach for integration test cases generation. The approach is based on UML 2 Testing Profile and follows the Mode-Driven Architecture for generating integration test cases from unit test models. The generated test models can be exported to test execution environments such as JUnit and TTCN-3 for execution and evaluation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baker, P.: Model-Driven Testing: Using the UML Testing Profile. Springer, New York (2008)
Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 259–274. Springer, Heidelberg (1997)
Berrada, I., Castanet, R., Félix, P.: Testing communicating systems: A model, a methodology, and a tool. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 111–128. Springer, Heidelberg (2005)
Bogdanov, K., Holcombe, M.: Refinement in statechart testing. Software Testing Verification and Reliability, 189–211 (2004)
Bouquet, F., et al.: A subset of precise UML for model-based testing. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, London, United Kingdom, pp. 95–104 (2007)
Busch, M., et al.: Model transformers for test generation from system models. In: Proceedings of Conquest 2006, 10th International Conference on Quality Engineering in Software Technology, Berlin, Germany (2006)
Cartaxo, E.G., et al.: LTS-BT: A tool to generate and select functional test cases for embedded systems. In: 23rd Annual ACM Symposium on Applied Computing, SAC 2008, pp. 1540–1544 (2008)
Dong, W., Wang, J., Qi, Z., Rong, N.: Compositional verification of UML dynamic models. In: 14th Asia Pacific Software Engineering Conference, ASPCE 2007, pp. 286–293 (2007)
Gotzhein, R., Khendek, F.: Compositional testing of communication systems. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 227–244. Springer, Heidelberg (2006)
Hélouët, L., Hénin, T., Chevrier, C.: Automating scenario merging. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 64–81. Springer, Heidelberg (2006)
Javed, A.Z., Strooper, P.A., Watson, G.N.: Automated generation of test cases using model-driven architecture. In: Proceedings of the Second International Workshop on Automation of Software Test, vol. 3 (2007)
JUnit, http://www.junit.org
Khendek, F., Bochmann, G.V.: Merging behavior specifications. Formal Methods Syst. Des., 259–293 (1995)
Klein, J., Caillaud, B., Helouet, L.: Merging scenarios. In: Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), pp. 193–215 (2005)
Ladkin, P.B., Leue, S.: Four issues concerning the semantics of message flow graphs. In: Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, pp. 355–369 (1995)
Lamancha, B.P., Mateo, P.R., de Guzm’an, I.R., Usaola, M.P., Velthius, M.P.: Automated model-based testing using the UML testing profile and QVT. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, Denver, Colorado, pp. 6:1-6:10 (2009)
Liang, D., Xu, K.: Test-driven component integration with UML 2.0 testing and monitoring profile. In: 7th International Conference on Quality Software, QSIC 2007, pp. 32–39 (2007)
Mlynarski, M., Güldali, B., Späth, M., Engels, G.: From design models to test models by means of test ideas. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 7:1-7:10 (2009)
Pietsch, S., Stanca-Kaposta, B.: Model-based testing with UTP and TTCN-3 and its application to HL7. In: Testing Technologies IST GmbH, Germany (2008)
Yuan, Q., Wu, J., Liu, C., Zhang, L.: A model driven approach toward business process test case generation. In: 10th International Symposium Web Site Evolution, WSE 2008, pp. 41–44 (2008)
Sadaoui, S.: Composition of Structured Process Specifications. Electronic Notes in Theoretical Computer Science, 132–143 (2003)
Schmidt, D.C.: Guest Editor’s Introduction: Model-Driven Engineering. Computer, 25–31 (2006)
Suss, J.G., Pop, A., Fritzson, P., Wildman, L.: Towards integrated model-driven testing of SCADA systems using the eclipse modeling framework and modelica. In: 19th Australian Conference Software Engineering, ASWEC 2008, pp. 149–159 (2008)
The Architecture of Choice for a Changing World, http://www.omg.org/mda
TTCN-3, http://www.ttcn-3.org
UML Testing Profile, http://utp.omg.org
Unified Modeling Language, http://www.uml.org
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Boston (2007)
Valmari, A.: The state explosion problem. Advances in Petri Nets, 429–528 (1998)
Xie, G., Dang, Z.: Testing systems of concurrent black-Boxes—An automata-theoretic and decompositional approach. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 170–186. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mussa, M., Khendek, F. (2011). Towards a Model Based Approach for Integration Testing. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)