Generating Tests from UML Specifications

@inproceedings{Offutt1999GeneratingTF,
  title={Generating Tests from UML Specifications},
  author={A. Jefferson Offutt and Aynur Abdurazik},
  booktitle={UML},
  year={1999}
}
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level. [] Key Method This technique includes coverage criteria that enable highly effective tests to be developed. To demonstrate this technique, a tool has been developed that uses UML statecharts produced by Rational Software Corporation's Rational Rose tool to generate test data. Experimental results from using this tool are presented.
Generating test data from state‐based specifications
TLDR
This paper presents formal testing criteria for system level testing that are based on formal specifications of the software, which represent a significant opportunity for testing.
A SOFTWARE TESTING APPROACH BASED ON BEHAVIORAL UML MODELS
TLDR
The presented technique generates test cases from UML communication and state machine diagrams which allow testing a correct class integration of object- oriented software.
Test Case Generation from UML State Machine Diagram: A Survey
  • M. Aggarwal, S. Sabharwal
  • Computer Science
    2012 Third International Conference on Computer and Communication Technology
  • 2012
TLDR
A comparative study of the test case generation techniques from UML State Machine diagram has been done, and a scope to generate test data for complex state machine involving concurrent states and events is presented.
A UML-Based Approach to System Testing
TLDR
The goal here is to support the derivation of functional system test requirements, which will be transformed into test cases, test oracles, and test drivers once the authors have detailed design information.
UML behavioral model based test case generation: a survey
TLDR
This survey focuses on test case generation from the behavioral specification diagrams, namely sequence, state chart and activity diagrams, and classify the various research approaches that are based on formal specifications, graph theoretic, heuristic testing, and direct UML specification processing.
Criteria for generating specification-based tests
  • A. Offutt, Yiwei Xiong, Shaoying Liu
  • Computer Science
    Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)
  • 1999
TLDR
This paper presents general criteria for generating test inputs from state-based specifications, and empirical results from a comparative case study application of these criteria are presented.
Automated generation of statistical test cases from UML state diagrams
TLDR
A technique that adapts a probabilistic method, called statistical functional testing, to the generation of test cases from UML state diagrams, using transition coverage as the testing criterion is described.
A Comparative Evaluation of Tests Generated from Different UML Diagrams
TLDR
The results show that model-based testing can be used to systematically generate test data and indicates that different UML models can play different roles in testing.
Automatic test case generation using unified modeling language (UML) state diagrams
TLDR
A novel method to automatically generate test cases based on UML state models is presented, which is fully automatic and the generated test cases satisfy transition path coverage criteria.
Using UML Collaboration Diagrams for Static Checking and Test Generation
TLDR
Novel test criteria are defined for both static and dynamic testing of specification-level and instance-level collaboration diagrams that allow a formal integration tests to be based on high level design notations, which can help lead to software that is significantly more reliable.
...
...

References

SHOWING 1-10 OF 15 REFERENCES
Criteria for Generating Speci cation-based Tests
TLDR
This paper presents general criteria for generating test inputs from state based speci cations and results from a comparative case study application of these criteria are presented.
Software unit test coverage and adequacy
TLDR
The notion of adequacy criteria is examined together with its role in software dynamic testing and the methods for comparison and assessment of criteria are reviewed.
Deriving mode invariants from SCR specifications
  • Z. Jin
  • Computer Science
    Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW)
  • 1996
TLDR
A formal analysis method is introduced to derive modeclass invariants from software cost reduction (SCR) specifications by transforming an SCR mode transition table into one matrix and two vectors to describe the conditions before and after a mode transition occurs, and a comparison algorithm then derives single mode invariants.
Approaches to Speci cation-Based Testing
TLDR
A wide variety of implementation-based testing techniques are extended by extending to be applicable to formal speci cation languages by demonstrating these approaches for the Anna and Larch speciCation languages.
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance
A formal, general model of program dependences is presented and used to evaluate several dependence-based software testing, debugging, and maintenance techniques. Two generalizations of control and
Generating Test Cases from UML Specifications
TLDR
This report may be distributed without restriction and partial or complete copies of this report must contain a copy of this page.
Software considerations in airborne systems and equipment certi cation, Seventh draft to Do-178A/ED-12A
  • 1992
Rational Software Corporation. Rational Rose 98: Using Rational Rose. Rational Rose Corporation
  • Rational Software Corporation. Rational Rose 98: Using Rational Rose. Rational Rose Corporation
  • 1998
Native m o d e l -c hecking of SCR requirements
  • Fourth International SCR Workshop
  • 1994
...
...