Estelle-based test generation tool
dc.citation.epage | 544 | en_US |
dc.citation.issueNumber | 9 | en_US |
dc.citation.spage | 534 | en_US |
dc.citation.volumeNumber | 14 | en_US |
dc.contributor.author | Sarikaya, B. | en_US |
dc.contributor.author | Forghani, B. | en_US |
dc.contributor.author | Eswara, S. | en_US |
dc.date.accessioned | 2016-02-08T10:56:11Z | |
dc.date.available | 2016-02-08T10:56:11Z | |
dc.date.issued | 1991 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description.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. | en_US |
dc.description.provenance | Made available in DSpace on 2016-02-08T10:56:11Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1991 | en |
dc.identifier.doi | 10.1016/0140-3664(91)90111-D | en_US |
dc.identifier.issn | 0014-03664 | |
dc.identifier.uri | http://hdl.handle.net/11693/26184 | |
dc.language.iso | English | en_US |
dc.publisher | Elsevier | en_US |
dc.relation.isversionof | https://doi.org/10.1016/0140-3664(91)90111-D | en_US |
dc.source.title | Computer Communications | en_US |
dc.subject | conformance testing | en_US |
dc.subject | Computer Operating Systems | en_US |
dc.subject | Computer Programming Languages | en_US |
dc.subject | Description language Estelle | en_US |
dc.subject | Software package Estelle | en_US |
dc.subject | Test generation tools | en_US |
dc.subject | Computer Networks | en_US |
dc.title | Estelle-based test generation tool | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Estelle-based_test_generation_tool.pdf
- Size:
- 733.08 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version