skip to main content
10.1145/1291535.1291545acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

A subset of precise UML for model-based testing

Published: 09 July 2007 Publication History

Abstract

This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example.

References

[1]
S. J. Prowell, "JUMBL: A Tool for Model-Based Statistical Testing," hicss, p. 337c, 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9, 2003.
[2]
M. Utting and B. Legeard. Practical Model-Based Testing - A tools approach. Elsevier Science/Morgan&Kaufmann, 2007. 454 pages, ISBN 0-12-372501-1.
[3]
E. Bernard, F. Bouquet, A. Charbonnier, B. Legeard, F. Peureux, M. Utting, and E. Torreborre. "Model-based Testing from UML Models". In Procs. of the Int. Workshop on Model-based Testing (MBT'2006), volume P-94 of Lecture Notes in Informatics, Dresden, Germany, pages 223--230, October 2006. ISBN 978-3-88579-188-1.
[4]
F. Bouquet, E. Jaffuel, B. Legeard, F. Peureux, and M. Utting. "Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation". In Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05), St. Louis, USA, May 2005. ACM Press.
[5]
J. Warmer and A. Kleppe. The Object Constraint Language Second Edition: Getting Your Models Ready for MDA. Addison-Wesley, 2003.
[6]
G. J. Myers. The Art of Software Testing. John Wiley & Sons, 1979.
[7]
A. J. Offut, Y. Xiong and S. Liu. "Criteria for generating specification-based tests", Proceedings of the 5th Int. Conference on Engineering of Complex Computer Systems (ICECCS'99), Las-Vegas, USA, pages 119--131, October 1999. IEEE Computer Society Press.
[8]
Prover Technology website - www.prover.com
[9]
T. Jéron and P. Morel, "Test generation derived from model-checking", Proceedings of the 11th Conference on Computer-Aided Verification (CAV'99), Trento, Italy, LNCS 1633, pages 108--122, July 1999
[10]
P. Ammann, P. E. Black and W. Majurski, "Using Model Checking to Generate Tests from Specifications", Proceedings of the 2nd Int. Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, pages 46--55, December 1998. IEEE Computer Society Press.
[11]
Matthias Beyer, Winfried Dulz, Fenhua Zhen, "Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains," ats, p. 102, 12th Asian Test Symposium (ATS'03), 2003.
[12]
M. E. Vieira, M. S. Dias, D. J. Richardson, Object-Oriented Specification-Based Testing Using UML State-chart Diagrams, Proceedings of the Workshop on Automated Program Analysis, Testing, and Verification (at ICSE'00), June 2000.
[13]
L. Briand, Y. Labiche, A UML-Based Approach to System Testing, Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'01), 2001, pp. 194--208.
[14]
Bernhard K. Aichernig, Percy Antonio Pari Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64--71
[15]
M. Benattou, J.-M. Bruel, and N. Hameurlain, "Generating Test Data from OCL Specification" in Proceedings of the ECOOP'2002 Workshop on Integration and Transformation of UML models (WITUML'02), 2002.

Cited By

View all
  • (2024)Efficient Test Case Generation Using Model-Based Testing, and Model Paradigm ApproachProceedings of International Conference on Recent Trends in Computing10.1007/978-981-97-1724-8_70(817-828)Online publication date: 26-Jul-2024
  • (2022)Automatic Detection of Interaction Errors2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA)10.1109/SERA54885.2022.9806754(47-53)Online publication date: 25-May-2022
  • (2020)On the Automation of Security Testing for IoT Constrained ScenariosInformation Security Applications10.1007/978-3-030-39303-8_22(286-298)Online publication date: 25-Jan-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing
July 2007
127 pages
ISBN:9781595938503
DOI:10.1145/1291535
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

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 July 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. OCL
  2. UML
  3. model-based testing

Qualifiers

  • Article

Conference

ISSTA07
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)12
  • Downloads (Last 6 weeks)0
Reflects downloads up to 18 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Efficient Test Case Generation Using Model-Based Testing, and Model Paradigm ApproachProceedings of International Conference on Recent Trends in Computing10.1007/978-981-97-1724-8_70(817-828)Online publication date: 26-Jul-2024
  • (2022)Automatic Detection of Interaction Errors2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA)10.1109/SERA54885.2022.9806754(47-53)Online publication date: 25-May-2022
  • (2020)On the Automation of Security Testing for IoT Constrained ScenariosInformation Security Applications10.1007/978-3-030-39303-8_22(286-298)Online publication date: 25-Jan-2020
  • (2019)MBT in agile/lightweight processes: a process‐centred reviewIET Software10.1049/iet-sen.2018.516413:5(327-337)Online publication date: Oct-2019
  • (2019)Test descriptions with ETSI TDLSoftware Quality Journal10.1007/s11219-018-9423-927:2(885-917)Online publication date: 1-Jun-2019
  • (2019)Temporal property patterns for model-based testing from UML/OCLSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0635-418:2(865-888)Online publication date: 1-Apr-2019
  • (2019)Complementary test selection criteria for model-based testing of security componentsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-018-0489-221:4(425-448)Online publication date: 1-Aug-2019
  • (2018)Test-based risk assessment and security certification proposal for the Internet of Things2018 IEEE 4th World Forum on Internet of Things (WF-IoT)10.1109/WF-IoT.2018.8355193(641-646)Online publication date: Feb-2018
  • (2017)Improving Internet of Things device certification with policy-based management2017 Global Internet of Things Summit (GIoTS)10.1109/GIOTS.2017.8016273(1-6)Online publication date: Jun-2017
  • (2017)EasyTest: An Approach for Automatic Test Cases Generation from UML Activity DiagramsInformation Technology - New Generations10.1007/978-3-319-54978-1_54(411-417)Online publication date: 18-Jul-2017
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media