Buy this book
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.
Buy this book
Previews available in: English
Subjects
Computer program verification, LibrariesEdition | Availability |
---|---|
1
A library of failure regions
1991, Naval Postgraduate School, Available from National Technical Information Service
in English
|
aaaa
|
Book Details
Edition Notes
Title from cover.
"NPS-CS-91-002."
"September 1991."
AD A244 201.
Includes bibliographical references (p. 2)
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
September 3, 2021 | Created by MARC Bot | import new book |