Estelle-based test generation tool

Date
1991
Authors
Sarikaya, B.
Forghani, B.
Eswara, S.
Editor(s)
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
Computer Communications
Print ISSN
0014-03664
Electronic ISSN
Publisher
Elsevier
Volume
14
Issue
9
Pages
534 - 544
Language
English
Journal Title
Journal ISSN
Volume Title
Series
Abstract

A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented. The formal description language supported is Estelle. The tool's main components include a compiler, a normalizer, a multiple module transition tour generator and several interactive programs. The tool is based on a static analysis of Estelle called normalization, which is explained in detail with various examples. The normalized specification facilitates graphical displays of the control and data flow in the specification by the interactive tools. Next discussed is test generation, which is based on verifying the control and data flow. First the data flow graph must be decomposed into blocks where each block represents the data flow in a protocol function. From the control graph the tool generates transition tours, and then test sequences are derived from the transition tour to test each function. The performance of the tool on various applications is also included. © 1991.

Course
Other identifiers
Book Title
Citation
Published Version (Please cite this version)