Show simple item record

dc.contributor.authorSarikaya, B.en_US
dc.contributor.authorForghani, B.en_US
dc.contributor.authorEswara, S.en_US
dc.date.accessioned2016-02-08T10:56:11Z
dc.date.available2016-02-08T10:56:11Z
dc.date.issued1991en_US
dc.identifier.issn0014-03664
dc.identifier.urihttp://hdl.handle.net/11693/26184
dc.description.abstractA 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.en_US
dc.language.isoEnglishen_US
dc.source.titleComputer Communicationsen_US
dc.relation.isversionofhttps://doi.org/10.1016/0140-3664(91)90111-Den_US
dc.subjectconformance testingen_US
dc.subjectComputer Operating Systemsen_US
dc.subjectComputer Programming Languagesen_US
dc.subjectDescription language Estelleen_US
dc.subjectSoftware package Estelleen_US
dc.subjectTest generation toolsen_US
dc.subjectComputer Networksen_US
dc.titleEstelle-based test generation toolen_US
dc.typeArticleen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage534en_US
dc.citation.epage544en_US
dc.citation.volumeNumber14en_US
dc.citation.issueNumber9en_US
dc.identifier.doi10.1016/0140-3664(91)90111-Den_US
dc.publisherElsevieren_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record