FTAM test design using an automated test tool

Author

Barbeau, Michel ; Sarikaya, Behçet ; Eswara, Srinivas ; Koukoulidis, Vassilios

Author_Institution

Dept. of IRO, Montreal Univ., Que., Canada

fYear

1989

fDate

23-27 Apr 1989

Firstpage

251

Abstract

An experience is presented with an automated test design tool for functional analysis and test derivation of distributed systems formally specified using Estelle, a description technique based on an extended finite-state machine model. The tool accepts a formal specification of the system and generates control, data flow graphs, and unparameterised test sequences. The tool has been used, on an experimental basis, for conformance test design of ISO File, Transfer, access and Management protocols

Keywords

automatic test equipment; conformance testing; formal specification; protocols; specification languages; Estelle; FTAM test design; ISO; automated test tool; conformance test design; control; data flow graphs; description technique; distributed systems; file transfer access and management protocols; finite-state machine model; formal specification; functional analysis; unparameterised test sequences; Access protocols; Automatic testing; Computer aided manufacturing; Computer architecture; Flow graphs; Formal specifications; Functional analysis; Open systems; Standardization; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE

Conference_Location

Ottawa, Ont.

Print_ISBN

0-8186-1920-1

Type

conf

DOI

10.1109/INFCOM.1989.101463

Filename

101463