Tool Qualification Kits

Tool Qualifications Kits

Reduce the overhead associated with tool qualification for safety-critical industries

Tool Qualification is a mandated process for safety-critical software development. Parasoft’s Qualification Kits for Parasoft C/C++test automate the process of creating the supporting documentation required for tool qualification of static analysis, unit testing, and coverage requirements, reducing both the potential for human error and time taken to perform tool qualification.

Address the Challenges of Tool Qualification

Automate the process of creating the documentation required for tool qualification

Automatically generate compliance documentation

Parasoft automates the creation of documentation required for qualifying Parasoft C/C++test for use in safety-critical industries by walking the user through an intuitive workflow and generating documentation that's critical for demonstrating tool qualification. 

Reduce the scope of what’s needed to qualify the tool

Reduce the scope of what’s needed to qualify the tool

The first step in Parasoft’s efficient workflow is selecting the specific use-cases and capabilities of Parasoft C/C++test being used in the software project, to reduce the overall scope of what needs to be qualified and streamline the qualification process.

Automatically execute tests

Automatically execute tests

Although the process of tool qualification cannot be 100% automated, the unique workflow of Parasoft’s Qualification Kits make it as painless as possible, reducing manual testing efforts and executing automated tests for selected use-cases.

Parasoft's Tool Qualification Kits

Tool qualification is mandated for organizations developing software for safety-critical applications, compliant with standards such as DO178B/C (aerospace), ISO 26262 (automotive), EN-50128 (railway), and IEC 61508 (functional safety). These standards require that organizations provide evidence that the software tools used to develop their code is suitable for use in the safety-critical application that it demands.

Approving the tool for use is normally a documentation-heavy formal process, that requires time-consuming manual completion that is prone to human error. To solve this problem, Parasoft’s Tool Qualification Kits for Parasoft C/C++test include an automated tool wizard that automates the qualification process itself, guiding the organization through the qualification process and significantly reducing the tedious, error-prone manual effort of qualification. Read more below.

Parasoft's Tool Qualification Kit leverages automation to guide users through the following workflow:

  1. Specifying the use-cases and capabilities to be used on the project, reducing the scope of capabilities required for qualification.
  2. Quickly mapping known issues in the tool you’re qualifying to the features of the tool you’re using in development and defining appropriate mitigation actions.
  3. Planning and capturing the results of manual testing efforts, simplifying the management of manual efforts.
  4. Executing automated tests, eliminating time and human error associated with capturing automated test results.
  5. Bringing all the data together and generating the critical documents required to demonstrate tool qualification.

Yes! The Tool Classification Report determines the qualification needed, and presents the maximum safety level classification for Parasoft C/C++test based on the use cases selected by the user.

The content of this document consists of 4 parts:

  • General description of the evaluation method
  • Definition of the tool chain being evaluated
  • Determination of tool impact 
  • Determination of tool classification level

Yes! The Tool Qualification Plan document describes how Parasoft C/C++test is going to be qualified for use in a safety-relevant development project.

The applied qualification method is based on “tool validation,” and this document contains the description of the qualification processes – the basis for the standard compliance checks that have been performed and documented in separate documents.

Validation goals are derived from requirements of safety standards and from the critical potential tool errors identified for the tool’s use cases in the Tool Classification Report (TCR). The aim of tool validation is to provide sufficient evidence for the absence of these critical potential errors in the use cases of the tool.

Yes! The Tool Qualification Report document demonstrates that C/C++test has been qualified according to the Tool Qualification Plan (TQP).

Once Parasoft C/C++test has been qualified for use in a safety-relevant development project by the user, it can be used according to the Tool Safety Manual.

This document describes the qualification results:

  • The tool definition as it has been used for qualification
  • The applied qualification kit
  • The executed test cases and their results
  • The analysis of test cases with result not equal to PASS
  • The executed qualification process and the relevant artifacts

Yes! This document describes how Parasoft C/C++test should be used safely, i.e. compliant to safety standards (DO 178B/C, EN 50128, IEC 61508, ISO 26262) in safety-critical projects.

The safety of tools is achieved within three steps:

  • Classification by analyzing the potential errors of the tools and used features.
  • Eventual qualification, to exclude some potential errors.
  • Safe usage of Parasoft C/C++test according to this tool safety manual, including known bug update checking.

In addition to the automated report templates (Tool Classification Report, Tool Qualification Plan, Tool Qualification Report, and Tool Safety Manual), the Parasoft Qualification Kit includes:

  • User manual and Getting Started Guide for the Qualification Kit
  • Documentation of V&V process for the Qualification Kit
  • Test Automation Unit: the module of the Qualification Kit responsible for automating the process of executing the Validation Test Cases
  • Validation Test Cases: The collection of C/C++ code fragments with additional configuration and expected results definition, for validating features of Parasoft C/C++test (Tool Operational Requirements).
Tool Qualification Kit

Benefit from the Parasoft Approach

Spend less time on tool qualification and more time developing new features.

Want to learn more?

Learn more about how Parasoft can help you efficiently and successfully reach compliance.

Our software must comply with SIL level 4 - the highest level. This is the primary reason that we have chosen Parasoft C/C++test, which is also SIL level 4 certified, to test our software. It is extremely simple to use: setup is very fast, and it produces test reports of high quality.

- Thalès Communications

Why Parasoft?

With Parasoft's automated Qualification Kit, it's easier for you to comply with Tool Qualification requirements, automatically generating the documentation you need to prove compliance and saving valuable developer time that could be spent elsewhere.