article

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

Authors:

João Pascoal Faria,

Ana C. PaivaAuthors Info & Claims

International Journal on Software Tools for Technology Transfer (STTT), Volume 18, Issue 3

Pages 285 - 304

https://doi.org/10.1007/s10009-014-0354-x

Published: 01 June 2016 Publication History

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, describing both external interactions with users or client applications and internal interactions between objects in the system. Test code is automatically generated from the sequence diagrams and executed on the 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, taking advantage of aspect-oriented programming techniques. Incremental conformance checking is achieved by first translating sequence diagrams to Extended Petri Nets that combine the characteristics of Colored Petri Nets and Event-Driven Petri Nets.

References

[1]

OMG Unified Modeling Language$$^{{\rm TM}}$$TM (OMG UML): Superstructure, Version 2.4.1. Object Management Group (OMG) (2011)

[2]

Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Softw. Mag. 20(5), 1418 (2003)

Digital Library

[3]

Uttin, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)

Digital Library

[4]

Faria, J.P., Paiva, A.C.R., Yang, Z.: Test generation from UML sequence diagrams. In: 8th International Conference on the Quality of Information and Communications Technology, pp. 245---250 (2012)

Digital Library

[5]

JUnit testing framework: http://www.junit.org (2014)

[6]

Faria, J.P., Castro, M.V., Paiva, A.C.R.: Techniques and toolset for conformance testing against UML sequence diagrams. In: 25th IFIP International Conference on Testing Software and Systems (ICTSS'13), LNCS vol. 8254, pp. 180---195. Springer, Berlin, Heidelberg, New York (2013). http://link.springer.com/chapter/10.1007%2F978-3-642-41707-8_12#

[7]

Stotts, P.D., Pugh, W.: Parallel finite automata for modeling concurrent software systems. J. Syst. Softw. 27, 27---43 (1994)

Digital Library

[8]

Micskei, Z., Waeselynck, H.: The many meanings of UML 2 sequence diagrams: a survey. J. Softw. Syst. Model. 10, 489---514 (2011)

Digital Library

[9]

Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Trans. 9, 213---254 (2007). (Springer)

Digital Library

[10]

Jorgensen, P.C.: Event-driven Petri nets. In: Modeling Software Behavior: A Craftsman's Approach, pp. 137---153. Auerbach Publications, Boca Raton (2009)

[11]

Faria, J.P., Paiva, A.C.R.: UML Checker: Formal Specification in VDM++ of the Petri Net-based Conformance Checking Engine, TR-SDBT-2013-04, FEUP (2013). https://blogs.fe.up.pt/sdbt/files/2013/04/TR-2013-04.pdf

[12]

Enterprise Architect. http://www.sparxsystems.com.au (2014)

[13]

AspectJ. http://www.eclipse.org/aspectj (2014)

[14]

Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson, London (1994)

Digital Library

[15]

Hallal, H., Boroday, S., Petrenko, A., Ulrich, A.: A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18(1), 63---83 (2006)

[16]

Castro, M.V.: Automating Scenario Based Testing with UML and AOP. MSc thesis, FEUP (2013) https://blogs.fe.up.pt/sdbt/files/2013/04/Castro.pdf (in Portuguese)

[17]

JaCoCo Java Code Coverage Library. http://www.eclemma.org/jacoco/ (2014)

[18]

Google's Guava libraries. https://code.google.com/p/guava-libraries/ (2014)

[19]

Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. J. Softw. Syst. Model. 7(2), 237---253 (2008). (Springer)

[20]

Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. Models Softw. Eng. LNCS 4364, 42---51 (2007). (Springer)

Digital Library

[21]

Bouabana-Tebibel, T., Rubin, S.H.: An interleaving semantics for UML 2 interactions using Petri nets. Inform. Sci. 232, 276---293 (2013)

Digital Library

[22]

Fernandes, J.M., Tjell, S., JØrgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML 2.0 sequence diagrams into coloured Petri net. In: SCESM'07, IEEE CS (2007)

Digital Library

[23]

Briand, L., Labiche, Y., Leduc, J.: Towards the reverse engineering of UML sequence diagrams for distributed java software. IEEE Trans. Soft. Eng. 32(9), 642---663 (2006)

Digital Library

[24]

Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A comparative evaluation of tests generated from different UML diagrams. SNPD 2008, 867---872 (2008)

Digital Library

[25]

Philip, S., Joseph, A.T.: Test sequence generation from UML sequence diagrams. SNPD 2008, 879---887 (2008)

Digital Library

[26]

Samuel, P., Mall, R.: A novelt test case design technique using dynamic slicing of UML sequence diagrams. e-Informatica 2(1), 71---92 (2008)

[27]

Nayak, A., Samanta, D.: Automatic test data synthesis using UML sequence diagrams. J. Object Technol. 9(2), 115---144 (2010)

[28]

Benattou, M., Bruel, J., Hameurlain, N.: Generating test data from OCL specification. In: ECOOP Workshop Integration and Transformation of UML Models (2002)

[29]

Engels, G., Gldali, B., Lohmann, M.: Towards model-driven unit testing. In: Khne, T. (ed.) MoDELS 2006 Workshops, LNCS, vol. 4364, pp. 182---192 (2007)

Digital Library

[30]

Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), IEEE (2002)

