• DocumentCode
    2269464
  • Title

    Extended TTCN in software testing

  • Author

    Liu, Wayne B. ; Dasiewicz, P.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
  • Volume
    1
  • fYear
    1998
  • fDate
    24-28 May 1998
  • Firstpage
    321
  • Abstract
    This paper presents the first stage in our model-based software testing process. The process is based partly on techniques from testing telecommunication protocols. We extend these concepts and apply them to unit- and integration-level testing of software. Under this process, all test requirements are specified using a semi-formal test description language, TTCN, providing a uniform approach to create test cases at different levels of testing, and to automate many testing activities
  • Keywords
    formal specification; program testing; TTCN; model-based; software testing; test description language; Asynchronous communication; Automata; Automatic testing; Protocols; Software testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electrical and Computer Engineering, 1998. IEEE Canadian Conference on
  • Conference_Location
    Waterloo, Ont.
  • ISSN
    0840-7789
  • Print_ISBN
    0-7803-4314-X
  • Type

    conf

  • DOI
    10.1109/CCECE.1998.682749
  • Filename
    682749
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2269464