A library of failure regions
Shimeall, Timothy J.
MetadataShow full item record
A failure region is the set of all possible program inputs that will execute a specific fault and produce a result that varies from the specified or expected program result. The purpose of this report is to document a set of failure regions corresponding to the known faults in a set of redundant program versions. Each failure region is characterized in two ways: by identifying the fault that it reveals and by identifying the boolean conditions necessary and sufficient to consider a program input to be a member of the failure region. Other reports describe the region analysis technique and profile the regions detailed here
NPS Report NumberNPS-CS-91-002
Showing items related by title, author, creator and subject.
Schneidewind, Norman F. (IEEE, 1993-11);In the use of software reliability models it is not necessarily the case that all the failure data should be used to estimate model parameters and to predict failures. The reason for this is that old data may not be as ...
Dempere, Jose; Papakonstantinou, Nikolaos; O'Halloran, Bryan; Van Bossuyt, Douglas L. (2017);As Components engineering has progressively advanced over the past 20 years to encompass a robust element of reliability, a paradigm shift has occurred in how complex systems fail. While failures used to be dominated ...
Lukens, Richard Walter (Monterey, California. Naval Postgraduate School, 1983-06);A principal mode of failure of structural components in mechanical systems is fatigue. One method of predicting the probability of fatigue failure of a structural component is to determine the probability that the calculated ...