Estelle-based test generation tool
Date
1991Source Title
Computer Communications
Print ISSN
0014-03664
Publisher
Elsevier
Volume
14
Issue
9
Pages
534 - 544
Language
English
Type
ArticleItem Usage Stats
142
views
views
233
downloads
downloads
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.
Keywords
conformance testingComputer Operating Systems
Computer Programming Languages
Description language Estelle
Software package Estelle
Test generation tools
Computer Networks