• DocumentCode
    2827516
  • Title

    TTCN-3 Abstract Test Suite Generator of BGP-4 Protocol

  • Author

    Zhao Yulan ; Liu Bo

  • Author_Institution
    Coll. of Comput. Sci., Neimongol Univ., Hohhot, China
  • fYear
    2009
  • fDate
    11-13 Dec. 2009
  • Firstpage
    1
  • Lastpage
    3
  • Abstract
    The paper further studies on E-LOTOS. In the paper, we design various graphics styles of GE-LOTOS, which makes to express the E-LOTOS text meaning accurately. And the paper realizes conversion software from the textual E-LOTOS to GELOTOS, and realizes to generate test cases using GE-LOTOS. The paper gives the GE-LOTOS presentation and the TTCN-3 abstract test suite of the BGP-4´s finite state machine.
  • Keywords
    abstract data types; BGP-4 protocol; E-LOTOS text meaning; GE-LOTOS; TTCN-3 abstract test suite generator; conversion software; finite state machine; graphics style; test case generation; textual E-LOTOS; Automata; Computer graphics; Computer science; Educational institutions; Logic design; Logic testing; Object oriented modeling; Protocols; Software testing; Space technology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-4507-3
  • Electronic_ISBN
    978-1-4244-4507-3
  • Type

    conf

  • DOI
    10.1109/CISE.2009.5363934
  • Filename
    5363934
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2827516