Fold TEST_SCENARIO into TEST_RECORD.

ge-high-assurance · Apr 4, 2023 · 76c46f8 · 76c46f8
1 parent 2d417be
commit 76c46f8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/RACK-Ontology/ontology/TESTING.sadl b/RACK-Ontology/ontology/TESTING.sadl
@@ -63,10 +63,7 @@ TEST_LOG (note "A TEST_LOG is the TEST_RESULTs from executing a TEST_PROCEDURE")
 TEST_RECORD (note "a TEST_RECORD identifies the configuration under which a set of tests was run") is a type of ENTITY.
 	testRecordProcedure (note "the TEST_PROCEDURE for which this TEST_RECORD was created") describes TEST_RECORD with a single value of type TEST_PROCEDURE.
 	testRecordSteps (note "the initial TEST_STEPs performed") describes TEST_RECORD with values of type TEST_STEP.
-	testRecordScenario (note "the TEST_SCENARIO for which this TEST_RECORD was generated") describes TEST_RECORD with a single value of type TEST_SCENARIO.
 	testConfiguration (note "the configuration information for this TEST_EXECUTION") describes TEST_RECORD with values of type ENTITY.
-
-TEST_SCENARIO (note "is the target that the TEST_EXECUTION was run against and for which the TEST_RECORD was generated") is a type of ENTITY.
 	targetPackage (note "is the target FILE tested") describes TEST_SCENARIO with values of type FILE.
 	targetVersion (note "is the version of the targetPackage tested") describes TEST_SCENARIO with a single value of type string.
 	testPackage (note "is the test FILE executed") describes TEST_SCENARIO with values of type FILE.