kirancodes.me
To Proof Maintenance & Beyond!
ICSE 1997

Software Deviation Analysis

Jon Damon Reese, Nancy G. Leveson

PDFDOI 10.1145/253228.253281dblp

Abstract

Validation of software requirements is an important part of software engineering.This paper describes a new safety analysis technique called software deviation analysis to help identify weaknesses in how software handles an imperfect environment.The technique propagates deviations in software inputs to output deviations.A qualitative analysis is used to improve the search efficiency.

BibTeX
@inproceedings{Reese-Leveson:ICSE97,
  author    = {Jon Damon Reese and
               Nancy G. Leveson},
  title     = {Software Deviation Analysis},
  booktitle = {ICSE},
  pages     = {250--260},
  publisher = {{ACM}},
  year      = {1997},
}

Related papers