REACHER--a reachability condition derivation tool

Our rough guess is there are 3,500 words in this book.

At a pace averaging 250 words per minute, this book will take 0 hours and 14 minutes to read. With a half hour per day, this will take 1 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Author

Timothy J. Shimeall

Contributions

Naval Postgraduate School (U.S.) - Contributor

Publication

1989 - Naval Postgraduate School, Monterey, California, California

Language

English

Word Count

3,500 words, Guess

Page Count

14 pages

Identifiers

Internet Archivereacherareachabi00shim
OCLC Control Number471497032
Open LibraryOL25493032M

Description

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.

Subjects

Topics

Testing Computer software Pascal (Computer program language)Programming languages (Electronic computers)

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!