 |
||
|
Advanced Search |
||
|
|||||
|
Static 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.
|
| Technology Infusion of CodeSonar into the Space Network Ground Segment | |
| Point of Contact |
Markland Benson Markland.J.Benson@nasa.gov |
| Dates | November 2007 - September 2008 |
| Problem | The set of software defects that can be detected by inspection and testing is limited by software complexity, test equipment fidelity, and schedule pressure. Software defects that are deployed to the operational Space Network systems cause loss of proficiency and availability of communications services to and from the Space Shuttle, International Space Station, and robotic missions. Static analysis tools can detect certain classes of software defects more effectively than inspection and test. |
| Objective | Detect one or more software defects that would cause loss of proficiency or availability by analyzing Space Network operational software with CodeSonar. |
| Results |
SAS_08_Exec_Pres_Infusion_of_CodeSonar_Benson.ppt SAS_08_Tech_Pres_Infusion_of_CodeSonar_Benson.ppt Technology Infusion of CodeSonar Interim Report.doc Technology Infusion of CodeSonar Final Report.doc.docx |
| Keywords | Code Analysis and Static Analysis |
| Categories |
Code Analysis Static Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |