Software Sneak Circuit Analysis.
Abstract
The purpose of this study was to determine the feasibility of using the existing electrical sneak circuit analysis techniques to find software sneak circuits. The technique developed is unique in that it uses topological pattern recognition methods to identify software errors in assembler language subroutines. The approach involved research to identify case history software problems and collect computer listings that contained the problems. The case history problems were analyzed and electrical analogies were developed to depict the software instructions in electrical network trees. Techniques were developed that would identify these problems. Next, the developed techniques were applied to five test subroutines to determine the effectiveness of software sneak circuit analysis. The application identified several problems that had previously gone undetected. Finally, the developed techniques were compared to other existing methods of software verification. It is concluded that the developed technique will find at least the types of problems studied.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1976
- Accession Number
- ADA024718
Entities
People
- Gary J. Engels
- John P. Rankin
- Sylvia G. Godoy
Organizations
- Boeing