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 name | Type | Copyright or Source | Link | Description | User | Affiliated 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 runtime errors and invalid concurrent behavior in safety-critical software written or generated 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® | 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 | |
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 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 | |
SA Checklist Tool | NASA Developed - .xlsm | SARP 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 | 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 | 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 | |
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 |