• DocumentCode
    2866134
  • Title

    A computer-aided design tool for protocol testing

  • Author

    Barbeau, Michel ; Sarikaya, Behçet

  • Author_Institution
    INRS-Telecommun., Ile des Souers, Que., Canada
  • fYear
    1988
  • fDate
    27-31 March 1988
  • Firstpage
    86
  • Lastpage
    95
  • Abstract
    A computer-aided design tool is presented for designing test for protocols. CAD-PT accepts a formal specification in Estelle of the protocol and generates control and dataflow graphs on a graphic workstation. The tool is explained component-by-component, using a simplified ISO Class 2 transport protocol as an example.<>
  • Keywords
    CAD; protocols; Estelle; ISO Class 2 transport protocol; computer-aided design tool; dataflow graphs; formal specification; graphic workstation; protocol testing; Application software; Data analysis; Design automation; Flow graphs; Formal specifications; ISDN; Open systems; Protocols; Standardization; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    INFOCOM '88. Networks: Evolution or Revolution, Proceedings. Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies, IEEE
  • Conference_Location
    New Orleans, LA, USA
  • Print_ISBN
    0-8186-0833-1
  • Type

    conf

  • DOI
    10.1109/INFCOM.1988.12902
  • Filename
    12902
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2866134