Digital Library

[31]

Wittevrongel, J., Maurer, F.: SCENTOR: scenario-based testing of E-business applications. In: 2nd International Workshop on Automation of Software Test (AST) (2007)

[32]

Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: 2nd International Workshop on Automation of Software Test (AST) (2007)

Digital Library

[33]

IBM Rational Rhapsody: IBM Rational Rhapsody Automatic Test Conductor Add on User Guide, v2.5.2 (2013)

[34]

Boroday, S., Petrenko, A., Ulrich, A.: Implementing MSC tests with quiescence observation. In: TESTCOM/FATES 2009. LNCS, vol. 5826, pp. 49---65 (2009)

Digital Library

[35]

Ambler, S.: Agile Modeling (AM) Home Page--Effective Practices for Modeling and Documentation. http://www.agilemodeling.com (2014)

Cited By

Mahe EGaston CGall P(2020)Revisiting Semantics of Interactions for Trace Validity AnalysisFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_24(482-501)Online publication date: 25-Apr-2020
https://dl.acm.org/doi/10.1007/978-3-030-45234-6_24
Hojaji FMayerhofer TZamani BHamou-Lhadj ABousse E(2019)Model execution tracing: a systematic mapping studySoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00724-118:6(3461-3485)Online publication date: 1-Dec-2019
https://dl.acm.org/doi/10.1007/s10270-019-00724-1
Yenigün HYilmaz CUlrich A(2016)Advances in test generation for testing software and systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0404-z18:3(245-249)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s10009-015-0404-z

Index Terms

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Index terms have been assigned to the content through auto-classification.

Recommendations

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
MODELSWARD 2018: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development

UML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based

systems. However, the created diagrams are often used only as documentation, and not as a basis for

generating subsequent lifecycle artifacts or ...
Formal Transformation from Sequence Diagrams to Coloured Petri Nets
APSEC '10: Proceedings of the 2010 Asia Pacific Software Engineering Conference

In this paper we define a formal strongly consistent transformation from UML2 sequence diagrams to coloured Petri nets (CPNs). We define the language of sequence diagrams (set of legal traces) and show how this is mapped onto an equivalent language of ...
A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets
SE '08: Proceedings of the IASTED International Conference on Software Engineering

The paper presents transformations from UML 2.0 Sequence Diagrams to Time Petri nets with inhibitor arcs. The transformation is not restricted to messages calls and responses, but also to some of the new Sequence Diagrams operators. This model-to-model ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image International Journal on Software Tools for Technology Transfer (STTT)

International Journal on Software Tools for Technology Transfer (STTT) Volume 18, Issue 3

June 2016

107 pages

ISSN:1433-2779

EISSN:1433-2787

Issue’s Table of Contents

Copyright © Copyright © 2016 Springer-Verlag Berlin Heidelberg.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 2016

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mahe EGaston CGall P(2020)Revisiting Semantics of Interactions for Trace Validity AnalysisFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_24(482-501)Online publication date: 25-Apr-2020
https://dl.acm.org/doi/10.1007/978-3-030-45234-6_24
Hojaji FMayerhofer TZamani BHamou-Lhadj ABousse E(2019)Model execution tracing: a systematic mapping studySoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00724-118:6(3461-3485)Online publication date: 1-Dec-2019
https://dl.acm.org/doi/10.1007/s10270-019-00724-1
Yenigün HYilmaz CUlrich A(2016)Advances in test generation for testing software and systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0404-z18:3(245-249)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s10009-015-0404-z

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents