bannerb

This table includes tools from across the handbook. Note that this table should not be considered all-inclusive, nor is it an endorsement of any particular tool. Check with your Center to see what tools are available to facilitate compliance with requirements in NPR 7150.2. If you would like to suggest a tool to be added to this list, please add a comment at the very bottom. Thanks!

Table is sorted by "Tool Name". Click on another column header to sort by that columns data.

Tool nameTypeCopyright or SourceLinkDescriptionUserAffiliated SWE

010 Hex Editor

COTS

SweetScape Software

Professional text and hex editing with Binary Templates technology. Version 8.0.1

LaRC

none

Abaqus

COTS

Dassault Systems

Software suite for finite element analysis and computer-aided engineering, originally released in 1978. The name and logo of this software are based on the abacus calculation tool.

GSFC

AccuRev®

COTS

AccuRev®

AccuRev® (formerly Borland® AccuRev) is a software configuration management tool that addresses complex parallel and distributed development environments with stream-based architecture to accelerate development processes and improve asset reuse. Ver 7.2

JPL, KSC

SWE-080

Actel

COTS

Microsemi

Low-power field-programmable gate arrays (FPGAs), mixed-signal FPGAs, and programmable logic solutions

GSFC

Action Item Tracking Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

Excel spreadsheet that tracks action items and produces a summary report. Attributes tracked for each action item include ID, Action Item, Assigned To, Priority, Date Opened, Date Due, Date Closed, Days Opened, and Notes. Available in SPAN on page: GSFC_TL_20080905_Action_Item_Tracking

GSFC

SWE-090, SWE-091

AD hoc Workflows

COTS

Comala Technology Solutions

Ad hoc Workflows helps organizations specify workflows to gain dependable, repeatable and compliant processes. Version "Comala Workflows 5.2"

GRC

SWE-005

AdaStress

Open Source

NASA Ames - RSE

AdaStress is a software package for the intelligent stress testing and explanation of safety-critical systems. Adaptive stress testing is an accelerated simulation-based stress testing method for finding the most likely path to a failure event; and grammar-based decision tree can analyze a collection of these failure paths to discover data patterns that explain the failure events.

ARC

AFLR

Developed

Mississippi State University

AFLR3 is a unstructured volume mesh generation utility. Used for mesh generation in FUN3D and Kestrel CFD simulations.

ARC

AFT Arrow

COTS

Applied Flow Technologies

Compressible Pipe Flow Analysis and Modeling Software

KSC

AFT Fathom

COTS

Applied Flow Technology

Incompressible Pipe Flow Analysis and Modeling Software

KSC

AFT Impulse

COTS

Applied Flow Technology

Waterhammer and Surge Analysis

KSC

Agency Process Asset Library PAL

Process Asset Library

NASA Office of the Chief Engineer

The NASA Agency software engineering Process Asset Library (Agency PAL) is a resource for the software engineering community that is funded by the NASA Headquarters Office of the Chief Engineer (OCE).

All Centers

SWE-098, SWE-099

Aldec

COTS

Aldec, Inc.

provides software and hardware used in creation and verification of digital designs targeting FPGA and ASIC technologies

GSFC

Altium®

COTS

Altium Limited

"Design the physical board, the programmable hardware on the board and the system software, all within a single design application. " Version "Designer 18"

DFRC, KSC

SWE-056

Ant™

Open Source

Apache

Apache Ant™ is a Java library and command-line tool whose mission is to drive processes described in build files as targets and extension points dependent upon each other. The main known usage of Ant™ is the build of Java applications. Ant™ supplies a number of built-in tasks allowing to compile, assemble, test and run Java applications. Ant™ can also be used effectively to build non-Java applications, for instance, C or C++ applications. More generally, Ant can be used to pilot any type of process which can be described in terms of targets and tasks. Jun 22, 2018 - Apache Ant 1.9.12 and 1.10.4 Released

JPL

SWE-060

AppScan®

COTS

IBM®

IBM Security AppScan Standard - IBM Security AppScan Standard protects against web application attacks and expensive data breaches by automating application security vulnerability testing. Source and Enterprise versions also available

JPL

SWE-156, SWE-158

ARM

Unknown

GSFC

SWE-053, SWE-109

Asist

NASA Developed

GSFC

The ASIST Ground System is an object-oriented, real-time command and control system for spacecraft development, integration, and operations. Mature and reliable, ASIST has logged hundreds of thousands of hours in component development, spacecraft integration, and validation. From component development to integration, testing, and mission operations, this NASA technology provides a single spacecraft ground system for processing spacecraft telemetry and command data throughout the lifecycle of a program. The technology is applicable to all missions with telemetry that (1) conforms to the AOS recommendations of the Consultative Committee for Space Data Systems (CCSDS) and (2) meets CCSDS telecommand standards.

GSFC

Astree

COTS

AbsInt

Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C. A static program analyzer for a restricted set of C programs, (no dynamic memory allocation and recursion). It was started as a research tool by Patrick and Radhia Cousot, and their research group, and is now commercialized by AbsInt.

TBD

SWE-135

Audit Findings and Corrective Actions Tool

Downloadable

GSFC

Excel spreadsheet

GSFC

SWE-084

Bamboo®

COTS

Atlassian

A continuous integration server. Continuous delivery, from code to deployment. Tie automated builds, tests, and releases together in a single workflow.

ARC

SWE-135

Baselines Tool

Downloadable

This tool provides a standard template for a list of the items to be baselined at the conclusion of each project phase. The list needs to be customized for the particular project intending to use it and should be kept up-to-date throughout the project. Every revision of SMP/PP should contain a snapshot of the project's latest version of the tool. For further information, contact the SPI Team via the e-mail link provided below.

GSFC

SWE-082

Beyond Compare

COTS

Scooter Software, Inc.

Beyond Compare allows you to quickly and easily compare your files and folders. By using simple, powerful commands you can focus on the differences you're interested in and ignore those you're not. You can then merge the changes, synchronize your files, and generate reports for your records. Ver 4.2.5.

LaRC

SWE-051

Bitbucket®

COTS

Atlassian

Distributed version control system that makes it easy for you to collaborate with your team. Bitbucket is more than just Git code management. Bitbucket gives teams one place to plan projects, collaborate on code, test and deploy.

LaRC, GRC, SSC

SWE-080

BlackDuck Hub

COTS

Black Duck Software, Inc.

Software supply chain management where it scans for known vulnerabilities when using open source software (for ground systems/networks). A Complete Open Source Management Solution - Fully discover all open source in your code - Map components to known vulnerabilities - Identify license compliance and component quality risks - Set and enforce open source policies - Integrate open source management into your DevOps environment - Monitor and alert when new threats are reported

IV&V

SWE-156, SWE-158

Bugzilla

Open Source

Bugzilla

Bugzilla is a robust, featureful and mature defect-tracking system, or bug-tracking system. Defect-tracking systems allow teams of developers to keep track of outstanding bugs, problems, issues, enhancement and other change requests in their products effectively. Version 5.0.4.

ARC, GSFC

