bannerd

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 COTSSweetScape Software Professional text and hex editing with Binary Templates technology. Version 8.0.1LaRC none
Abaqus COTSDassault 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® COTSAccuRev® 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.2JPL, KSC SWE-080
Actel COTSMicrosemi Low-power field-programmable gate arrays (FPGAs), mixed-signal FPGAs, and programmable logic solutionsGSFC
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_TrackingGSFC SWE-090, SWE-091
AD hoc Workflows COTSComala 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 SourceNASA 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 DevelopedMississippi State University AFLR3 is a unstructured volume mesh generation utility. Used for mesh generation in FUN3D and Kestrel CFD simulations. ARC
AFT Arrow COTSApplied Flow Technologies Compressible Pipe Flow Analysis and Modeling SoftwareKSC
AFT Fathom COTSApplied Flow Technology Incompressible Pipe Flow Analysis and Modeling SoftwareKSC
AFT Impulse COTSApplied Flow Technology Waterhammer and Surge AnalysisKSC
Agency Process Asset Library PAL Process Asset LibraryNASA 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 COTSAldec, Inc. provides software and hardware used in creation and verification of digital designs targeting FPGA and ASIC technologies GSFC
Altium® COTSAltium 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 SourceApache 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 ReleasedJPL SWE-060
AppScan® COTSIBM® 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 DevelopedGSFC 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 COTSAbsInt 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
Bamboo® COTSAtlassian 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 COTSScooter 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® COTSAtlassian 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 COTSBlack 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 reportedIV&V SWE-156, SWE-158
Bugzilla Open SourceBugzilla 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 COTSPortSwigger Ltd. Web application penetration testing for ground systems/networks.IV&V SWE-156
C-Kit AcademicBell 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® COTSMicro 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 AcademicDomagoj 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 NASANASA - 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 COTSMicroFocus 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 SourceSourceForge 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 AcademicLLVM 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 FreewareUSC 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 SourceNASA 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 COTSAthTek 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 SourceOpen 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.12LaRC SWE-060
CodeHawk C Analyzer COTSKestrel 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 COTSAdaCore CodePeer is an Ada source code analyzer that detects run-time and logic errors. Version 18.1IV&V SWE-135
CodeSonar® COTSGrammatech 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® COTSGrammatech A code browser that understands pointers, indirect function calls, and whole-program effects.IV&V SWE-135
CollabNet TeamForge COTSCollabNet 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 COTSSmart 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 SourceOpen 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 softwareAtlassian "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 SourceBall 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™ COTSSynopsys Static code analysisJPL, IV&V SWE-060, SWE-061, SWE-087, SWE-091, SWE-135
Cppcheck Open SourceSourceForge 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.84KSC SWE-135
Crucible® COTSAtlassian Find bugs and improve code quality through peer code review.LaRC, GRC, IV&V SWE-088
Cruise Control™ Open SourceCruise Control™ CruiseControl™ is both a continuous integration tool and an extensible framework for creating a custom continuous build process. Version 2.8.4ARC SWE-135, SWE-136
CxxTest Open SourceSourceForge 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.4KSC SWE-062
Dimensions® RM COTSMicroFocus 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® COTSIBM® 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 SourceOpen 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 SourceEclipse 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 COTSXilinex 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 COTSSparx 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 COTSopentext 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 COTSRockwell 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 COTSRockwell 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 COTSRockwell 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 COTSAEC 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 SourceUniversity 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 COTSAtlassian 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 COTSGimpel 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 COTSMicroFocus 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 COTSMicroFocus 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 COTSFORTRAN The Intel® Fortran Compiler is the industry leader for building high performance applications. SSC SWE-060
FxCop Open SourceMicroSoft 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 Sourcegnu 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 COTSgensym 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 SourceGitHub 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 COTSGitLab 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 COTSGeneral 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
GRC eRoom Inspection Tool DownloadableGRC 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 SourceSourceforge 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 COTSCA 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 COTSOracle 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 COTSIBM 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 COTSIBM 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 GovernmentNASA 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 DownloadableFraunhofer 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 COTSIntel 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 Data Language (IDL) COTSHarris 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 SourceOracle 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 SourceJenkins 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 COTSAtlassian 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 COTSej-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 COTSZeroturnaround 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 SourceKali Penetration testing tool for ground systems/networks.IV&V SWE-156
KDDMS Windchill NASANASA - 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 COTSRogue 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 COTSNational 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_v13LaRC SWE-088, SWE-089, Topic 7.10
LDRA COTSLiverpool 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 COTSGimpel 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 COTSCleanscape 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 SourceThe Linux Foundation Operating SystemGRC SWE-060
MagicDraw COTSNo 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 softwarePOC: 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 COTSPTC PTC Mathcad is engineering math software that allows you to perform, analyze, and share your most vital calculations. LaRC SWE-060
Mathematica COTSWolfram Mathematica provides a single integrated, continually expanding system that covers the breadth and depth of technical computing.LaRC SWE-060
Matlab COTSMathworks 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 COTSRapid7 Penetration testing for ground systems/networks.IV&V SWE-156, SWE-158
Microsoft SQL Server COTSMicrosoft® 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 COTSMicrosoft Visual C++™ C++ compilerSSC SWE-060
Microsoft Visual C™ IDE COTSMicrosoft 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 errorsSSC SWE-060SWE-060
Microsoft .NET Framework Open SourceMicrosoft® 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 SourceMinGW MinGW, a contraction of "Minimalist GNU for Windows", is a minimalist development environment for native Microsoft Windows applications.IV&V SWE-051
ModelSim COTSMentor Graphics FPGA compiler, simulatorGSFC SWE-060
MPLAB COTSMicrochip 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 AcademicNick 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 COTSMySQL 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 COTSNational 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® COTSTenable Network Security Vulnerability Scanner for ground systems/networks.IV&V SWE-156
Network Miner COTSNetresec AB Network packet capture and analysis for ground systems/networks.IV&V SWE-156
OmniPlan COTSThe Omni Group OmniPlan provides features like Gantt charts, schedules, summaries, milestones, and critical path highlightingARC SWE-016, SWE-024, SWE-025, SWE-046
Orion AcademicBell Labs Work in progress on an extension of Uno for C++, based on gcc.TBD
OSComet COTSPeraton 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 SourceOpen 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© COTSAllen-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 COTSPerforce 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 © COTSPESA 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 COTSPacific 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 SourcePMD 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 COTSMathWorks 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 COTSOracle 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 DownloadableGSFC v1.0, Excel-based problem report management and metrics tool, GSFCGSFC SWE-069, SWE-080, SWE-082, SWE-090, SWE-091
Proficy Machine Edition COTSGE 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 COTSPTC 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 COTSUNICOM Systems, Inc. Run-Time Analysis Tools for Application Reliability and PerformanceLaRC,JPL SWE-060, SWE-061, SWE-135
QAC COTSPhaedrus 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 COTSQmetry 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 COTSIntel 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 COTSIBM 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 COTSIBM 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 COTSIBM 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 COTSIBM IBM Rational Rose Realtime is a Design & code development tool. GSFC SWE-050, SWE-056, SWE-060
Rational Suite for Technical Developers COTSIBM 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 COTSRC 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 OwnedNASA 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 COTSRedSeal, Inc Models networks and does threat visualization for ground systems/networks.IV&V SWE-156
Requirements Experts COTSRequirements 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 COTSENSER/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 COTSIBM 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™ COTSRockwell, 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 COTSRockwell 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 COTSRTI RTI product suite for providing DDS middleware.KSC SWE-060
Ruby On Rails Open SourceRuby 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.0KSC SWE-060
SA Checklist Tool NASA Developed - .xlsmSARP Project (IV&V) Checklist tool that gives SA analysts the ability to tailor the software assurance and software safety tasks in NASA-STD-8739.8 and generate a tailored checklist for the required for a project’s software classification and safety-criticality.IV&V, Software Assurance
SAP Crystal Reports COTSSAP 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 TrainingNASA 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 AcademicAlex 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 OwnedJPL 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 SourceNASA 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 COTSGalorath 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 SourceN/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 COTSSemmle 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 COTSSerena 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 COTSWind 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
Simulink COTSMathWorks 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.3eNASA 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 templateTexas State University Computer Science Department
...
(based on IEEE standards) Link not valid.

SWE-030
Sonatype COTSSonatype, 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 SoftwareKSC 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 COTSAnalytical 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 SourceOpen 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 SourceApache 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 COTSMicro 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 trackingEdgewall Software Trac is an enhanced wiki and issue tracking system for software development projectsARC SWE-024, SWE-088
UML Version 2.4.1 Open SourceObject 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 COTSScientific 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 COTSMicroFocus 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 SourceValgrind 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 AcademicMicroSoft 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 COTSCollabNet 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 COTSMicrosoft 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 COTSVmware, Inc. VMware suite of products to virtualize infrastructure for ground systems/networks. (Includes (vCloud, workstation, ESXi, vSphere.)IV&V SWE-156, SWE-158
VxWorks COTSWind 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) COTSPTC 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 COTSWind 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 SourceWireshark 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 COTSWonderWare™, 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 SourceNASA 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