ScienceDirect - Information and Software Technology : A method for the automatic generation of test suites from object models

Information and Software Technology
Volume 46, Issue 5, 15 April 2004, Pages 309-314
Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003

Font Size:

Abstract - selected

E-mail Article

Add to my Quick Links

Bookmark and share in 2collab (opens in new window)

Request permission to reuse this article

Cited By in Scopus (6)

Related Articles in ScienceDirect

Concurrency and Refinement in the Unified Modeling Lang...
Electronic Notes in Theoretical Computer Science

An integrated framework for formal development of open ...
Information and Software Technology

References
UML 2 Certification Guide

A Coalgebraic Semantic Framework for Component-based De...
Electronic Notes in Theoretical Computer Science

Researching possible solutions
Software Design for Engineers and Scientists

View More Related Articles

View Record in Scopus

doi:10.1016/j.infsof.2003.09.004

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

Alessandra Cavarra ^,, Charles Crichton and Jim Davies

Oxford University Computing Laboratory, Wolfson Building Parks Road, Oxford OX1 3QD, UK

Available online 19 November 2003.

References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

This paper shows how object-oriented specifications, 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.

Author Keywords: Author Keywords: Unified modeling language (UML); Formal semantics; Testing; Object modelling

Article Outline

1. Introduction
2. Adequate models
3. Semantics 3.1. The IF language 3.2. Translation
4. Test generation 4.1. Directives 4.2. Model compilation 4.3. Test generation
5. Discussion 5.1. Related research
Acknowledgements
References

About ScienceDirect | Contact Us | Information for Advertisers | Terms & Conditions | Privacy Policy

Summary

Abstract

Article Outline