Software Fault Tree Analysis of Concurrent Ada Processes
Abstract
The Automated Code Translation Tool (ACTT) was developed at Naval Postgraduate School to partially automate the translation of Ada programs into software fault trees. The tool works as follows: The Ada parser and lexical analyzer calls the ACTT upon recognition of an Ada statement; The ACTT produces a template representing the statement; The templates are linked together. The tool was lacking in that it only looked at a subset of Ada structures. The problem that this thesis addresses is the implementation of the missing language structures, specifically, concurrency and exception handling, to allow the ACTT to handle all of the Ada structures. The result is a tool that takes the Ada source code and provides the analyst with a sequence of templates, and summary information to assist in incorporating hazard information for generating a fault tree. Software safety, Software fault tree analysis, Software testing.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1994
- Accession Number
- ADA284979
Entities
People
- William S. Reid Jr.
Organizations
- Naval Postgraduate School