SWE-024, SWE-025, SWE-060, SWE-069, SWE-080, SWE-083, SWE-088

Burp Suite Pro

COTS

PortSwigger Ltd.

Web application penetration testing for ground systems/networks.

IV&V

SWE-156

C-Kit

Academic

Bell Labs

C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It also provides facilities for extending the C language with additional syntactic constructs, which can be useful for implementing "C-like" domain-specific languages as well as C dialects. Ckit is currently used as the front end for a variety of tools for static analysis of C code and at least one domain-specific language. The development has stopped because the researchers involved have left Bell Labs. The latest version is 1.0, released 31 March 2000.

TBD

SWE-135

Caliber®

COTS

Micro Focus

CaliberRM® is a requirements management tool that ensures that applications meet end user needs. Using CaliberRM, analysts, developers, testers and other stakeholders accurately capture and communicate the user's requirements throughout the application lifecycle. Version 11.5.

SWE-072, SWE-052, SWE-059, SWE-064

Calysto

Academic

Domagoj Babic

Calysto is a scalable and precise static checker for general purpose code, which checks pointer properties and user provided assertions. Calysto works on the SSA form, and as such is language independent. However, interpretation of library functions (like C-lib and STL) as well as trace reporting is language-dependent (for instance, demangling C++ and Java names). Currently, trace reports are readable only for languages that do not mangle names (like C). Dr. Babic considers Calysto a bug hunting companion, rather than a formal verification tool.

TBD

SWE-135

CGS

NASA

NASA - ARC

C Global Surveyor. An experimental tool at NASA Ames Research Center from Guillaume Brat and Arnaud Venet, based on abstract interpretation techniques, inspired by Patrick Cousot. This is obsolete and superseeded by the work on IKOS, a framework to generate of static analyzers based on abstract interpretation.

ARC, JPL

SWE-135

ChangeMan SSM

COTS

MicroFocus

ChangeMan® SSM (formerly Serena ChangeMan SSM) provides visibility into software infrastructure changes for audit and version control purposes. It detects and tracks all changes to critical libraries to roll back and restore systems to a compliant state. Changes can be synchronized to a disaster recovery or business continuity site, reducing costly downtime.

MSFC, ES50

SWE-080

CheckStyle

Open Source

SourceForge

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. It automates the process of checking Java code to spare humans of this boring (but important) task. This makes it ideal for projects that want to enforce a coding standard.

KSC

SWE-060, SWE-061, SWE-135

Clang Static Analyzer

Academic

LLVM

A source code analysis tool that find bugs in C and Objective-C programs. Currently it can be run either as a standalone tool or within Xcode. The standalone tool is invoked from the command-line, and is intended to be run in tandem with a build of a codebase.

TBD

SWE-135

COCOMO™ II

Freeware

USC

COnstructive COst MOdel II (COCOMO™ II) is a model that allows one to estimate the cost, effort, and schedule when planning a new software development activity. It consists of three submodels, each one offering increased fidelity the further along one is in the project planning and design process. Listed in increasing fidelity, these submodels are called the Applications Composition, Early Design, and Post-architecture models.

SWE-015, Topic 7.6

CoCoSim

Open Source

NASA Ames RSE Group

CoCoSim is an automated analysis and code generation framework for Simulink and Stateflow models. Specifically, CoCoSim can be used to verify automatically user-supplied safety requirements. Moreover, CoCoSim can be used to generate C and/or Rust code. CoCoSim uses Lustre as its intermediate language. CoCoSim is currently under development.

ARC

SWE-135

Code to FlowChart

COTS

AthTek

Code to FlowChart is an advanced source code to flowchart converter for software engineers and document writers. It can automatically generate flowchart/NS chart from source code, and helps users to understand complex program structures by visual diagrams.

LaRC

SWE-135, SWE-064

Code::Blocks

Open Source

Open Source

Code::Blocks is a free C, C++ and Fortran IDE built to meet the most demanding needs of its users. It is designed to be very extensible and fully configurable. Version 17.12

LaRC

SWE-060

CodeHawk C Analyzer

COTS

Kestrel Technology

CodeHawk C analyzer is a software assurance tool capable of proving the absence of all memory access vulnerabilities in C source code by leveraging KT’s abstract interpretation engine, a static analysis technology able to mathematically model program behavior.

ARC

SWE-060, SWE-061, SWE-087, SWE-135

CodePeer

COTS

AdaCore

CodePeer is an Ada source code analyzer that detects run-time and logic errors. Version 18.1

IV&V

SWE-135

CodeSonar®

COTS

Grammatech

By analyzing both source code and binaries, CodeSonar enables teams to analyze complete applications, enabling you to take control of your software supply chain and eliminate the most costly and hard-to-find defects early in the SDLC.

IV&V, ARC (NanoSat), JPL

SWE-087, SWE-090, SWE-091, SWE-135

Codesurfer®

COTS

Grammatech

A code browser that understands pointers, indirect function calls, and whole-program effects.

IV&V

SWE-135

CollabNet TeamForge

COTS

CollabNet

CollabNet TeamForge integrates software configuration management (SCM), continuous build and test, issue tracking, project management, lab management, and collaboration tools into a single Web-based application lifecyle management platform that empowers distributed teams to deliver great software.

KSC

SWE-069, SWE-080, Test, Topic 7.18, test,

Collaborator

COTS

Smart Bear

Collaborator is a code review tool that helps development, testing and management teams work together to produce high quality code. It allows teams to peer review code, user stories and test plans in a transparent, collaborative framework — instantly keeping the entire team up to speed on changes made to the code.

LaRC, MSFC, KSC

SWE-087, SWE-088, SWE-089, Topic 7.10

Concurrent Version System (CVS)

Open Source

Open Source

CVS is a version control system, an important component of Source Configuration Management (SCM). Using it, you can record the history of sources files and documents. It fills a similar role to the free software RCS, PRCS, and Aegis packages.

JPL

SWE-080

confluence

...

Confluence®

Team collaboration software

Atlassian

"Capture the knowledge that's too often lost in email inboxes and shared network drives in Confluence where it's easy to find and update.Distribute a clear agenda before, take notes during, and assign tasks afterward. With all your notes and action items in one place you can give email a break.Great products require even better planning. Document, discuss, and track product requirements so your developers can hit the ground running.Extend Confluence to fit your needs with custom themes, diagramming tools, workflow management solutions, etc..."

GRC

This Software Engineering wiki.

COSMOS

Open Source

Ball Aerospace

COSMOS is a set of 15 applications that can be used to control a set of embedded systems. These systems can be anything from test equipment (power supplies, oscilloscopes, switched power strips, UPS devices, etc), to development boards (Arduinos, Raspberry Pi, Beaglebone, etc), to satellites.

LaRC

SWE-060

Coverity® Prevent and Extend™

COTS

Synopsys

Static code analysis

JPL, IV&V

SWE-060, SWE-061, SWE-087, SWE-091, SWE-135

Cppcheck

Open Source

SourceForge

Cppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. The goal is to detect only real errors in the code (i.e. have very few false positives). Version 1.84

KSC

