Accession Number : ADA294399

Title :   Fault Isolator Tool for Software Fault Tree Analysis.

Descriptive Note : Master's thesis,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Mason, Russell W.

PDF Url : ADA294399

Report Date : MAR 1995

Pagination or Media Count : 77

Abstract : Software Fault Tree Analysis (SETA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. A necessary element of a SETA process is the construction of software fault trees based upon the syntactical structure of the software being analyzed. The specific problem addressed by this thesis is how can the process of generating software fault trees based upon the translation of Ada source code files be automated. The approach taken to address this problem was to develop an automated tool that manipulates files created by the Automated Code Translation Tool (ACTT) Ord 93 and Reid 94 developed earlier at the Naval Postgraduate School. The ACTT is an automated tool that translates Ada source code files into statement template tree structures that can be used to construct software fault trees. This thesis presents the Fault Isolator Tool (FIT), an automated process for locating and isolating those parts of a statement template tree structure generated by the ACTI tool that are related to statements in Ada programs that the analyst selects for evaluation. The FIT tool then generates software fault trees in a form compatible with the Fault Tree Editor (FTE), an interactive graphical editor designed by Chuck Lombardo, a computer systems administrator at the Naval Postgraduate School. The FTE was developed for the display, editing, and evaluation of software fault trees.

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *FAULT TREE ANALYSIS, SOURCES, AUTOMATION, HAZARDS, TOOLS, ISOLATION, THESES, CODING, TREES, FAULT TREES, TEMPLATES, TRANSLATIONS, COMPUTER FILES, ADA PROGRAMMING LANGUAGE, SYNTAX, SYSTEM SAFETY, FAULTS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE