• DocumentCode
    3251297
  • Title

    Validating use-cases with the AsmL test tool

  • Author

    Barnett, Mike ; Grieskamp, Wolfgang ; Schulte, Wolfram ; Tillmann, Nikolai ; Veanes, Margus

  • Author_Institution
    Microsoft Res., Redmond, WA, USA
  • fYear
    2003
  • fDate
    6-7 Nov. 2003
  • Firstpage
    238
  • Lastpage
    246
  • Abstract
    The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper, we discuss how the AsmL test tool, a new component of the AsmL tool environment, is used to generate finite state machines from use-case models which can be used for validation purposes or for testing.
  • Keywords
    formal specification; program compilers; program testing; program verification; software tools; specification languages; Abstract State Machine Language; AsmL test tool; finite state machines; use case validation; Aerospace control; Automata; Logic testing; Mathematical model; Software quality; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quality Software, 2003. Proceedings. Third International Conference on
  • Print_ISBN
    0-7695-2015-4
  • Type

    conf

  • DOI
    10.1109/QSIC.2003.1319107
  • Filename
    1319107
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3251297