SWE-135

Crucible®

COTS

Atlassian

Find bugs and improve code quality through peer code review.

LaRC, GRC, IV&V

SWE-088

Cruise Control™

Open Source

Cruise Control™

CruiseControl™ is both a continuous integration tool and an extensible framework for creating a custom continuous build process. Version 2.8.4

ARC

SWE-135, SWE-136

CxxTest

Open Source

SourceForge

CxxTest is a unit testing framework for C++ that is similar in spirit to Junit, CppUnit, and xUnit. CxxTest is easy to use because it does not require precompiling a CxxTest testing library. It employs no advanced features of C++ and it supports a very flexible form of test discovery. Version 4.4

KSC

SWE-062

Dimensions® RM

COTS

MicroFocus

Create and manage requirements more efficiently. Dimensions® RM (formerly Serena® Dimensions RM) increases visibility and collaboration across business and delivery teams. Powerful reporting and tracking provide end-to-end traceability from initial concepts to production delivery.

SWE-072, SWE-052, SWE-059, SWE-064

DOORS®

COTS

IBM® Rational®

IBM® Rational® DOORS® family is a group of requirements management tools that allow you to capture, trace, analyze and manage changes across the development lifecycle.

ARC, DFRC, GRC, GSFC, IV&V, JPL, JSC, JSC, LaRC, MSFC,

SWE-049, SWE-050, SWE-051, SWE-052, SWE-053, SWE-059, SWE-064, SWE-072, SWE-090, SWE-091, SWE-109,

Doxygen

Open Source

Open Source

Doxygen is a tool for generating documentation from annotated C++ sources, but it also supports other popular programming languages such as C, Objective-C, C#, PHP, Java, Python, IDL (Corba, Microsoft, and UNO/OpenOffice flavors), Fortran, VHDL, Tcl, and to some extent D. Version 1.8.14 (release date December 25th 2017)

LaRC, GRC, JSC

SWE-056

Eclipse IDE

Open Source

Eclipse Foundation

An integrated design environment (IDE) tool for software development. Eclipse is an open source community, whose projects are focused on building an open development platform comprised of extensible frameworks, tools and runtimes for building, deploying and managing software across the lifecycle.

JPL

SWE-060, SWE-061

EDK/ISE

COTS

Xilinex

Xilinx ISE (Integrated Software Environment) is a package that contains the suite of programs needed for the entire FPGA development flow. Includes design entry, synthesis, P&R, device programming. Also simulation via modelsim, as an option.

GSFC

SWE-056, SWE-060

Enterprise Architect

COTS

Sparx Systems, Inc.

Enterprise Architect provides complete traceability from requirements, analysis and design models, through to implementation and deployment. ...

IV&V

SWE-049, SWE-050, SWE-051, SWE-135

eRoom

COTS

opentext

eRoom is an on-line project collaboration, or collaborative software product from Opentext Corporation. Originally developed by eRoom Technology Inc., of Cambridge, Massachusetts, product features include e-mail management, calendaring, instant messaging, project plans, databases, and document management.

GRC

SWE-088

FactoryTalk® Asset Centre

COTS

Rockwell Automation

FactoryTalk® AssetCentre provides you with a centralized tool for securing, managing, versioning, tracking and reporting automation related asset information across your entire facility.

KSC

SWE-063

FactoryTalk® Historian

COTS

Rockwell Automation

FactoryTalk® Historian establishes a reliable foundation for capturing the data you need to improve operations. Powerful reporting and trending tools provide critical insight into performance parameters and are available at high speed and full resolution for any control system or human-machine interface (HMI) software.

KSC

SWE-063

FactoryTalk® View Studio

COTS

Rockwell Automation

FactoryTalk View Machine Edition allows for a consistent operator interface across multiple platforms, including PanelView Plus and Windows desktop solutions and consists of: FactoryTalk View Studio: Configuration software for developing and testing HMI applications. FactoryTalk View ME Station: A traditional "stand-alone" HMI solution that provides an integrated operator interface that runs the same HMI application on PanelView™ Plus 7, PanelView™ Plus 6, MobileView™ terminal, Rockwell Automation Industrial Computers, or other industrial PC.

KSC

SWE-063

Fast Track Schedule

COTS

AEC Software, Inc.

FastTrack Schedule 10.2 is the leading easy-to-use project management software for planning, tracking, and reporting projects. Available in cross-platform compatible Mac, Windows and iPad versions, FastTrack Schedule 10.2 is ideal for both experienced and first-time project managers and helps teams to effectively and successfully manage projects.

GSFC

SWE-016

fckeditor

...

FindBugs

Open Source

University of Maryland

FindBugs, a program which uses static analysis to look for bugs in Java code. It is free software, distributed under the terms of the Lesser GNU Public License. The current version of FindBugs is 3.0.1, released on 13:05:33 EST, 06 March, 2015.

GRC (EVA Sim; EVA-Informatics), ARC, JPL, KSC

SWE-060, SWE-061, SWE-087, SWE-135

FishEye

COTS

Atlassian

Visualize and report on activity and search for commits, files, revisions, or teammates across SVN, Git, Mercurial, CVS and Perforce.

LaRC, GRC

SWE-056, SWE-080

Flexelint

COTS

Gimpel Software

FlexeLint are powerful static analysis tools that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have.

IV&V

SWE-087, SWE-135

Fortify

COTS

MicroFocus

MicroFocus Fortify is a static code analysis tool that is used to scan software for security vulnerabilities. Fortify is used extensively through the DoD community. GSFC uses Fortify for its DOD Clients. The NASA OCIO procured an enterprise license of Fortify. Please contact the SOC for more information soc@nasa.gov.

GSFC

SWE-135, SWE-158,

Fortify WebInspect

COTS

MicroFocus

Dynamic Application Security Testing Software - Find and prioritize web application vulnerabilities. Automate dynamic web application testing across a software portfolio.

IV&V

SWE-156

FORTRAN

COTS

FORTRAN

The Intel® Fortran Compiler is the industry leader for building high performance applications.

SSC

SWE-060

FxCop

Open Source

MicroSoft

FxCop is an application that analyzes managed code assemblies (code that targets the .NET Framework common language runtime) and reports information about the assemblies, such as possible design, localization, performance, and security improvements.

SWE-061

gcov

Open Source

gnu

gcov is a test coverage program. Use it in concert with GCC to analyze your programs to help create more efficient, faster running code and to discover untested parts of your program. You can use gcov as a profiling tool to help discover where your optimization efforts will best affect your code. You can also use gcov along with the other profiling tool, gprof, to assess which parts of your code use the greatest amount of computing time.

JPL

SWE-066

Gensym G2

COTS

gensym

Gensym’s® powerful real-time expert system G2 allows you to create, deploy and adapt real-time, rule-driven, mission-critical expert applications that automate decision making in telecommunications, finance, government,military, manufacturing, utilities, and transportation.

KSC

SWE-060

Git

Open Source

GitHub

Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency. Version 2.18.0 (2018-06-21)

LaRC, GRC, JSC

SWE-080

GITLab

