|
|||||
|
Test Analysis < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Formalized Pilot Study of Safety-Critical Software Anomalies | |
| Point of Contact |
Robyn Lutz rlutz@cs.iastate.edu |
| Dates | December 1999 - December 2002 |
| Problem | Advances in NASA's capability to produce safe, reliable systems depend in part on our ability to more precisely characterize areas needing improvement. Analysis of in-flight, critical software anomalies is such an area. |
| Objective | This work characterizes safety-critical, in-flight software anomalies (using operations data from Cassini and other spacecraft) with a defect-analysis technology, called Orthogonal Defect Analysis, developed by IBM and used by major industries. A formal ized pilot study approach provides a sound, quantitative foundation to enable improvements, principally in testing. |
| Results |
Analyzing Post-Launch Anomalies at JPL.ppt Empirical Analysis of Safety-Critical Software Anomalies Post-Launch.ppt Evolution of Safety-Critical Requirements Post-Launch.pdf Operational Anomalies as a Cause of Safety-Critical Requirements Evolution.pdf |
| Keywords | safety-critical software anomalies orthogonal defect analysis defect-analysis technology safety-critical critical software in-flight software |
| Categories |
Test Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |