NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Technology Infusion of CodeSonar into the Space Network Ground SegmentThis slide presentation reviews the applicability of CodeSonar to the Space Network software. CodeSonar is a commercial off the shelf system that analyzes programs written in C, C++ or Ada for defects in the code. Software engineers use CodeSonar results as an input to the existing source code inspection process. The study is focused on large scale software developed using formal processes. The systems studied are mission critical in nature but some use commodity computer systems.
Document ID
20090038682
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Benson, Markland J. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Date Acquired
August 24, 2013
Publication Date
September 22, 2009
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Software Assurance Symposium (SAS) ''09/NASA Software Assurance Research Program (SARP)
Location: Fairmont, WV
Country: United States
Start Date: September 22, 2009
End Date: September 23, 2009
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available