COTS

GitLab Inc.

Provides repository management, code reviews, issue tracking, activity feeds and wikis. GitLab itself is also free software.

GSFC, GRC, JSC

SWE-080, SWE-087

GLG Toolkit

COTS

General Logic, Inc.

Real-Time Graphics, Data Visualization, HMI and custom GIS Solutions for software developers. Generic Logic's interactive Graphics Builder allows developers to rapidly create and prototype dynamic graphical displays and custom graphical components without writing low-level graphics code, saving months of development time and facilitating the components' reuse. GLG Toolkit is a powerful and flexible tool for creating custom HMI systems that can be deployed on a variety of software and hardware platforms, and on the Web.

GSFC

SWE-060

GOTS

...

GRC eRoom Inspection Tool

Downloadable

GRC

Provides users with a means of recording various software inspection measures and automatically calculates various inspection metrics, e.g., defect counts. Different versions of the metrics reports are generated automatically for project-, Center-, and Agency-level reporting.

GRC

GSFC Requirements Matrix Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

This tool, an Excel spreadsheet, provides bidirectional traceability between requirements, design, code, and test procedures. Available in SPAN on page: GSFC_TL_20161114_Req_Trace_Tool

GSFC

SWE-052, SWE-064

GUESS

Open Source

Sourceforge

GUESS is an exploratory data analysis and visualization tool for graphs and networks. The system contains a domain-specific embedded language called Gython (an extension of Python, or more specifically Jython) which supports the operators and syntactic sugar necessary for working on graph structures in an intuitive manner. GUESS also offers a visualization front end.

IV&V

SWE-051

Harvest Software Change Manager

COTS

CA Technologies

CA Harvest Software Change Manager (CA Harvest SCM) provides powerful, process-driven capabilities for managing development teams across your enterprise, encompassing multiple platforms and release management tools. This release management software enforces your IT governance policies and corporate compliance initiatives including those defined by the Sarbanes-Oxley Act. It also can ensure adherence to your ITIL®-based best practices.

JPL

Hudson

COTS

Oracle

Hudson is a continuous integration (CI) tool written in Java, which runs in a servlet container, such as Apache Tomcat or the GlassFish application server. It supports SCM tools including CVS, Subversion, Git and Clearcase and can execute Apache Ant and Apache Maven based projects. Version 3.3.3

ARC

SWE-135

IBM Rational Synergy

COTS

IBM Rational

"...task-based, integrated configuration management solution for global software development." (NOTE: Briefing states that JSC R2S access for license is required.)

IV&V JSC ?

SWE-080, SWE-083, SWE-085

IBM Rhapsody

COTS

IBM Rational

"IBM® Rational® Rhapsody® family provides collaborative design and development for systems engineers and software developers creating real-time or embedded systems and software. Rational Rhapsody helps diverse teams collaborate to understand and elaborate requirements, abstract complexity visually using industry standard languages (UML, SysML, AUTOSAR, DoDAF, MODAF, UPDM), validate functionality early in development, and automate delivery of innovative, high quality products." (NOTE: Several versions are listed on the website for architecture, system engineering requirements analysis, design and model management, simulations to validate requirements and analyze architecture, and code generation. Unsure which versions are used within NASA. Listed requirements are those related to these topics.)

IV&V GSFC ?

SWE-051, SWE-055, SWE-056, SWE-057, SWE-058, SWE-112

IKOS

Government

NASA

Inference Kernel of Open Static Analyzers. IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation.

ARC

SWE-135

Inspections Dashboard Tool

Downloadable

Fraunhofer Center, University of Maryland

A research project prototype developed by a team lead by Dr. Forrest Shull that provides data collection forms in which software measures can be recorded. The tool also provides some feedback about key planning parameters by comparing new inspections to local baselines and heuristics developed from data across the Agency.

University of Maryland

Intel® Parallel Studio XE

COTS

Intel

Suite of development tools makes it simpler to build and modernize code with the latest techniques in vectorization, multithreading, multinode parallelization, and memory optimization.

LaRC

SWE-060

Interactive Classification Tool

Software Classification Tool

NASA GRC

The software classification tool is a question and answer based guide that has been built in order to help identify the most likely software classification based on the answers that one provides to each question. This tool is only an additional resource to help determine a system or sub-systems classification and is not meant to be an authoritative member of software classifications.

All Centers

SWE-020

Interactive Data Language (IDL)

COTS

Harris Geospacial

IDL is a scientific programming language used across disciplines to analyze and to create visualizations out of complex scientific numerical data.

GSFC

SWE-060

Jdeveloper

Open Source

Oracle

Oracle JDeveloper is a free integrated development environment that simplifies the development of Java-based applications addressing every step of the application lifecycle.

JPL

SWE-060

Jenkins Tool

Open Source

Jenkins

Jenkins is an open source continuous integration software tool written in the Java programming language for testing and reporting on isolated changes in a larger code base in real time. The software enables developers to find and solve defects in a code base rapidly and to automate testing of their builds.

KSC, JSC, JPL

SWE-060, SWE-066

JIRA

COTS

Atlassian

JIRA provides issue tracking and project tracking for software development teams to improve code quality and the speed of development. It combines a clean, fast interface for capturing and organizing issues with customizable workflows, OpenSocial dashboards, and a pluggable integration framework. You can start with Atlassian software for $10. JIRA is used for issue tracking and project management by over 14,500 organizations.

GRC, JPL, GSFC, ARC

SWE-024, SWE-025, SWE-069, SWE-080, SWE-083, SWE-088, SWE-091, SWE-092, SWE-093, SWE-094, SWE-095, SWE-096, SWE-117

JPL C Coding Standard

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

JPL

...

An example of a coding standard for programming in c. Search in SPAN: JPL__ST_20090303_C_Coding_STD

JPL

SWE-060, SWE-061, SWE-087

Jprofiler

COTS

ej-technologies

JProfiler is a commercially licensed Java profiling tool developed by ej-technologies GmbH, targeted at Java EE and Java SE applications.

JPL

SWE-060

Jrebel

COTS

Zeroturnaround

JRebel is a JVM Java Agent that integrates with application servers, making classes reloadable with existing class loaders. Only changed classes are recompiled and instantly reloaded in the running application.

JPL

SWE-060

Kali Linux

Open Source

Kali

Penetration testing tool for ground systems/networks.

IV&V

SWE-156

KDDMS Windchill

NASA

NASA - KSC

Configuration Management documentation tool. KDDMS (Kennedy Design and Data Management System) Windchill is a Browser-based Product Data/Lifecycle Management system, providing control of Physical data (CAD Models, Drawings, etc. — including end-to-end Versioning, History, Iteration, Revisions, Where-Used, Search, Reporting, Notifications, and much more...) and related associated content (Engineering data, Office and Reference documents, and more.)

KSC

SWE-080

KlocWork Insight

COTS

Rogue Wave Software

A proven and widely deployed development productivity solution, Klocwork Insight enables early detection of a wide range of critical coding issues. With Klocwork Insight, software developers can run powerful static analysis at their desktop, and team leads and architects can access architecture visualization as well as important build-level metrics and trending data.

