Article

Deriving tests from UML 2.0 sequence diagrams with neg and assert

Authors:

Mass Soldal Lund,

Ketil StølenAuthors Info & Claims

AST '06: Proceedings of the 2006 international workshop on Automation of software test

Pages 22 - 28

https://doi.org/10.1145/1138929.1138934

Published: 23 May 2006 Publication History

Abstract

In this paper we define an algorithm for deriving tests from UML 2.0 sequence diagrams based on the operational semantics for sequence diagrams defined in [13]. The algorithm is a modifiedand adapted version of the algorithm presented in [19, 20]. This modified algorithm is based on the standard semantic model of sequence diagrams and allows diagrams to contain the operators neg and assert. The derived tests are themselves sequence diagrams.

References

[1]

P. Baker, P. Bristow, C. Jervis, D. King, and B. Mitchell. Automatic generation of conformance tests from Message Sequence Charts. In SDL and MSC workshop (SAM'02), number 2599 in LNCS, pages 170--198. Springer-Verlag, 2003.]]

[2]

L. Briand and Y. Labiche. A UML-based approach to system testing. Softw. Syst. Model., 1(1):10--42, 2002.]]

[3]

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.1.1). SRI International, Menlo Park, Apr. 2005.]]

[4]

F. Fraikin and T. Leonhardt. SeDiTeC - Testing based on sequence diagrams. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pages 261--266. IEEE Computer Society, 2002.]]

Digital Library

[5]

J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. SDL and MSC based test generation for distributed test architectures. In 9th International SDL Forum, The Next Millennium (SDL'99), pages 389--404. Elsevier, 1999.]]

[6]

J. Hartmann, C. Imoberdorf, and M. Meisinger. UML-based integration testing. In 2000 International Symposium on Software Testing and Analysis (ISSTA'00), Proceedings of the ACM SIGSOFT, volume 25 of Software Engineering Notes, pages 60--70, Sept. 2000.]]

Digital Library

[7]

Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. STAIRS towards formal design with sequence diagrams. Softw. Syst. Model., 44):355--367, 2005.]]

[8]

Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. Why timed sequence diagrams require three-event semantics. In Scenarios: Models, transformations and tools. International Workshop, Dagstuhl Castle, Germany, September 2003. Revised selected papers, number 3466 in LNCS, pages 1--25. Springer-Verlag, 2005.]]

Digital Library

[9]

ITU-T. Message Sequence Chart (MSC), ITU-T Recommendation Z.120 (11/1999), 1999.]]

[10]

ITU-T. Specification and description language (SDL), ITU-T Recommendation Z.100 (11/1999), 2000.]]

[11]

Y. G. Kim, H. S. Hong, D. H. Bae, and S. D. Cha. Test cases generation from UML state diagrams. IEE Proc.-Softw., 146(4):187--192, Aug. 1999.]]

[12]

M. S. Lund. Testing decomposition of component specifications based on a rule for formal verification. In Third International Conference on Quality Software (QSIC 2003), pages 154--160. IEEE Computer Society, 2003.]]

Digital Library

[13]

M. S. Lund and K. Stølen. A fully general operational semantics for UML sequence diagrams with potential and mandatory choice. Research report 330, Department of Informatics, University of Oslo, 2006.]]

[14]

J. Offnutt and A. Abdurazik. Generating tests from UML specifications. In UML'99 - The Unified Modeling Language Beyond the Standard, Second International Conference, number 1723 in LNCS, pages 416--429. Springer-Verlag, 1999.]]

[15]

OMG. UML Testing Profile, version 1.0. Object Management Group, 2005. OMG Document: formal/2005-07-07.]]

[16]

OMG. Unified Modeling Language: Superstructure, version 2.0. Object Management Group, 2005. OMG Document: formal/2005-07-04.]]

[17]

R. K. Runde, Ø. Haugen, and K. Stølen. How to transform UML neg into a useful construct. In Norsk Informatikkonferanse (NIK'05), pages 55--66. Tapir, 2005.]]

[18]

D. Sokenou. Ein UML-basierter Testansatz zum Klassen- und Integrationstest objektorientierter Systeme. In Software Engineering 2005. GI-Edition: Lecture Notes in Informatics (LNI) P-64, pages 91--102. Bonner Köllen Verlag, 2005.]]

[19]

