FALTER -- A Fault Annotation Tool
Shimeall, Timothy J.
MetadataShow full item record
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
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-52-89-051
Showing items related by title, author, creator and subject.
Shimeall, Timothy J. (Monterey, California. Naval Postgraduate School, 1989-09); NPS-52-89-050REACHER is a tool that derives the conditions under which each program block in a Pascal program, procedure or function may be executed (i.e., the reachability conditions for each subprocedure, subfunction and begin-end ...
Bumgarner, Amy S. (Monterey, California. Naval Postgraduate School, 2009-09);Weak, failing, failed and post-conflict states pose one of the greatest national and international security challenges of our day. The stabilization and development of faltering states is in both the short- and long-term ...
Brandt, Jason K. (Monterey, California. Naval Postgraduate School, 2002-09);The end of the Cold War left Cuba without a superpower ally. It lost military protection and the majority of its trading partners. As the isolated Cuban economy faltered many predicted an end to the Castro government. Cuba ...