KSC (Launch Control System), ARC, JPL, IV&V

SWE-061, SWE-135,

LabVIEW

COTS

National Instruments

LabVIEW is systems engineering software for applications that require test, measurement, and control with rapid access to hardware and data insights.

LaRC, GSFC, KSC, GRC, SSC, JSC

SWE-060

LaRC Peer Review Toolkit

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

LaRC

...

Excel workbook that provides instructions for conducting a peer review, an overview of the peer review process, and product-specific checklists used during reviews. Areas for documenting issues and concerns, assigning action items, tracking issues to resolution, and documenting metrics are included. In SPAN search for LARC_TL_20120821_Peer_Review_Toolkit_v13

LaRC

SWE-088, SWE-089, Topic 7.10

LDRA

COTS

Liverpool Data Research Associates

Liverpool Data Research Associates (LDRA) is a provider of software analysis, test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis.

LaRC (CLARREO), JSC

SWE-135

Lint

COTS

Gimpel Software

Also PC-Lint and FlexeLint. It will thoroughly check your C/C++ source code for bugs, glitches, inconsistencies, non-portable constructs, and much more, so you can find and fix your bugs more quickly, and more economically, than with traditional debugging procedures

LaRC, ARC

SWE-087, SWE-135

Lint Plus

COTS

Cleanscape

From the website: "Cleanscape LintPlus is a static source code analysis tool for ANSI C that reduces your organizational exposure to risks from latent software problems by automatically identifying problems at their source -- in the C source code prior to compiling or executing programs. From its first use, this venerable C source code analysis tool can save you hundreds of hours in code debugging, greatly reducing resources required for C testing efforts."

TBD

SWE-135

Linux

Open Source

The Linux Foundation

Operating System

GRC

SWE-060

MagicDraw

COTS

No Magic, Inc.

UML business process, architecture, software and system modeling tool with teamwork support.

IV&V, JPL, GRC

SWE-111, SDD, Topic 7.18,

MAS

Custom software

POC: Matt Sharpe, Alex Eiser, Bill Van Dalsem (all from Ames)

Objective: System to enable Ames' software management processes. Notes: "Living" and historical databases of all of Ames' software projects; enables online recommendation, review, and approval of software classifications (engineering and S&MA assurance/safety); repository for detailed software project data needed to support the Ames software engineering management processes. NPR 7150.2A records retention requirements and NASA Software Inventory. For more information, see the presentation given by Ames at the March, 2011, NASA SWG Face-to-Face (slides 9-13), available from the NSCKN site (Click the link to the left and log into NSCKN)

ARC

SWE-118, SWE-065, SWE-021

MathCAD

COTS

PTC

PTC Mathcad is engineering math software that allows you to perform, analyze, and share your most vital calculations.

LaRC

SWE-060

Mathematica

COTS

Wolfram

Mathematica provides a single integrated, continually expanding system that covers the breadth and depth of technical computing.

LaRC

SWE-060

Matlab

COTS

Mathworks

MATLAB® is a high-level language and interactive environment that enables you to perform computationally intensive tasks faster than with traditional programming languages such as C, C++, and Fortran.

ARC, DFRC, GRC, GSFC, IV&V, JPL, MSFC, WFF, JSC, LaRC, SSC, KSC

SWE-060, SWE-135

Measurement Planning Table Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

Provides a template for both development and acquisition projects for specifying the measures that should be collected over the project life cycle. For each measurement area (e.g., Software Quality), the template provides suggestions for the measurement objectives, the measurements that should be collected, the collection frequency, and the analysis that should be performed. Search in SPAN for "GSFC_TL_20160909_Measurement_Planning_Table_Tool"

GSFC

SWE-090, SWE-091, Topic 7.14

Metaspolit Express/Pro

COTS

Rapid7

Penetration testing for ground systems/networks.

IV&V

SWE-156, SWE-158

Microsoft SQL Server

COTS

Microsoft®

SQL Server is Microsoft's relational database management system (RDBMS). SQL Server supports ANSI SQL, the standard SQL language. However, SQL Server also contains T-SQL, its own SQL implementation. SQL Server Management Studio (SSMS) (previously known as Enterprise Manager) is SQL Server's main interface tool, and it supports 32-bit and 64-bit environments.

KSC, SSC

SWE-060

Microsoft Visual C

COTS

Microsoft Visual C++™

C++ compiler

SSC

SWE-060

Microsoft Visual C™ IDE

COTS

Microsoft Visual C™ IDE

The Visual Studio Integrated Development Environment (IDE) offers a set of tools that help you write and modify code, and also detect and correct errors

SSC

SWE-060SWE-060

Microsoft .NET Framework

Open Source

Microsoft®

A comprehensive and consistent programming model for building applications that have visually stunning user experiences, seamless and secure communication, and the ability to model a range of business processes.

KSC

SWE-060

MinGW

Open Source

MinGW

MinGW, a contraction of "Minimalist GNU for Windows", is a minimalist development environment for native Microsoft Windows applications.

IV&V

SWE-051

ModelSim

COTS

Mentor Graphics

FPGA compiler, simulator

GSFC

SWE-060

MPLAB

COTS

Microchip Technology

MPLAB X IDE is a software program that runs on a PC (Windows®, Mac OS®, Linux®) to develop applications for Microchip microcontrollers and digital signal controllers. It is called an Integrated Development Environment (IDE), because it provides a single integrated "environment" to develop code for embedded microcontrollers.

ARC

SWE-060

mygcc

Academic

Nick Volanski

An extensible version of gcc (the GNU C compiler), that can be customized by adding user-defined checks for detecting for example memory leaks, unreleased locks, or null pointer dereferences. User-defined checks are performed in addition to normal compilation, and may result in additional warning messages. Mygcc allows programmers to add their own checks that take into account syntax, control flow, and data flow information.

TBD

SWE-135

MySQL

COTS

MySQL

MySQL Enterprise Edition includes the most comprehensive set of advanced features, management tools and technical support to achieve the highest levels of MySQL scalability, security, reliability, and uptime. It reduces the risk, cost, and complexity in developing, deploying, and managing business-critical MySQL applications.

SSC

SWE-060

National Instruments Development Suite

COTS

National Instruments

NI Developer Suite offers substantial savings and provides regular software updates with the latest versions of your application software, including NI LabVIEW, LabWindows™/CVI, and Measurement Studio. NI Developer Suite is a modular product offering and, with it, you can select software components based on your application needs.

JSC

SWE-060

Nessus®

COTS

Tenable Network Security

Vulnerability Scanner for ground systems/networks.

IV&V

SWE-156

Network Miner

COTS

Netresec AB

Network packet capture and analysis for ground systems/networks.

IV&V

SWE-156

OmniPlan

COTS

The Omni Group

OmniPlan provides features like Gantt charts, schedules, summaries, milestones, and critical path highlighting

ARC

SWE-016, SWE-024, SWE-025, SWE-046

Orion

Academic

Bell Labs

Work in progress on an extension of Uno for C++, based on gcc.

