Section 11.5 Alternate Methods

11.5  Alternative Methods for Tool Qualification

Applicants may decide to use an alternative method for tool qualification. Potential alternative methods include but are not limited to exhaustive input testing and formal methods, and dissimilar tools (for example, two or more tools developed separately that satisfy the same operational requirements).

An alternative method should be considered in the context of the overall software tool life cycle process. The effort for obtaining certification credit of an alternative method is dependent on the software tool qualificationlevel and the impact of the alternative method on the  software tool life cycle processes. Activities for using an alternative method include:

a. The tool plans should describe the application of the alternative method to the tool life cycle processes and outputs. The alternative method should then provide evidence of correctness of implementation of the method.

b. The applicant should specify in the PSAC or TQP, and obtain agreement from the certification authority for:

  1. The impact of the proposed alternative method on the software tool life cycle processes.
  2. The impact of the proposed alternative method on the software tool life cycle data.
  3. The rationale (including description, justification, and substantiation) for use of the alternative method which shows how the objectives of this document are satisfied.