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.
Tool qualification is mandated for organizations developing software for safety-critical applications, 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.
Parasoft supports DO-178B/C and DO330 conformant qualification process with the automated tool qualification kit, for all of its software levels and Parasoft C/C++test is TÜV SÜD certified for standards ISO 26262 (automotive), EN 50128 (railway), and IEC 61508 (functional safety) for all ASIL and SIL levels. No additional tool qualification is needed as the certificate provided is more than sufficient, nevertheless the option to perform a qualification by validation, using Parasoft’s automated tool qualification kit is always available.
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 four parts:
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:
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:
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:
Spend less time on tool qualification and more time developing new features.
For over 30 years, Parasoft has been helping the leading Aerospace, Military, and DoD firms delivery rigorous safety-critical and security-critical systems. By providing development and functional testing teams with best-in-breed technologies to automate and shift left their testing strategies, Parasoft customers are able to meet and exceed their Agile and DevOps delivery goals.
Learn how we can help you improve your software quality. Let’s have a conversation.Contact us today