| Record ID | ia:reacherareachabi00shim |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/reacherareachabi00shim/reacherareachabi00shim_marc.xml |
| Download MARC binary | https://www.archive.org/download/reacherareachabi00shim/reacherareachabi00shim_meta.mrc |
LEADER: 02583nam 2200421Ia 4500
001 ocn471497032
003 OCoLC
005 20091130144701.0
008 091130s1989 caua bt f000 0 eng d
007 cr bn|||||||||
040 $aAD#$cAD#
037 $aADA214183$bDTI
086 0 $aD 208.14/2:NPS-52-89-050
088 $aNPS-52-89-050
049 $aAD#A
100 1 $aShimeall, Timothy J.
245 10 $aREACHER--a reachability condition derivation tool /$c[by] Timothy J. Shimeall.
260 $aMonterey, California :$bNaval Postgraduate School,$c1989.
300 $a14 p. :$bill. ;$c28 cm.
500 $aTitle from cover.
500 $a"Prepared for: Naval Postgraduate School"--Cover.
500 $a"September 1989"--Cover.
500 $a"NPS52-89-050"--Cover.
500 $aAuthor(s) subject terms: Software testing, statement coverage, reachability analysis, failure regions.
504 $aIncludes bibliographical references.
506 $a"Approved for public release; distribution unlimited"--Cover.
513 $aTechnical report; 1989.
520 $aREACHER 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.
592 $akmc/kmc 11/30/09.
650 0 $aComputer software$xTesting.
650 0 $aPascal (Computer program language)
650 0 $aProgramming languages (Electronic computers)
710 2 $aNaval Postgraduate School (U.S.)
856 41 $uhttp://www.dtic.mil/dtic/tr/fulltext/u2/a214183.pdf
994 $aC0$bAD#
592 $aaq/aq cc:9116 01/28/98
926 $aNPS-LIB$bDIGIPROJ$cD 208.14/2:NPS-52-89-050$dTECH_RPT$eNEVER$f1
926 $aNPS-LIB$bINTERNET$cELECTRONIC RESOURCE$dTECH_RPT$f1