• About
  • Policies
  • What is open access
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Estelle-based test generation tool

      Thumbnail
      View / Download
      733.1 Kb
      Author(s)
      Sarikaya, B.
      Forghani, B.
      Eswara, S.
      Date
      1991
      Source Title
      Computer Communications
      Print ISSN
      0014-03664
      Publisher
      Elsevier
      Volume
      14
      Issue
      9
      Pages
      534 - 544
      Language
      English
      Type
      Article
      Item Usage Stats
      142
      views
      233
      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 testing
      Computer Operating Systems
      Computer Programming Languages
      Description language Estelle
      Software package Estelle
      Test generation tools
      Computer Networks
      Permalink
      http://hdl.handle.net/11693/26184
      Published Version (Please cite this version)
      https://doi.org/10.1016/0140-3664(91)90111-D
      Collections
      • Department of Computer Engineering 1435
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      LoginRegister

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy