A library of failure regions
By: Timothy J.Shimeall
Contributors: Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1991
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 96
Subjects: Computer program verification; Libraries
Other titles: NPS-CS-91-002.
Description: 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.
Notes: Title from cover.

"NPS-CS-91-002."

"September 1991."

AD A244 201.

Includes bibliographical references (p. 2)