Automated Generation of Statistical Test Cases from UML State Diagrams

Authors:
Philippe Chevalley;Pascale Thévenod-Fosse
Affiliations:
-;-
Venue:
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Year:
2001

Citing 0
Cited 7

A state-based approach to integration testing based on UML models

Information and Software Technology
UML state machine diagram driven runtime verification of Java programs for message interaction consistency

Proceedings of the 2008 ACM symposium on Applied computing
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines

DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Seamless testing for models and code

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Execution of natural language requirements using State Machines synthesised from Behavior Trees

Journal of Systems and Software
Automated generation of test oracles using a model-driven approach

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The adoption of the object-oriented (OO) technology for the development of critical software raises important testing issues. This paper addresses one of these issues: how to create effective tests from OO specification documents? More precisely, the paper describes 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. Emphasis is put on defining an automatic way to produce both the input values and the expected outputs. The technique is automated with the aid of the Rational Software Corporation's Rose RealTime tool. An industrial case study from the avionics domain, formally specified and implemented in Java, is used to illustrate the feasibility of the technique at the subsystem level. Results of first test experiments are presented to exemplify the fault revealing power of the created statistical test cases.