• DocumentCode
    3143838
  • Title

    Automatic Test Generation for Model-Based Code Generators

  • Author

    Zelenov, Sergey V. ; Silakov, Denis V. ; Petrenko, Alexander K. ; Conrad, Mirko ; Fey, Ines

  • Author_Institution
    Russian Federation, Rosco
  • fYear
    2006
  • fDate
    15-19 Nov. 2006
  • Firstpage
    75
  • Lastpage
    81
  • Abstract
    This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for Simulink and Stateflow models.
  • Keywords
    program testing; software engineering; software tools; GraphOTK; Simulink; Stateflow models; automatic test generation; model-based code generators; model-based design tools; Aerospace industry; Application software; Automatic testing; Automotive engineering; Computer languages; Design optimization; Documentation; Embedded system; Region 8; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
  • Conference_Location
    Paphos
  • Print_ISBN
    978-0-7695-3071-0
  • Type

    conf

  • DOI
    10.1109/ISoLA.2006.70
  • Filename
    4463697
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3143838