|
Technology Infusion of Klocwork InSpect into Flight SW Branch Development Processes at GSFC
|
|
Point of Contact
|
Mike Tilley
mike.tilley@gsfc.nasa.gov
|
|
Dates
|
February 2006 - November 2006
|
|
Problem
|
Increasingly sophisticated spacecraft mission designs demand complex, distributed flight software (FSW); a consequence of this complexity is a corresponding increase in FSW coding errors. Correcting errors during development is straightforward; later, during integration, errors become increasingly difficult and costly to fix. Effective, automated error detection would benefit FSW development.
|
|
Objective
|
The Flight Software Branch (FSB) seeks a capability to identify genuine FSW coding deficiencies during the development and build creation process where these errors can be corrected quickly, inexpensively, and properly. By incorporating an independent inspection capability within the FSB, FSW quality is augmented, resulting in improved mission delivery timeliness and operability.
|
|
Results
|
Flight Klocwork Final (Sanitized).zip
|
|
Keywords
|
C++, C, Java, FSW, Flight Software, FSB, Klocwork, InSpect, K7
|
|
Categories
|
Code Analysis
Static Analysis
|
|
