PD ISO/IEC TR 14143-3:2003

Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Verification
  4.1 General
  4.2 Constitute the verification team
      4.2.1 Determine the verification team's competencies
      4.2.2 Verification team responsibilities
  4.3 Assemble the verification inputs
      4.3.1 Prepare the verification input
      4.3.2 Gather the FSM Method documentation
      4.3.3 Compile the list of statements to be verified
      4.3.4 Create the list of test requests
      4.3.5 Plan the verification (Verification plan)
  4.4 Conduct the verification
  4.5 Compile the verification output
Annex A (normative) Presentation of test requests
      A.1 General requirements of test requests
      A.2 Description of test requests
          A.2.1 Tests relating to repeatability and reproducibility
                of an FSM Method
          A.2.2 Tests relating to accuracy of an FSM Method
          A.2.3 Tests relating to convertibility of an FSM Method
          A.2.4 Tests relating to discrimination threshold of an
                FSM Method
          A.2.5 Tests relating to applicability (of an FSM Method)
                to a functional domain
Annex B (normative) Verification methods
      B.1 Verification methods for assessment of repeatability
          and reproducibility of an FSM Method
          B.1.1 Repeatability
          B.1.2 Reproducibility
      B.2 Verification methods for assessment of accuracy of an
          FSM Method
          B.2.1 Verification for the accuracy of the application
                of an FSM Method
          B.2.2 Verification with respect to a theory as a reference
      B.3 Verification methods for convertibility of an FSM
          Method
      B.4 Verification methods for discrimination threshold of
          an FSM Method
      B.5 Verification methods for applicability (of an FSM
          Method) to Functional Domains
Annex C (informative) Example of a verification report
      C.1 Introduction
      C.2 Executive summary
      C.3 Purpose or scope and context of the verification sponsor
      C.4 List of statements
      C.5 List of test requests
      C.6 Verification plan
      C.7 Results
      C.8 Analysis of the test results
      C.9 Evaluation of the correctness of the statements
Bibliography

Ascertains a framework for verifying the statements of an FSM Method and/or for conducting tests requested by the verification sponsor, relative to the performance properties.

This part of ISO/IEC14143 establishes a framework for verifying the statements of an FSM Method and/or for conducting tests requested by the verification sponsor, relative to the following performance properties:

• repeatability and reproducibility;

• accuracy;

• convertibility;

• discrimination threshold;

• applicability to Functional Domains.

NOTE Statements and test requests relative to other performance properties are outside the scope of this document.

It aims to ensure that the output from the verification is objective, impartial, consistent and repeatable.

The verification report, produced as a result of applying this part of ISO/IEC14143, will enable the prospective user to select the FSM Method which best meets their needs.