• DocumentCode
    287600
  • Title

    A virtual testing method for event-driven real-time applications

  • Author

    Lee, Myung-Joon ; Son, Sang H.

  • Author_Institution
    Dept. of Comput. Sci., Ulsan Univ., South Korea
  • fYear
    1994
  • fDate
    21-22 Jul 1994
  • Firstpage
    147
  • Lastpage
    150
  • Abstract
    We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification
  • Keywords
    conformance testing; formal specification; performance evaluation; real-time systems; Modechart; conformance testing; event-driven real-time applications; test sequences; virtual environment; virtual testing method; Aerospace control; Aerospace electronics; Aircraft; Application software; Computer science; Real time systems; System testing; Time factors; Timing; Virtual environment;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
  • Conference_Location
    Washington, DC
  • Print_ISBN
    0-8186-6375-8
  • Type

    conf

  • DOI
    10.1109/RTA.1994.316163
  • Filename
    316163
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=287600