Article

UML-Based Statistical Test Case Generation

Authors:

Matthias Riebisch,

Ilka Philippow,

Marco GötzeAuthors Info & Claims

NODe '02: Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World

Pages 394 - 411

Published: 07 October 2002 Publication History

Abstract

For incremental iterative software development processes, automated testing is necessary to enable evolution not only in terms of functionality, but in terms of software quality as well. Automation requires models to provide the necessary information. Scenarios and use cases do not only feed requirements engineering, they may also be the basis for testing. They have to be enriched by detailed behavioral information in order to be used for statistical test case generation. This paper introduces an approach for generating system-level test cases based on use case models and refined by state diagrams. These models are transformed into usage models to describe both system behavior and usage. The method is intended for integration into an iterative software development process model. The resulting test cases are suited to be carried out in conventional ways, i.e., either manually or using test tools. The method is supported by an XML-based tool for model transformation.

References

[1]

Abdurazik, A., Offutt, J.: Generating test cases from UML specifications, In: Proc. 2nd International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October (1999)

[2]

Cockburn, A.: Structuring use cases with goals. Journal of Object-Oriented Programming, Sep/Oct, Nov/Dec (1999): 35-40, 56-62, resp., (1997).

[3]

Fröhlich, P., Link, J.: Automated test case generation from dynamic models. In: Proc. ECOOP 2000, LNCS 1850, Springer (2000) 472-491.

[4]

Fikes, R. E., Nilsson, N. J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971).

[5]

Gallagher, L.: Conformance testing of object-oriented components specified by state/transition classes, Draft technical report. NIST (1999) Available online at http://www.itl.nist.gov/div897/ctg/stat/auto/autosys.pdf

[6]

Goetze, M.: Statistical Usage Testing based on UML Diagrams. Student's Work. Ilmenau Technical University, Dept. Process Informatics, (2001)

[7]

Goetze, M: UsageTester: UML-oriented Usage Testing. Ilmenau Technical University, Dept. Process Informatics, (2002)

[8]

Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (1987) 231-274

[9]

Jacobson, I., Griss, M., Jonsson, P.: Software Reuse - Architecture, Process and Organization for Business Success, Addison Wesley (1997).

[10]

Kim, Y. G., Hong, H. S., Cho, S. M., Bae, D. H., Cha, S. D.; Test cases generation from UML state diagrams. IEEE Software, 146(4), (1999) 187-192

[11]

Marick, B.: The Craft of Software Testing. Prentice Hall (1995)

[12]

Myers, J.G.: The Art of Software Testing. John Wiley & Sons, Inc. (1979)

[13]

OMG: UML Notation Guide, v1.3. Object Management Group, Inc. (2000)

[14]

Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering. Addison-Wesley, 1st edition, (1999)

[15]

Regnell, B., Runeson, P.: Combining Scenario-based Requirements with Static Verification and Dynamic Testing. Proc. Fourth Intern. Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ98), Pisa, Italy (1998)

[16]

Selvidge, J.M.: Statistical usage testing: Expanding the ability of testing. (1999)

[17]

Thulasiraman, K., Swamy, M. N. S.: Graphs: Theory and Algorithms. John Wiley & Sons, Inc. (1992)

[18]

UML Ressource Page. Available online at http://www.omg.org/

[19]

Walton, G.H., Poore, J.H.: Statistical testing of software based on a usage model. Software - Practice and Experience, 25 (1995) 97-108

[20]

Walton, G.H., Poore, J.H.: Generating transition probabilities to support model-based software testing. Software - Practice and Experience, 30 (2000) 1095-1106

[21]

Whittaker, J. A., Thomason, M. G.: A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10): (1994) 812-824

[22]

Wolf, M., Burkhardt, R., Philippow, I.: Software Engineering Process with UML. In: Schader, M., Korthaus, A. (Eds.): The Unified Modeling Language -Technical Aspects and Applications. Physica Heidelberg, (1998) 271-289

Cited By

Jin KLano K(2021)Generation of Test Cases from UML Diagrams - A Systematic Literature Review14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
https://dl.acm.org/doi/10.1145/3452383.3452408
Felderer MHerrmann A(2019)Comprehensibility of system models during test designSoftware Quality Journal10.1007/s11219-018-9407-927:1(125-147)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11219-018-9407-9
Zhang MAli SYue TNorgren ROkariz O(2019)Uncertainty-Wise Cyber-Physical System test modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0609-618:2(1379-1418)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0609-6
Show More Cited By

UML-Based Statistical Test Case Generation
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning

Recommendations

Automated coverage calculation and test case generation
SAICSIT '12: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

This article describes the use of symbolic execution, a formal method of static analysis, to calculate code coverage of a program's existing JUnit test suites. Code coverage is measured with respect to a number of test adequacy criteria, including ...
Automated requirements-based test case generation

Black-box testing is a technique in which test cases are derived from requirements without regard to the internal structure of the implementation. In current practice, the black-box test cases are derived manually from requirements. Manually deriving ...
UML behavioral model based test case generation: a survey

In software engineering, system modeling is the process of formulating a representation of a real system in an abstract way to understand its behavior. Software testing encourages reusing these models for testing purpose. This expedites the process of ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

NODe '02: Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World

October 2002

430 pages

ISBN:3540007377

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 October 2002

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jin KLano K(2021)Generation of Test Cases from UML Diagrams - A Systematic Literature Review14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3452383.3452408(1-10)Online publication date: 25-Feb-2021
https://dl.acm.org/doi/10.1145/3452383.3452408
Felderer MHerrmann A(2019)Comprehensibility of system models during test designSoftware Quality Journal10.1007/s11219-018-9407-927:1(125-147)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11219-018-9407-9
Zhang MAli SYue TNorgren ROkariz O(2019)Uncertainty-Wise Cyber-Physical System test modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0609-618:2(1379-1418)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0609-6
Gupta NYadav VSingh M(2018)Automated Regression Test Case Generation for Web ApplicationACM Computing Surveys10.1145/323252051:4(1-25)Online publication date: 22-Aug-2018
https://dl.acm.org/doi/10.1145/3232520
Homm DEckert JGerman R(2016)CenUMs - concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of useScience of Computer Programming10.1016/j.scico.2016.07.002132:P2(173-189)Online publication date: 15-Dec-2016
https://dl.acm.org/doi/10.1016/j.scico.2016.07.002
Wang CPastore FGoknil ABriand LIqbal ZYoung MXie T(2015)Automatic generation of system test cases from use case specificationsProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771812(385-396)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2771812
Homm DEckert JGerman RWainwright RCorchado JBechini AHong J(2015)Concurrent streams in Markov chain usage models for statistical testing of complex systemsProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2695914(1803-1807)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2695914
Sarma MMall R(2009)Automatic generation of test specifications for coverage of system state transitionsInformation and Software Technology10.1016/j.infsof.2008.05.00251:2(418-432)Online publication date: 1-Feb-2009
https://dl.acm.org/doi/10.1016/j.infsof.2008.05.002
Sarma MMall R(2008)System state coverage through automatic test case generationInternational Journal of Information and Communication Technology10.1504/IJICT.2008.0240071:3/4(347-372)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1504/IJICT.2008.024007
Ali SBriand LRehman MAsghar HIqbal MNadeem A(2007)A state-based approach to integration testing based on UML modelsInformation and Software Technology10.1016/j.infsof.2006.11.00249:11-12(1087-1106)Online publication date: 1-Nov-2007
https://dl.acm.org/doi/10.1016/j.infsof.2006.11.002
Show More Cited By

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 Table of Contents