• DocumentCode
    1202823
  • Title

    A taxonomy and catalog of runtime software-fault monitoring tools

  • Author

    Delgado, Nelly ; Gates, Ann Quiroz ; Roach, Steve

  • Author_Institution
    Microsoft, Bellevue, WA, USA
  • Volume
    30
  • Issue
    12
  • fYear
    2004
  • Firstpage
    859
  • Lastpage
    872
  • Abstract
    A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing additional defense against catastrophic failure. Although runtime monitoring has been in use for over 30 years, there is renewed interest in its application to fault detection and recovery, largely because of the increasing complexity and ubiquitous nature of software systems. We present taxonomy that developers and researchers can use to analyze and differentiate recent developments in runtime software fault-monitoring approaches. The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program´s execution; and the event handler that captures and communicates monitoring results. After describing the taxonomy, the paper presents the classification of the software-fault monitoring systems described in the literature.
  • Keywords
    program verification; software fault tolerance; specification languages; system monitoring; system recovery; catastrophic failure; program verification; runtime monitoring; runtime software-fault monitoring tools; software behavior; software system; specification language; Application software; Computer Society; Computerized monitoring; Condition monitoring; Fault detection; Runtime; Software systems; Software testing; Specification languages; Taxonomy;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2004.91
  • Filename
    1377185