ISO/TS 10303-1488:2018-11 Verification and validation


Application module: Verification and validation	ISO/TS 10303-1488:2018-11(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARMs
4.2 ARM type definitions
4.3 ARM entity definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing
5.2.1 MIM type definitions
5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N6849 - ISO/TS 10303-1488 Verification and validation - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N6601
*)



SCHEMA Verification_and_validation_arm;


         USE FROM
         Requirement_assignment_arm;
            -- ISO/TS 10303-1233


         USE FROM
         State_observed_arm;
            -- ISO/TS 10303-1256


TYPE evidence_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT

            (Validation, 
    Verification);

         END_TYPE;


TYPE evidence_support_item =
         
         
         SELECT

            (Validation, 
    Verification);

         END_TYPE;


TYPE v_and_v_state =
         
         
         SELECT
         BASED_ON
         state_of_item
         WITH 
         

            (evidence_support_item);

         END_TYPE;


TYPE validation_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT

            (Product_version);

         END_TYPE;


ENTITY Evidence;

           supports : evidence_support_item;

           items : SET[1:?] OF evidence_item;

         
         END_ENTITY;


ENTITY Validation;

           validates : validation_item;
INVERSE

           validated_by : SET[0:?] OF Evidence FOR supports;

         
         END_ENTITY;


ENTITY Verification;

           verifies : Requirement_satisfied_by;
INVERSE

           verified_by : SET[0:?] OF Evidence FOR supports;

         
         END_ENTITY;


ENTITY Verification_relationship;

           relating : Verification;

           related : Verification;

         
         END_ENTITY;



         END_SCHEMA;  -- Verification_and_validation_arm