Loading...
Please wait, while we are loading the content...
Similar Documents
Pisces: a tool for predicting software testability
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Voas, Jeffrey M. Payne, Jeffery E. Miller, Keith W. |
| Copyright Year | 1991 |
| Description | Before a program can fail, a software fault must be executed, that execution must alter the data state, and the incorrect data state must propagate to a state that results directly in an incorrect output. This paper describes a tool called PISCES (developed by Reliable Software Technologies Corporation) for predicting the probability that faults in a particular program location will accomplish all three of these steps causing program failure. PISCES is a tool that is used during software verification and validation to predict a program's testability. |
| File Size | 238156 |
| Page Count | 13 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20040129668 |
| Archival Resource Key | ark:/13960/t6c29t19p |
| Language | English |
| Publisher Date | 1991-01-01 |
| Access Restriction | Open |
| Subject Keyword | System Failures Computer Program Integrity Fault Detection C++ Programming Language Probability Theory Software Development Tools Computer Programs Program Verification Computers Propagation Modes Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |