A method for the automatic generation of test suites from object models

Authors:
Alessandra Cavarra;Charles Crichton;Jim Davies
Affiliations:
Oxford University, UK;Oxford University, UK;Oxford University, UK
Venue:
Proceedings of the 2003 ACM symposium on Applied computing
Year:
2003

Citing 3
Cited 0

Executable object modeling with statecharts

Proceedings of the 18th international conference on Software engineering
Automatic Generation of Test Oracles—From Pilot Studies to Application

Automated Software Engineering
Validation and Test Generation for Object-Oriented Distributed Software

PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper explains how object models written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. The behavioural descriptions are written in a language of communicating state machines: the Intermediate Format (IF). The translation from UML to IF is based upon an earlier formal semantics, written in the Abstract State Machine (ASM) notation. Descriptions written in IF can be automatically explored; the results of these explorations are test trees, ready for input to a variety of testing packages.