Using UML Environment Models for Test Case Generation

13 years 6 months ago

Download www.fb9dv.uni-duisburg.de

We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method.

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk

Real-time Traffic

SE 2008 | Software Engineering | Sun Blind Control | UML State Machines |

claim paper

» The Compliance Testing of Software Tools with Respect to the UML Standards Specification ...

» Automated Test Case Generation from Dynamic Models

» Conformance Testing from UML Specifications Experience Report

» Modeling and validating Mondex scenarios described in UML and OCL with USE

» UMLBased integration testing

» Improving Test Coverage for UML State Machines Using Transition Instrumentation

» A Comparative Evaluation of Tests Generated from Different UML Diagrams

» From UML Statecharts to LOTOS A Semantics Preserving Model Transformation

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2008
Where	SE
Authors	Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen

Comments (0)

Sciweavers

Using UML Environment Models for Test Case Generation

SE 2008 | Software Engineering | Sun Blind Control | UML State Machines |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers