Tool Qualification

Use our automated toolkits to verify Parasoft C/C++test

Automate Tool Qualification to Reduce Certification Time and Effort

Tool Qualification is a mandated process for organizations developing software in safety critical industries. Parasoft's Qualification Kits for 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.

Parasoft's Qualification Kits verify Parasoft C/C++test for DO 178B/C, EN 50128, IEC 61508, and ISO 26262.

How does it work?

Tool qualification is mandated for organizations developing software for safety-critical applications that need to be compliant with standards such as DO 178B/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, however, is a documentation-heavy, formal process, requires manual interpretation and completion, and as such, is time-consuming and prone to human error. To solve this problem, Parasoft's Qualification Kits for C/C++test provide 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.

Spend time certifying your software instead of spending time verifying ours.

Automate the documentation process for tool qualification

Automate the creation of documentation required for qualification of C/C++test for use in safety-critical industries. With Parasoft's Qualification Kits, you are guided through an intuitive workflow and an automated software wizard generates the documentation you need to demonstrate qualification of the tool.

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

With Parasoft's automated tool wizard, you can select the specific use-cases and capabilities that are relevant to your project, and effectively reduce the scope of what needs to be qualified, streamlining the qualification process.

Execute automated tests from within the qualification wizard

The workflow of Parasoft's Qualification Kits make it as painless as possible to achieve tool verification, by both managing manual testing efforts and performing execution of automated tests for the selected use-cases.

All of the benefits of a unified tool suite.

Because Parasoft C/C++test provides static analysis, unit testing, and coverage analysis capabilities, you only have to spend time on tool qualification one time to verify your tooling for all of its features. And you don't need to be an expert in the safety standard to use Parasoft's Qualification Kits because they automatically create the specific reports that are required, with correct formatting and terminology. If your application spans multiple industries, it's easy to generate the reports necessary for multiple standards.

What's Included in the Qualification Kits:

Details:

Report Templates

Templates for the documents generated during the qualification process

Tool Classification Report (TCR)

This document determines the qualification needed, and presents the maximum safety level classification for C/C++test based on the use cases selected by the user.

The document includes four parts:

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

Tool Qualification Plan (TQP)

This document describes how 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.

The 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.

Tool Qualification Report (TQR)

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

Once 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

Tool Safety Manual (TSM)

This document describes how 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 C/C++test according to this tool safety manual including known bug update checking

Manual

User manual for the Qualification Kit

First Steps

Qualification kit Getting Started guide.

V&V Report

Documentation of V&V process for the Qualification Kit.

Tests Automation Unit (TAU)

Module of the qualification kit responsible for automating the process of validation test cases execution.

Validation Test Cases

Collection of C/C++ code fragments with additional configuration and expected results definition, for validating features of C++test (Tool Operational Requirements).

Want to know more?

Find out how Parasoft C/C++test can help you and your business.

See it in action.