• DocumentCode
    2358558
  • Title

    A rigorous method for testing real-time reactive systems

  • Author

    Alagar, V.S. ; Zheng, M.

  • Author_Institution
    Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
  • fYear
    2001
  • fDate
    4-7 Dec. 2001
  • Firstpage
    213
  • Lastpage
    220
  • Abstract
    Real-time reactive systems are complex systems to design and verify. Rigorous testing of real-time reactive systems complement the more difficult and expensive formal verification process. This paper discusses a rigorous method for block-box testing of real-time reactive systems, whose design specifications are given in the timed reactive object model (TROM) formalism.
  • Keywords
    program testing; real-time systems; block-box testing; formal verification; real-time reactive system testing; timed reactive object model formalism; Automata; Clocks; Computer science; Formal specifications; Object oriented modeling; Real time systems; Safety; Synchronization; System testing; Time factors;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
  • ISSN
    1530-1362
  • Print_ISBN
    0-7695-1408-1
  • Type

    conf

  • DOI
    10.1109/APSEC.2001.991479
  • Filename
    991479
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2358558