Check nearby libraries
Buy this book
FALTER is a program that supports the process of determining the effect of a program defect on the local program state. FALTER also provides the capability of recording the effect by annotation of the program control flow graph. FALTER is one of a series of four tools that work in an integrated fashion to analyze Pascal programs to determine the failure regions associated with identified faults in the programs. The annotated control flow graph produced by FALTER will used as input by the program SPACER, and shall be customized for such usage. The users may access REACHER, FALTER, and SPACER through a screen oriented user interface called VIEWER. Beyond the failure region analysis FALTER may be useful in research that examines the distribution of faults in program source code, and in efforts that examine the erroneous transformations induced by faults.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Monterey, California
Edition Notes
Title from cover.
"Prepared for: Naval Postgraduate School"--Cover.
"September 1989"--Cover.
"NPS52-89-051"--Cover.
DTIC Identifiers: Falter computer program.
Author(s) subject terms: Software testing, fault, failure region.
Includes bibliographical references.
"Approved for public release; distribution unlimited"--Cover.
Technical report; 1989.
kmc/kmc 12/1/09.
aq/aq cc:9116 06/08/98
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 27, 2014
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
May 18, 2020 | Edited by CoverBot | Added new cover |
July 27, 2014 | Created by ImportBot | Imported from Internet Archive item record. |