• DocumentCode
    677090
  • Title

    Automatic generation of test cases for critical systems based on MC/DC criteria

  • Author

    Almeida, Mateus A. ; Bezerra, Juliana ; Hirata, Celso Massaki

  • Author_Institution
    Technological Institute of Aeronautics - ITA, Brazil
  • fYear
    2013
  • fDate
    5-10 Oct. 2013
  • Firstpage
    1
  • Lastpage
    16
  • Abstract
    • Graph representation benefits • Allows visual representation of the system states and transitions. • Monitors, fault logging and functions analysis. • Early consistence analysis of the requirement set: • Identification of semantic errors. • Undefined initial state. • Unreachable states (no incoming edges). • States with no edges outgoing (no disengagement requirement, a hidden error?). • Conflicting flight mode/stage engagement logics (priority undefined).
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd
  • Conference_Location
    East Syracuse, NY, USA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4799-1536-1
  • Type

    conf

  • DOI
    10.1109/DASC.2013.6719723
  • Filename
    6719723
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=677090