NASA NTRS · 20090038682
Technology Infusion of CodeSonar into the Space Network Ground Segment
Abstract
This 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.
Keep this discovery
Explore connections, maps & timelines
Benson, Markland J.. 2009-09-22. Technology Infusion of CodeSonar into the Space Network Ground Segment. https://ntrs.nasa.gov/citations/20090038682
Cite the original work for its findings. Save a collection to share your selection of sources.