FALTER -- A Fault Annotation Tool

Loading...
Thumbnail Image
Authors
Shimeall, Timothy J.
Subjects
Advisors
Date of Issue
1989-09
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
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
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-52-89-051
Sponsors
Prepared in conjunction with research funded by the Naval Postgraduate School Research Council
Funder
O&MN direct funding
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections