ГОСТ Р 55346—2012
(* The lower Jimit specifies the minimum acceptable value of the Property_value that is constrained by the Value range.
*)
lowerJim *: NUMBER;
(* The upperjimit specifies the maximum acceptable value of the Property_value that is constrained by the Value
range. *)
upperjimit: NUMBER;
END_ENTITY:
(*A Value_with_unit is either a single numerical measure, or a range of numerical measures with upper, lower, or upper
and lowerbounds. <note>Each value_with_unit is either a Valuejimit, a Value_range. or a Nominal_value.</note> *)
ENTITY value_with_unit
ABSTRACT SUPERTYPE OF (ONEOF(nominal_value. valuejimit. value_range)):
(* The significant_digi!s specifies the number of significant digits for a particular Value_with_unit. •)
significant_digits ; OPTIONAL INTEGER;
(* The unit_component specifies the measurement unit valid for the Value_with_uniL *)
unit_component; OPTIONAL unit;
END_ENTITY;
(*A Verification_reportJor_yerification_specification is the mechanism for relating the result of a Verification_specifica-
tion_al!ocation to a Verification_result. The result of the verification activity is captured by the verification_report_entry
attribute. *)
ENTITY verification_reportJor_verification_specification;
(* The description specifies additional information on the Verification_reportJor_V6rification_specification. *)
description ; text_select;
(* The specific_verification_element specifies the Verification_specification_allocation which has been used for verifica
tion. *)
specific_verification_element;verification_specification_allocation;
(* The verification_report_entry sspecifies a description of the result of the verification. *)
verification_report_entry; verification_result;
END_ENTITY;
(’ A Verification_result is the verdict of a verification activity. *)
ENTITY verification_result;
(* The description the overall verdict of a verification activity. Results from the application of individual verification_speci-
fication object to elements under verification is captured by the entity verification_reportJor_verification_specification.
The description specifies additional information on the Verifrcation_resutt. *)
description: text_select;
(* The id specifies the identifier of the Verification_result. *)
id ;elementjdentifier.
(* The name specifies the word, or set of words, that are used to refer to the Verification_result. ’)
name: label:
(* The system_under_verification specifies the Verification_specification_system_view_relationship that the Verifica-
tion_result is valid for. *)
system_under_verification ; verification_specification_system_viewjelationship;
UNIQUE
UR1; id. system_under_verification:
END_ENTITY:
(’ A Verification_specification is a specification of how a system, functionality or physical element of a system shall be
verified. <note number=T>A Verification_specification uses the requirement structure to define how a system shall be
tested. The rationale for this is that the requirements structure does allow representation not limited to text. Via the Mod-
el_defined_requirement_definition entity it is possible to specify that models or external files shall be used in the verifica
tion activity.</note> <note number=“2">The Verification_specification does not imply traditional testing. It may be formal
verification, analysis or inspection of a system or any other method.</note> *)
ENTITY verification_specification:
(* The definition specifies the Requirement_defmition that defines what shall be tested. *)
definition : requirement occurence;
(* The description specifies additional information about the Verification specification. *)
description: OPTIONAL text_select;
(* The id specifies the identifier of the Verificatron_specification. *)
id: element identifier.
388