TBD

OSComet

COTS

Peraton

The OS/COMET solution offers design, development, installation, and testing of complete turnkey TT&C systems, eliminating the need to develop new or reconfiguring and integrating existing systems.

KSC

SWE-060

OWASP Dependency Check

Open Source

Open Web Application Security Project (OWASP)

Software supply chain management where it scans for known vulnerabilities when using open source software (for ground systems/networks).

IV&V

SWE-156, SWE-158

PanelView©

COTS

Allen-Bradley

Bulletin 2711P PanelView™ Plus 6 Graphic Terminals let you monitor, control, and display application status information graphically. These terminals offer the open-platform flexibility of the Windows® CE operating system.

SSC

SWE-060

Perforce

COTS

Perforce

Helix Core securely manages all digital content—even large files—in a single repository, and it delivers files quickly to large, distributed teams.

JPL

SWE-080

PESA PERC2000™ software ©

COTS

PESA PERC2000™ software ©

PERC2000 is the latest system controller in the PESA family with 10/100 Ethernet capabilities for controlling routing switchers via an IP network.

SSC

SWE-060

PI660-Ready to Run DAQ

COTS

Pacific Instruments

PI660 is a turnkey application that runs on Microsoft Windows Operating Systems. Pre-test operations include: system setup, test definition & tracking, system & transducer calibration. Real-time features include: display, acquisition & data distribution to display clients. Post-test functions include: data replay, plotting and export to 3rd party formats for analysis. When facilities choose PI660, setup time is greatly reduced, allowing users to focus on what matters most: testing, not writing software.

SSC, MSFC

SWE-060

PMD

Open Source

PMD

PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation, and so forth. It supports Salesforce.com Apex, Java, JavaScript, XML, XSL.

KSC

SWE-087, SWE-135

Point Counting Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

This is a work progress tool. Search in SPAN for "GSFC_TL_20140515_Point_Counting_Tools"

GSFC

Topic 7.14

PolySpace

COTS

MathWorks

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

ARC, IV&V

SWE-087, SWE-135

Primavera

COTS

Oracle

Primavera Project Manager is a critical path method (CPM) scheduling tool that is as part of a Project Portfolio Management software package.

SWE-016, SWE-024, SWE-025, SWE-046

Problem Report Tool

Downloadable

GSFC

v1.0, Excel-based problem report management and metrics tool, GSFC

GSFC

SWE-069, SWE-080, SWE-082, SWE-090, SWE-091

Proficy Machine Edition

COTS

GE

Proficy Machine Edition automation software deploys HMI, motion and multi-target control and provides a common user interface, drag-and-drop editiing, and a set of development tools. By supporting Ethernet connectivity to global assets, Machine Edition allows users to view, troubleshoot, modify and validate applications regardless of location. It includes an intuitive, machine-level HMI for shop-floor devices, including PLCs, CNCs, motion controllers, and other machine level components.

KSC

SWE-060

PTC Integrity

COTS

PTC

PTC Integrity is a systems and software lifecycle management (SSLM) and application lifecycle management (ALM) platform used for Process automation and workflow management

IV&V, GSFC

SWE-049, SWE-051, SWE-052, SWE-053, SWE-059, SWE-072, SWE-085

PurifyPlus

COTS

UNICOM Systems, Inc.

Run-Time Analysis Tools for Application Reliability and Performance

LaRC,JPL

SWE-060, SWE-061, SWE-135

QAC

COTS

Phaedrus Systems

Proprietary language parsing engines to statically analyze your source code. They identify problems caused by language usage that's dangerous, overly complex, non-portable, or difficult to maintain. Plus, they include the basic building blocks for coding standard enforcement.

JPL

SWE-087, SWE-135

Qmetry

COTS

Qmetry

QMetry Test Manager has been designed to help QA teams get involved earlier in the development cycle to build a test plan while continuous testing of early development builds. QMetry Test Manager allows QA teams to organize and maintain test libraries, integrate it with the development environment, and quickly transition to automation.

JPL

SWE-065, SWE-066

Quartus Prime

COTS

Intel

The Quartus Prime software organizes and manages the elements of your design within a project. The project encapsulates information about your design hierarchy, libraries, constraints, and project settings.

LaRC

SWE-056

Rational Clearcase

COTS

IBM Rational

Provides controlled access to software assets, including code, requirements, design documents, models, test plans and test results. It features parallel development support, automated workspace management, baseline management, secure version management, reliable build auditing, and flexible access virtually anytime, anywhere.

IV&V, JSC

SWE-135

Rational Clearquest

COTS

IBM Rational

Change management software that helps improve developer productivity while accommodating the methodologies, processes and tools that best fit the project and the people on the team. This software provides tools and processes that allow you to maintain control of changes while catering to the diverse needs of the developer.

IV&V, JSC

SWE-051, SWE-088, SWE-135

Rational Requisite Pro

COTS

IBM

Rational RequisitePro helps project teams to manage their requirements, to write good use cases, to improve traceability, to strengthen collaboration, to reduce project rework, and to increase quality.

GSFC

SWE-050, SWE-056, SWE-060

Rational Rose Realtime

COTS

IBM

IBM Rational Rose Realtime is a Design & code development tool.

GSFC

SWE-050, SWE-056, SWE-060

Rational Suite for Technical Developers

COTS

IBM Rational

Rational Suite for Technical Developers provides complete cross-functional support through product integrations and workflow to optimize real-time and embedded development.

IV&V, GSFC

SWE-135

RC Electronics, DataMax-II

COTS

RC Electronics, DataMax-II

The DTX-9000 series of data acquisition systems provide state-of-the-art signal processing for a variety of environmental test sensors along with embedded wideband data recording in a compact chassis. A comprehensive user GUI running on the embedded Windows OS can be used locally with the addition of a user keyboard, mouse and video terminal, or run remotely via the integrated Ethernet connection.

SSC

SWE-060

RCAT

NASA Owned

NASA NSC

The NASA Root Cause Analysis Tool (RCAT) is designed to facilitate the analysis of anomalies, close calls, and accidents and the identification of appropriate corrective actions to prevent recurrence. The RCAT software provides a quick, easy, accurate, and repeatable method to perform and document root cause analysis, identify corrective actions, perform trending, and generate data usable in precursor analysis and probabilistic risk assessment.

IV&V

SWE-135

Redseal Networks

COTS

RedSeal, Inc

Models networks and does threat visualization for ground systems/networks.

IV&V

SWE-156

Requirements Experts

COTS

Requirements Experts

Tools and Templates for Developing Requirements. Others services and training also available.

SWE-072, SWE-052, SWE-059, SWE-064

Requirements Metrics Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

The requirements metrics spreadsheet is used to track both functionality (via the number of requirements representing the scope of the system) and requirements volatility (by tracking changes to requirements). It has three tabs for input data and calculations, and four tabs for graphs of said data. The inputs are project information that helps set up the spreadsheets, data allocating requirements to build and CSCI, and a timeline of requirements changes that tracks the evolving number of requirements and requirements changes by CSCI. Search in SPAN for "GSFC_TL_20070501_Req_Metrics_Tool"