J. Tretmans. Testing concurrent systems: A formal approach. In 10th International Conference on Concurrency Theory (CONCUR'99), number 1664 in LNCS, pages 46--65. Springer-Verlag, 1999.]]

Digital Library

[20]

J. Tretmans. Testing techniques. Reader, Univeriteit Twente, 2002.]]

Cited By

Minhas NMasood SPetersen KNadeem A(2019)A systematic mapping of test case generation techniques using UML interaction diagramsJournal of Software: Evolution and Process10.1002/smr.2235(e2235)Online publication date: 23-Dec-2019
https://doi.org/10.1002/smr.2235
Arnaud MBannour BCuccuru AGaston CGerard SLapitre A(2015)Timed Symbolic Testing Framework for Executable Models Using High-Level ScenariosComplex Systems Design & Management10.1007/978-3-319-11617-4_19(269-282)Online publication date: 2015
https://doi.org/10.1007/978-3-319-11617-4_19
Durán FRoldán MMoreno AÁlvarez J(2014)Dynamic Validation of Maude Prototypes of UML ModelsSpecification, Algebra, and Software10.1007/978-3-642-54624-2_11(212-228)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_11
Show More Cited By

Index Terms

Deriving tests from UML 2.0 sequence diagrams with neg and assert
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
2. Theory of computation
  1. Logic
  2. Semantics and reasoning

Recommendations

The many meanings of UML 2 Sequence Diagrams: a survey

Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases, and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (...
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence ...
Assert and negate revisited: modal semantics for UML sequence diagrams
SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by distinguishing possible from necessary behavior. They thus enable the specification of rich multi-modal scenario-based properties, such as mandatory, possible and forbidden ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AST '06: Proceedings of the 2006 international workshop on Automation of software test

May 2006

128 pages

ISBN:1595934081

DOI:10.1145/1138929

Conference Chair:
Hong Zhu
Oxford Brookes University, UK
,
Program Chairs:
Joseph R. Horgan
Telcordia Technologies, USA
,
S. C. Cheung
The Hong Kong University of Science and Technology, Hong Kong
,
J. Jenny Li
Avaya Labs, USA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 23, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
610
Total Downloads

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

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Minhas NMasood SPetersen KNadeem A(2019)A systematic mapping of test case generation techniques using UML interaction diagramsJournal of Software: Evolution and Process10.1002/smr.2235(e2235)Online publication date: 23-Dec-2019
https://doi.org/10.1002/smr.2235
Arnaud MBannour BCuccuru AGaston CGerard SLapitre A(2015)Timed Symbolic Testing Framework for Executable Models Using High-Level ScenariosComplex Systems Design & Management10.1007/978-3-319-11617-4_19(269-282)Online publication date: 2015
https://doi.org/10.1007/978-3-319-11617-4_19
Durán FRoldán MMoreno AÁlvarez J(2014)Dynamic Validation of Maude Prototypes of UML ModelsSpecification, Algebra, and Software10.1007/978-3-642-54624-2_11(212-228)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_11
Shirole MKumar R(2013)UML behavioral model based test case generationACM SIGSOFT Software Engineering Notes10.1145/2492248.249227438:4(1-13)Online publication date: 12-Jul-2013
https://dl.acm.org/doi/10.1145/2492248.2492274
Runde RRefsdal AStølen K(2013)Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminismFormal Aspects of Computing10.1007/s00165-011-0192-525:2(159-187)Online publication date: Mar-2013
https://doi.org/10.1007/s00165-011-0192-5
Bannour BGaston CServat D(2011)Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic TechniquesProceedings of the 2011 18th Asia-Pacific Software Engineering Conference10.1109/APSEC.2011.40(219-226)Online publication date: 5-Dec-2011
https://dl.acm.org/doi/10.1109/APSEC.2011.40
Boroday SPetrenko AUlrich A(2009)Implementing MSC Tests with Quiescence ObservationProceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop10.1007/978-3-642-05031-2_4(49-65)Online publication date: 3-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-05031-2_4
Samuel PJoseph A(2008)Test Sequence Generation from UML Sequence DiagramsProceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing10.1109/SNPD.2008.100(879-887)Online publication date: 6-Aug-2008
https://dl.acm.org/doi/10.1109/SNPD.2008.100
Lund MStølen K(2006)A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choiceProceedings of the 14th international conference on Formal Methods10.1007/11813040_26(380-395)Online publication date: 21-Aug-2006
https://dl.acm.org/doi/10.1007/11813040_26

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten