TEST_ANNOTATION is an enumeration rather than a generic ENTITY.

ge-high-assurance · Apr 4, 2023 · d67a840 · d67a840
1 parent 76c46f8
commit d67a840
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/RACK-Ontology/ontology/TESTING.sadl b/RACK-Ontology/ontology/TESTING.sadl
@@ -83,6 +83,12 @@ TEST_EXECUTION
    testLog is a type of goal.
 
 TEST_ANNOTATION (note "provides additional information about a TEST_RESULT") is a type of ENTITY.
+   annotatedValue describes TEST_ANNOTATION with values of TEST_ANNOTATION_VALUE.
 	annotatedResult (note "identifies the TEST_RESULT being annotated") describes TEST_ANNOTATION with values of type TEST_RESULT.
-	testAnnotation (note "specifies the annotation information to add to the TEST_RESULT") describes TEST_ANNOTATION with values of type ENTITY.
 
+TEST_ANNOTATION_VALUE (note "values for a TEST_ANNOTATION value") is a type of THING
+   must be one of {IgnoredFailureOOB}.
+
+IgnoredFailureOOB is a TEST_ANNOTATION_VALUE.
+   identifier "IgnoredFailure"
+   title "Ignored Failure based on Out-Of-Band information".