GSFC

SWE-090, SWE-091

Requirements traceability tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

This tool, an Excel spreadsheet, provides bidirectional traceability between requirements, design, code, and test procedures. For a list of features, see the tools section of the GSFC PAL. Note: You must be on site at Goddard in order to access this file. Search in span for "GSFC_TL_20161114_Req_Trace_Tool"

GSFC

SWE-072, SWE-052, SWE-059, SWE-064

RequirementsLink

COTS

ENSER/Parametric Technology Corporation (PTC)

Windchill RequirementsLink. Requirements capture and tracking tool. Windchill RequirementsLink - an integral option for Windchill PDMLink - lets you manage product requirements, including change control and associating requirements with specific product structures and design content. With bi-directional traceability between customer needs, market requirements and the underlying technical requirements, you can ensure that customer and market requirements are satisfied by designs, and properly verified during development.

SSC

SWE-049, SWE-050, SWE-051, SWE-052, SWE-053, SWE-059, SWE-072, SWE-090, SWE-091, SWE-109

Requisite Pro

COTS

IBM Rational

Rational RequisitePro helps project teams to manage their requirements, to write good use cases, to improve traceability, to strengthen collaboration, to reduce project rework, and to increase quality. Version 7.1.0.

KSC

SWE-052, SWE-059, SWE-064, SWE-072,

Risk Management Tool

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

Provides a means for projects to specify and monitor risks. It supports up to 30 risks. Information tracked includes the statement of the risk, originator, date identified, probability, impact, timeframe, assignee, visibility, source, and mitigation steps. This Tool generates detail and summary reports. Search in SPAN for "GSFC_TL_20120905_Risk_Mgmt_Tool"

GSFC

SWE-090, SWE-091

Rockwell, RSLogix 5000, 500, 5™

COTS

Rockwell, RSLogix 5000, 500, 5™

Logix Designer application is a scalable application solution used to program and configure any of the Logix5000 family of controller products.

SSC, KSC

SWE-060

RSLinx Enterprise

COTS

Rockwell Automation

RSLinx® Enterprise is your preferred data server. It communicates via FactoryTalk® Live Data (our client/server communication protocol) with FactoryTalk products. FactoryTalk products and RSLinx Enterprise share FactoryTalk capabilities of security, diagnostics, audit, and redundancy.

KSC

SWE-060

RTI

COTS

RTI

RTI product suite for providing DDS middleware.

KSC

SWE-060

Ruby On Rails

Open Source

Ruby On Rails

Rails is a web application development framework written in the Ruby language. It is designed to make programming web applications easier by making assumptions about what every developer needs. Version 5.2.0

KSC

SWE-060

SAP Crystal Reports

COTS

SAP

Reporting tool helps you give colleagues, customers, and partners the information they need in the format of their choice. Integrate with popular solutions to add data visualizations, dashboards, and more.

SSC

SATERN

Training

NASA

SATERN is the Agency's primary tool for the managing of training of the employees. SATERN allows the scheduling, evaluation, and tracking of training associated with each employee.

All Centers

SWE-005, SWE-017, SWE-100, SWE-101, SWE-107, SWE-108

Saturn

Academic

Alex Aiken-Stanford University

The goal of the Saturn project is to statically and automatically verify properties of large (meaning multi-million line) software systems. The focus of the work is simultaneously achieving scalability, precision, and a straightforward way of expressing analyses that is easy to reason about. Version 1.2.

TBD

SWE-135

SCRUBJPL

JPL Owned

JPL

SCRUB is a code review tool that supports both large, team-based software development efforts (e.g., for mission software) as well as individual tasks.

JPL

SWE-087,

SeaHorn

Open Source

NASA Ames RSE Group

A fully automated analysis framework for LLVM-based languages. Takes an LLVM based program (e.g., C) input program and generates LLVM IR bitcode. Specifically, it performs the pre-processing and optimization of the bitcode for verification purposes. Takes as input the optimized LLVM bitcode and emits verification condition as Constrained Horn Clauses (CHC). The middle-end is in charge of selecting encoding of the VCs and the degree of precision. Takes CHC as input and outputs the result of the analysis. In principle, any verification engine that digests CHC clauses could be used to discharge the VCs. Currently, SeaHorn employs several SMT-based model checking engines based on PDR/IC3. Complementary, SeaHorn uses the abstract interpretation-based analyzer CRAB (A language-agnostic framework for abstract interpretation) for providing numerical invariants.

ARC

SWE-060

SEER SEM

COTS

Galorath

Software Evaluation and Estimation of Resources - Software Estimating Model. A cost estimating tool. NASA has an agency wide license. SEER for Software enables organizations to streamline project processes and improve project performance throughout the software development lifecycle.

NASA

SWE-015, Topic 7.6

Selenium

Open Source

N/A

"Selenium is set of different software tools each with a different approach to supporting test automation...The entire suite of tools results in a rich set of testing functions specifically geared to the needs of testing of web applications of all types. These operations are highly flexible, allowing many options for locating UI elements and comparing expected test results against actual application behavior. One of Selenium's key features is the support for executing one's tests on multiple browser platforms." (from Selenium website) Selenium supports interactive webpage testing. It allows you to write test scripts that work on dynamic running web applications, as well as being able to automate, and run the tests periodically on demand. It is also a useful automation or scripting tool. Selenium allows recording of complex web application configurations for replay and repeatability. (from Ames)

ARC

SWE-114

Semmle

COTS

Semmle

NASA JPL are using Semmle QL throughout the organization to enforce NASA’s coding standards, to find and eradicate critical software problems and their variants, as well as Semmle LGTM to effectively share best practices and knowledge across the team of NASA JPL’s flight software developers and to prevent variants of known problems from ever being introduced into mission software.

JPL

SWE-135

Serena Business Manager

COTS

Serena Software, Inc.

Solutions Business Manager is a web-based process & issue management solution used to support the Flight & Ground Software Division/ES50 software change request and software process improvement processes.

MSFC, ES50

SWE-080

Simics 4.4

COTS

Wind River

"Wind River Simics is a full system simulator used by software developers to simulate any target hardware from a single processor to large, complex, and connected electronic systems. This simulation enables the target software (board support package, firmware, real-time operating system, middleware, and application) to run on a virtual platform the same way it does on the physical hardware."

IV&V Centers ?, JSC

SWE-028, SWE-029

SIMS

NASA Owned

OCE/JPL

...

Database tool used to support the Agency wide Inventory for software classes A-E

All Centers

Simulink

COTS

MathWorks

Simulink® is an environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides an interactive graphical environment and a customizable set of block libraries that let you design, simulate, implement, and test a variety of time-varying systems, including communications, controls, signal processing, video processing, and image processing.

IV&V, Stennis, GSFC, ARC, GRC, JPL, MSFC, KSC, JSC

SWE-056, SWE-060, SWE-111, SWE-135

slack

...

Software Cost Analysis Tool (SCAT)

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

NASA

...

