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

被引：13

作者：

Cavarra, A ^{[1
]}

Crichton, C ^{[1
]}

Davies, J ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 2004年 / 46卷 / 05期

关键词：

unified modeling language (UML); formal semantics; testing; object modelling;

D O I：

10.1016/j.infsof.2003.09.004

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. (C) 2003 Elsevier B.V. All rights reserved.

引用

页码：309 / 314

页数：6