REACHER--a reachability condition derivation tool / [by] Timothy J. Shimeall.
Shimeall, Timothy J.
MetadataShow full item record
REACHER 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 block). The tool shall accept compilable Pascal program source code and shall produce both an annotated listing and an augmented control flow graph. REACHER 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 augmented control flow graph produced by REACHER will used as input by the programs FALTER and SPACER, and shall be customized for such usage. The annotated source listing provides includes a correspondence between Pascal statements and control flow graph nodes. The users may access REACHER, FALTER and SPACER through a screen-oriented user interface called VIEWER. This document describes the operation of REACHER and its direct user interface
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-52-89-050
Showing items related by title, author, creator and subject.
Stokes, John E., Jr. (Monterey, California: Naval Postgraduate School, 2015-12);Security assistance is a key element in the formulation of foreign policy in the United States. The Department of State, the Department of Defense, and other agencies are involved in planning and managing the programs. ...
Budgetary Consequences of Defense Expenditures in Pakistan: Short-Run Impacts and Long-Run Adjustments Fredericksen, P.C.; Looney, R.E. (1994-02);In the last twenty years, there has been a growing interest in quantifying the 'guns versus butter' tradeoff facing developing countries. This article examines Pakistan's military expenditures between 1973 and 1986 and ...
Army Acquisition and Contracting Personnel requirements: how are the Army's current recruitment, development and retention programs meeting current and future personnel requirements? Allen, Karen E.; Doran, James W.; Westbrook, Bonnie L. (Monterey, California. Naval Postgraduate School, 2011-09);The Defense (DoD) is realizing a current and expected future shortage in experienced acquisition and contracting personnel due, in part, to a hiring freeze in the middle 1990s and the number of personnel that are eligible ...