Software Costing Tool - A probabilistic version of COCOMO II. Search in span : JPL__TL_20130215_SCAT_v1.2.3e

NASA

SWE-015

Software Test Report Template

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

Glenn Research Center

...

Template. Search in SPAN for "GRC__TM_20110415_SW_Test_Report "

GRC

SWE-030

Software Verification and Validation Plan (SVVP) Template

template

Texas State University Computer Science Department

...

(based on IEEE standards) Link not valid.

SWE-030

Sonatype

COTS

Sonatype, Inc.

Software supply chain management where it scans for known vulnerabilities when using open source software (for ground systems/networks).

IV&V

SWE-156, SWE-158

Source Lines Counter (SLiC)

SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

JPL

...

Downloadable code counter. Search in SPAN for "SLIC" to access versions for Linux, PC, and Mac.

JPL

SWE-015

SpotCheck

Custom Software

KSC POC: Brian Bateman

...

Database/excel tool used to plan and track software activities. Reports allow % complete reporting, The Spot Check system provides software and spreadsheets to facilitate the collection of reporting status as well as the generation of unique and periodic status reports. The SpotCheck system attempts to address the following goals: *Reduce the effort associated with reporting status and issues. *Provide focus to the development team on priority work. *Capture all the development work being done. *Account for Time Away and Other Duties.

KSC

SWE-016, SWE-090

Staffing Tool

Downloadable (for Excel 2007 only) SPAN - Accessible to NASA users via SPAN tab in this Handbook. By Request - Non-NASA users, contact User for a copy of this tool.

GSFC

...

This tool is used to plan staffing resources and track actual and projected effort against the plan. This tool is also used to plan procurement costs and track actual expenditures against the plan. This is downloadable in Excel 2007 only. Search in SPAN for "GSFC_TL_20150126_Staffing_Tool".

GSFC

SWE-090, SWE-091

STK

COTS

Analytical Graphics, Inc.

Systems Tool Kit (STK) is the foundation of AGI’s product line. This highly capable, free modeling environment is used by thousands of engineers, mission analysts, and software developers to model complex systems—such as aircraft, missiles, satellites and their sensors—analyze mission simulations and visualize dynamic datasets in 4D (X,Y,Z,Time).

LaRC

SWE-060

StyleCop

Open Source

Open Source

StyleCop analyzes C+ source code to enforce a set of style and consistency rules. It can be run from inside of Visual Studio or integrated into an MSBuild project.

SWE-061

Subversion

Open Source

Apache

Subversion is an open source version control system. Founded in 2000 by CollabNet, Inc., the Subversion project and software have seen incredible success over the past decade. Subversion has enjoyed and continues to enjoy widespread adoption in both the open source arena and the corporate world.

LaRC, JPL, KSC, GRC, JSC

SWE-080

Together

COTS

Micro Focus

Together® is a modeling platform that gives enterprise teams leading-edge design capabilities which enable the visualization and continued maintenance of IT architectures.

IV&V

SWE-051, SWE-056, SWE-111

Trac

Issue tracking

Edgewall Software

Trac is an enhanced wiki and issue tracking system for software development projects

ARC

SWE-024, SWE-088

UML Version 2.4.1

Open Source

Object Management Group, Inc

Unified Modeling Language (UML) is a standardized general-purpose modeling language in the field of object-oriented software engineering. UML is used to specify, visualize, modify, construct and document the artifacts of an object-oriented software-intensive system under development.

SWE-057, SWE-058

Understand

COTS

Scientific Toolworks, Inc.

Understand is a static analysis tool for maintaining, measuring, & analyzing critical or large code bases.

IV&V

SWE-051, SWE-087

Unified Functional Testing Software

COTS

MicroFocus

Test automation to make manual testing more efficient and let developers and testers collaborate.

ARC

SWE-114

UNO

By Request - Contact User for a copy of this tool.

JPL

JPL  Static code analysis (C language)

JPL

SWE-135

Valgrind Memory Analyzer

Open Source

Valgrind

Valgrind is an instrumentation framework for building dynamic analysis tools. There are Valgrind tools that can automatically detect many memory management and threading bugs, and profile your programs in detail. You can also use Valgrind to build new tools.

LaRC, JPL, KSC

SWE-135

Vault

Academic

MicroSoft

An experimental system, in development at MicroSoft by Rob DeLine and Manuel Fahndrich. It is based on formal annotations placed in the code. (Link needs to be updated.)

TBD,

SWE-135, SWE-999,

VersionOne

COTS

CollabNet

VersionOne is an all-in-one enterprise agile solution for software organizations scaling agile. From discovery to delivery, Version One uniquely scales to any number of organizational levels and supports methodologies such as Scaled Agile Framework, Enterprise Scrum, Kanban, DAD, LeSS, or a Hybrid approach.

KSC

SWE-013

visual

...

Visual Studio

COTS

Microsoft

A rich, integrated development environment for creating stunning applications for Windows, Android, and iOS, as well as modern web applications and cloud services.

LaRC, KSC, GRC

SWE-060

Vmware

COTS

Vmware, Inc.

VMware suite of products to virtualize infrastructure for ground systems/networks. (Includes (vCloud, workstation, ESXi, vSphere.)

IV&V

SWE-156, SWE-158

VxWorks

COTS

Wind River

VxWorks is a flight operating system used on a lot of 582 missions; real-time operating system (RTOS).

GSFC, MSFC, LaRC, GRC, JSC

SWE-060

whitesource

...

Windchill FTA (formerly RELEX)

COTS

PTC

By helping you construct a graphical representation of the critical issue and its contributing events, Windchill FTA (formerly Relex Fault Tree) provides the analysis tools required to help mitigate its occurrence or impact. The powerful analytical capabilities of Windchill FTA quantify system risk and reliability, helping you make targeted decisions about design, maintenance, and controls to reduce the probability of failures.

IV&V, KSC

SWE-135

WindRiver Workbench 3.2

COTS

Wind River

"Based on the Eclipse platform, Wind River Workbench is a collection of tools that accelerates time-to-market for developers building devices with VxWorks and Wind River Linux. Through tight integration with the industry's leading RTOS and the leading device Linux distribution, Workbench offers the only end-to-end, open standards-based collection of tools for device software design, development, debugging, test, and management."

IV&V Centers?, ARC (no version noted)

SWE-028, SWE-062

WinMerge

Open Source

"WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle."

IV&V

SWE-051

Wireshark

Open Source

Wireshark Foundation

Wireshark is the world's foremost network protocol analyzer. It lets you see what's happening on your network at a microscopic level.

LaRC, KSC, IV&V

SWE-135, SWE-156

WonderWare™, Intouch GUI

COTS

WonderWare™, Intouch GUI

Stunning process graphics and out-of-the-box ready-to-use symbol library. Increase operator effectiveness with improved situational awareness. Make better decisions in real time. Increase operational and engineering productivity.

SWE-060

Zustre

Open Source

NASA Ames RSE Group

Zustre is a modular SMT-based PDR-style verification engine for Lustre programs. It is also an engine to generate assume-guarantee style contract.

ARC

SWE-060














  • No labels