IV&V Facility Research Program Results and SARP Results  

Advanced Search
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 Source Code Analysis & Error Checking into M.P. & Exec. SW Tools at JPL
Point of Contact Barbara Streiffert
Barbara.Streiffert@jpl.nasa.gov
Dates March 2006 - May 2007
Problem As most of the software developed in this section is NASA Class B software (Mission Critical) the desire is to reduce coding errors. This technology will be evaluated on several different software applications to determine whether it will effectively identify software errors, and how well it works under a variety of circumstances.
Objective It is hoped that this technology will reduce the number of errors in operational Software. Since this software is Mission Critical, errors may cause loss of spacecraft or an inability to meet mission objectives up to loss of mission.
Results Final_Report_Sanitized_Tech_Infusion_Source_Code_Streiffert.doc
Keywords Mission Critical Software, Error detection, software errors, operational software, KlocWork, JAVA, C++
Categories Software Reliability
Code Analysis