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

Test ready UML statechart models

Published: 27 May 2006 Publication History

Abstract

The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model.

References

[1]
Chow, T.S. Testing Software design modeled by Finite-state machines. IEEE Transactions on Software Engineering SE-4, 3 (1978), 178--187.
[2]
J. A. Whittaker and M. G. Thomason: "A Markov Chain Model for Statistical Software Testing", IEEE Transactions on Software Engineering, 20(10): 812--824, October 1994.
[3]
Khaled L. Fakih, Nina Yevtushenko, Gregor Von Bachmann: FSM-based Incremental Conformance Testing Methods, IEEE Transactions on Software Engineering. Vol 30, Number 7, 425--436.
[4]
Robert V Binder. Testing Object-Oriented Systems: Models, Tools and Patterns, Addison-Wesley, 2000.
[5]
Teradyne TestMaster, http://www.teradyne.com
[6]
Friedman G., Hartman A., Nagin K., Shiran T., Projected State Machine Coverage for Software Testing, Proceedings of ISSTA 2002 International Symposium on Software Testing and Analysis (July 2002).
[7]
Baker P., Bristow P., Jervis C., King D., Mitchell B., Automatic Generation of Conformance Test From Message Sequence Charts, 3rd SAM Workshop - "Telecommunication and Beyond The broader applicability of SDL and MSC", Aberystwyth, UK. 24-26th June 2002.
[8]
Bassanieri F., Bertolino A., and Marchetti E., The Cow Suite approach to planning and deriving test suites in UML projects, Proceedings of the Fifth International Conference on the Unified Modeling Language - the Language and its applications UML 2002, LNCS 2460, Dresden, Germany, September 30 - October 4, 2002, p. 383--397.
[9]
Supaporn Kansomkeat., Wanchai Rivepiboon., Automated-Generating Test Case Using UML statechart diagrams, ACM International Conference Proceeding Series; Vol 47, Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology.
[10]
Basanieri, F., Bertolino, A., Marchetti, E., Ribolini, A., Lombardi, G., And Nucera, G. 2001. An Automated Test Strategy Based on UML Diagrams. In Proceeding of the Ericsson Rational User Conference, October 10-11, 2001, Upplands Vasby Sweden.
[11]
Hartmann, J., Imoberdof, C., and Meisenger, M. 2000. UML-Based Integration Testing. In ISSTA 2000, Portland, August 2000.
[12]
Lionel C. Briand, Yvan Labiche, A UML-Based approach to System Testing, Proceedings of the 4th International Conference on the The Unified Modeling Language, Modeling Languages, Concepts, and Tools, October 01-05, 2001, pp.194--208.
[13]
Offutt, J., and Abdurazik, A. 2000. Using UML collaboration Diagrams for Static Checking and Test Generation. In UML 2000, University of York, UK, 2-6 October 2000.
[14]
Offutt, J., and Abdurazik, A. 1999. Generating test cases from UML specifications. In Proceeding of the 2nd International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October 1999.
[15]
Kim, Y. G., Hong, H. S., Cho, S. M., Bae, D. H., and Cha, S. D. 1999. Test cases generation from UML state diagrams. In IEEE Software, 146(4): 1999, 187--192.
[16]
Pretschner A., Slotosch. O, Aiglstorfer. E., and Kriebel. S. March 2004. Model Based Testing for real--The inhouse card case study in Journal of Software Tools for Technology Transfer, ©Springer-Verlag 5(2-3): 140--157.

Cited By

View all
  • (2021)Generation of Test Cases from UML Diagrams - A Systematic Literature ReviewProceedings of the 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
  • (2019)A Review on Test Case Generation Methods Using UML Statechart2019 4th International Conference and Workshops on Recent Advances and Innovations in Engineering (ICRAIE)10.1109/ICRAIE47735.2019.9037786(1-5)Online publication date: Nov-2019
  • (2017)Coverage criteria for test case generation using UML state chart diagram10.1063/1.5005458(020125)Online publication date: 2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
May 2006
93 pages
ISBN:1595933948
DOI:10.1145/1138953
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: 27 May 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. UML statecharts
  2. context-free grammar
  3. model based testing

Qualifiers

  • Article

Conference

ICSE06
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Generation of Test Cases from UML Diagrams - A Systematic Literature ReviewProceedings of the 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
  • (2019)A Review on Test Case Generation Methods Using UML Statechart2019 4th International Conference and Workshops on Recent Advances and Innovations in Engineering (ICRAIE)10.1109/ICRAIE47735.2019.9037786(1-5)Online publication date: Nov-2019
  • (2017)Coverage criteria for test case generation using UML state chart diagram10.1063/1.5005458(020125)Online publication date: 2017
  • (2016)Functional Flow Diagram(FFD): Semantics for evolving software2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI)10.1109/ICACCI.2016.7732377(2193-2199)Online publication date: Sep-2016
  • (2015)Component based reliability assessment from UML models2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI)10.1109/ICACCI.2015.7275704(772-778)Online publication date: Aug-2015
  • (2015)Automatic Test Case Generation from UML State Chart Diagram: A SurveyAdvanced Computer and Communication Engineering Technology10.1007/978-3-319-24584-3_12(123-134)Online publication date: 29-Dec-2015
  • (2014)Automatic generation of built-in contract test driversSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0282-813:3(1141-1165)Online publication date: 1-Jul-2014
  • (2013)Infrastructure support to convey test data from state diagrams for executing MBT in embedded systemsEurocon 201310.1109/EUROCON.2013.6625050(651-659)Online publication date: Jul-2013
  • (2012)Semantics for UML model transformation and generation of regular grammarACM SIGSOFT Software Engineering Notes10.1145/2180921.218093137:3(1-5)Online publication date: 16-May-2012
  • (2012)Multi Agent Based Framework for Structural and Model Based Test Case GenerationProcedia Engineering10.1016/j.proeng.2012.06.44038(3840-3845)Online publication date: 2012
  • 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

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media