Title :
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
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;
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
DOI :
10.1109/INFCOM.1989.101463
