Abstract
Novel techniques and a toolset are presented for automatically testing the conformance of software implementations against partial behavioral models constituted by a set of parameterized UML sequence diagrams (SDs), describing both external and internal interactions. Test code is automatically generated from the SDs and executed on the Java implementation under test, and test results and coverage information are presented back visually in the model. A runtime test library handles internal interaction checking, test stubs, and user interaction testing. Incremental conformance checking is achieved by first translating SDs to non-deterministic acceptance automata with parallelism.
This work is part-funded by the ERDF – European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project «FCOMP - 01-0124-FEDER-022701».
Chapter PDF
Similar content being viewed by others
References
OMG Unified Modeling LanguageTM (OMG UML), Superstructure, v. 2.4.1, OMG (2011)
Mellor, S.J., Clark, A.N., Futagami, T.: Model-Driven Development. IEEE Software Magazine 20(5), 14–18 (2003)
Uttin, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann (2007)
Faria, J.P., Paiva, A., Yang, Z.: Test Generation from UML Sequence Diagrams. In: 8th Int. Conf. on the Quality of Information and Communications Technology, pp. 245–250 (2012)
JUnit testing framework, http://www.junit.org
Enterprise Architect, http://www.sparxsystems.com.au
AspectJ, http://www.eclipse.org/aspectj
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education (1994)
Stotts, P.D., Pugh, W.: Parallel Finite Automata for Modeling Concurrent Software Systems. J. of Software and Systems 27, 27–43 (1994)
Micskei, Z., Waeselynck, H.: The Many Meanings of UML 2 Sequence Diagrams: a Survey. J. of Software and Systems Modeling 10, 489–514 (2011)
Castro, M.V.: Automating Scenario Based Testing with UML and AOP, http://www.fe.up.pt/~ei06064/AutomatingSBTwithUMLandAOP.pdf (in Portuguese)
Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. J. of Software and Systems Modeling 7(2), 237–253 (2008)
Hallal, H., Boroday, S., Petrenko, A., Ulrich, A.: A Formal Approach to Property Testing in Causally Consistent Distributed Traces. Formal Aspects of Computing 18(1), 63–83 (2006)
Knapp, A., Wuttke, J.: Model Checking of UML 2.0 Interactions. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 42–51. Springer, Heidelberg (2007)
Briand, L., Labiche, Y., Leduc, J.: Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. IEEE Trans. on Soft. Eng. 32(9), 642–663 (2006)
Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A Comparative Evaluation of Tests Generated from Different UML Diagrams. In: SNPD 2008, pp. 867–872 (2008)
Philip, S., Joseph, A.T.: Test Sequence Generation from UML Sequence Diagrams. In: SNPD 2008, pp. 879–887 (2008)
Samuel, P., Mall, R.: A Novel Test Case Design Technique using Dynamic Slicing of UML Sequence Diagrams. e-Informatica 2(1), 71–92 (2008)
Nayak, A., Samanta, D.: Automatic Test Data Synthesis using UML Sequence Diagrams. J. of Object Technology 9(2), 115–144 (2010)
Benattou, M., Bruel, J., Hameurlain, N.: Generating Test Data from OCL Specification. In: ECOOP Workshop Integration and Transformation of UML Models (2002)
Engels, G., Güldali, B., Lohmann, M.: Towards Model-Driven Unit Testing. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 182–192. Springer, Heidelberg (2007)
Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proc. of the 17th IEEE Int. Conf. on Automated Software Engineering (ASE 2002). IEEE (2002)
Wittevrongel, J., Maurer, F.: SCENTOR: Scenario-Based Testing of E-Business Applications. In: 2nd Int. Workshop on Automation of Software Test (AST) (2007)
Javed, A., Strooper, P., Watson, G.: Automated Generation of Test Cases using Model-Driven Architecture. In: 2nd Int. Workshop on Automation of Software Test (AST) (2007)
IBM® Rational® Rhapsody® Automatic Test Conductor Add On User Guide, v2.5.2 (2013)
Boroday, S., Petrenko, A., Ulrich, A.: Implementing MSC Tests with Quiescence Observation. In: Núñez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol. 5826, pp. 49–65. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Faria, J.P., Paiva, A.C.R., de Castro, M.V. (2013). Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds) Testing Software and Systems. ICTSS 2013. Lecture Notes in Computer Science, vol 8254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41707-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-41707-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41706-1
Online ISBN: 978-3-642-41707-8
eBook Packages: Computer ScienceComputer Science (R0)