validation: Fix Doxygen groups of model tests

35 files changed, 219 insertions, 49 deletions

diff --git a/testsuites/validation/tc-event-mgr-model.c b/testsuites/validation/tc-event-mgr-model.c
index def21c612c..22a4933149 100644
--- a/testsuites/validation/tc-event-mgr-model.c
+++ b/testsuites/validation/tc-event-mgr-model.c
@@ -3,8 +3,7 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsEventValSendReceive
- * @ingroup RTEMSTestCaseRtemsEventValSystemSendReceive
+ * @ingroup TestsuitesModel0
  */
 
 /*
@@ -59,22 +58,6 @@
 
 #include <rtems/test.h>
 
-/**
- * @defgroup RTEMSTestCaseRtemsEventValSendReceive \
- *   spec:/rtems/event/val/send-receive
- *
- * @ingroup RTEMSTestSuiteTestsuitesValidation0
- *
- * @brief Tests the rtems_event_send and rtems_event_receive directives.
- *
- * This test case performs the following actions:
- *
- * - Run the event send and receive tests for the application event set defined
- *   by /rtems/event/req/send-receive.
- *
- * @{
- */
-
 static rtems_status_code EventSend(
   rtems_id        id,
   rtems_event_set event_in
@@ -203,25 +186,6 @@ T_TEST_CASE( RtemsModelEventsMgr8 )
   );
 }
 
-/** @} */
-
-/**
- * @defgroup RTEMSTestCaseRtemsEventValSystemSendReceive \
- *   spec:/rtems/event/val/system-send-receive
- *
- * @ingroup RTEMSTestSuiteTestsuitesValidation0
- *
- * @brief Tests the rtems_event_system_send and rtems_event_system_receive
- *   directives.
- *
- * This test case performs the following actions:
- *
- * - Run the event send and receive tests for the system event set defined by
- *   /rtems/event/req/send-receive.
- *
- * @{
- */
-
 static rtems_status_code EventSystemSend(
   rtems_id        id,
   rtems_event_set event_in
@@ -354,5 +318,3 @@ T_TEST_CASE( RtemsModelSystemEventsMgr8 )
     STATES_WAITING_FOR_SYSTEM_EVENT
   );
 }
-
-/** @} */
diff --git a/testsuites/validation/tr-chains-api-model-0.c b/testsuites/validation/tr-chains-api-model-0.c
index 4b91a04637..fac9a20de1 100644
--- a/testsuites/validation/tr-chains-api-model-0.c
+++ b/testsuites/validation/tr-chains-api-model-0.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-1.c b/testsuites/validation/tr-chains-api-model-1.c
index b3cf2945bd..30255f191c 100644
--- a/testsuites/validation/tr-chains-api-model-1.c
+++ b/testsuites/validation/tr-chains-api-model-1.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-10.c b/testsuites/validation/tr-chains-api-model-10.c
index 06743dabfe..fbf31c296c 100644
--- a/testsuites/validation/tr-chains-api-model-10.c
+++ b/testsuites/validation/tr-chains-api-model-10.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-11.c b/testsuites/validation/tr-chains-api-model-11.c
index 37d28daafa..2e1f9cdf27 100644
--- a/testsuites/validation/tr-chains-api-model-11.c
+++ b/testsuites/validation/tr-chains-api-model-11.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-12.c b/testsuites/validation/tr-chains-api-model-12.c
index d859955235..877cc37b92 100644
--- a/testsuites/validation/tr-chains-api-model-12.c
+++ b/testsuites/validation/tr-chains-api-model-12.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-13.c b/testsuites/validation/tr-chains-api-model-13.c
index 325baac2cd..dd8c881c10 100644
--- a/testsuites/validation/tr-chains-api-model-13.c
+++ b/testsuites/validation/tr-chains-api-model-13.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-14.c b/testsuites/validation/tr-chains-api-model-14.c
index 51d20620a1..e616775ce0 100644
--- a/testsuites/validation/tr-chains-api-model-14.c
+++ b/testsuites/validation/tr-chains-api-model-14.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-15.c b/testsuites/validation/tr-chains-api-model-15.c
index 1ca6cd80d7..affe0ac2e6 100644
--- a/testsuites/validation/tr-chains-api-model-15.c
+++ b/testsuites/validation/tr-chains-api-model-15.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-16.c b/testsuites/validation/tr-chains-api-model-16.c
index a6158a884e..6b75c62b6d 100644
--- a/testsuites/validation/tr-chains-api-model-16.c
+++ b/testsuites/validation/tr-chains-api-model-16.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-17.c b/testsuites/validation/tr-chains-api-model-17.c
index bed84d8051..9b83d11f35 100644
--- a/testsuites/validation/tr-chains-api-model-17.c
+++ b/testsuites/validation/tr-chains-api-model-17.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-18.c b/testsuites/validation/tr-chains-api-model-18.c
index 1d9c6cf0b4..5e013e75c6 100644
--- a/testsuites/validation/tr-chains-api-model-18.c
+++ b/testsuites/validation/tr-chains-api-model-18.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-19.c b/testsuites/validation/tr-chains-api-model-19.c
index 1e260041f1..615e8b4c77 100644
--- a/testsuites/validation/tr-chains-api-model-19.c
+++ b/testsuites/validation/tr-chains-api-model-19.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-2.c b/testsuites/validation/tr-chains-api-model-2.c
index ce2eec0edd..8928857876 100644
--- a/testsuites/validation/tr-chains-api-model-2.c
+++ b/testsuites/validation/tr-chains-api-model-2.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-20.c b/testsuites/validation/tr-chains-api-model-20.c
index 8c290026d6..a523c6c8e9 100644
--- a/testsuites/validation/tr-chains-api-model-20.c
+++ b/testsuites/validation/tr-chains-api-model-20.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-3.c b/testsuites/validation/tr-chains-api-model-3.c
index ed87860371..26ca19067d 100644
--- a/testsuites/validation/tr-chains-api-model-3.c
+++ b/testsuites/validation/tr-chains-api-model-3.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-4.c b/testsuites/validation/tr-chains-api-model-4.c
index 4a01ecf53c..e03d3ad9c1 100644
--- a/testsuites/validation/tr-chains-api-model-4.c
+++ b/testsuites/validation/tr-chains-api-model-4.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-5.c b/testsuites/validation/tr-chains-api-model-5.c
index b54a84a9ef..a70f18f9a3 100644
--- a/testsuites/validation/tr-chains-api-model-5.c
+++ b/testsuites/validation/tr-chains-api-model-5.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-6.c b/testsuites/validation/tr-chains-api-model-6.c
index 94a7a0f632..b452c555aa 100644
--- a/testsuites/validation/tr-chains-api-model-6.c
+++ b/testsuites/validation/tr-chains-api-model-6.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-7.c b/testsuites/validation/tr-chains-api-model-7.c
index dcae640049..6812f02fe9 100644
--- a/testsuites/validation/tr-chains-api-model-7.c
+++ b/testsuites/validation/tr-chains-api-model-7.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-8.c b/testsuites/validation/tr-chains-api-model-8.c
index eab1761120..4455b80247 100644
--- a/testsuites/validation/tr-chains-api-model-8.c
+++ b/testsuites/validation/tr-chains-api-model-8.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model-9.c b/testsuites/validation/tr-chains-api-model-9.c
index 918b8fc1dd..c8c38215ff 100644
--- a/testsuites/validation/tr-chains-api-model-9.c
+++ b/testsuites/validation/tr-chains-api-model-9.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model.c b/testsuites/validation/tr-chains-api-model.c
index c804ca0714..f362083833 100644
--- a/testsuites/validation/tr-chains-api-model.c
+++ b/testsuites/validation/tr-chains-api-model.c
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-chains-api-model.h b/testsuites/validation/tr-chains-api-model.h
index bcf81e8963..38610df68d 100644
--- a/testsuites/validation/tr-chains-api-model.h
+++ b/testsuites/validation/tr-chains-api-model.h
@@ -1,3 +1,11 @@
+/**
+ * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
+ */
+
 /******************************************************************************
  * FV2-201
  *
diff --git a/testsuites/validation/tr-event-mgr-model-0.c b/testsuites/validation/tr-event-mgr-model-0.c
index 0aef758ab2..2aa05dfd2b 100644
--- a/testsuites/validation/tr-event-mgr-model-0.c
+++ b/testsuites/validation/tr-event-mgr-model-0.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-1.c b/testsuites/validation/tr-event-mgr-model-1.c
index d858005398..c083a20d4d 100644
--- a/testsuites/validation/tr-event-mgr-model-1.c
+++ b/testsuites/validation/tr-event-mgr-model-1.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-2.c b/testsuites/validation/tr-event-mgr-model-2.c
index bb8e2dcc34..7be3578052 100644
--- a/testsuites/validation/tr-event-mgr-model-2.c
+++ b/testsuites/validation/tr-event-mgr-model-2.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-3.c b/testsuites/validation/tr-event-mgr-model-3.c
index 4cc9dc8447..df0f3b884c 100644
--- a/testsuites/validation/tr-event-mgr-model-3.c
+++ b/testsuites/validation/tr-event-mgr-model-3.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-4.c b/testsuites/validation/tr-event-mgr-model-4.c
index c4401d698d..a48974471f 100644
--- a/testsuites/validation/tr-event-mgr-model-4.c
+++ b/testsuites/validation/tr-event-mgr-model-4.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-5.c b/testsuites/validation/tr-event-mgr-model-5.c
index 51bcd98564..49851f4f61 100644
--- a/testsuites/validation/tr-event-mgr-model-5.c
+++ b/testsuites/validation/tr-event-mgr-model-5.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-6.c b/testsuites/validation/tr-event-mgr-model-6.c
index 5d2fee7363..09279a2952 100644
--- a/testsuites/validation/tr-event-mgr-model-6.c
+++ b/testsuites/validation/tr-event-mgr-model-6.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-7.c b/testsuites/validation/tr-event-mgr-model-7.c
index f38f01698b..743737ca45 100644
--- a/testsuites/validation/tr-event-mgr-model-7.c
+++ b/testsuites/validation/tr-event-mgr-model-7.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model-8.c b/testsuites/validation/tr-event-mgr-model-8.c
index 9c3b53c673..f60c15ffd0 100644
--- a/testsuites/validation/tr-event-mgr-model-8.c
+++ b/testsuites/validation/tr-event-mgr-model-8.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model.c b/testsuites/validation/tr-event-mgr-model.c
index a3884ce1cd..cc4fc48c53 100644
--- a/testsuites/validation/tr-event-mgr-model.c
+++ b/testsuites/validation/tr-event-mgr-model.c
@@ -3,7 +3,9 @@
 /**
  * @file
  *
- * @ingroup RTEMSTestCaseRtemsModelEventsMgr
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*
diff --git a/testsuites/validation/tr-event-mgr-model.h b/testsuites/validation/tr-event-mgr-model.h
index 7e05f6953c..927e2592bd 100644
--- a/testsuites/validation/tr-event-mgr-model.h
+++ b/testsuites/validation/tr-event-mgr-model.h
@@ -2,6 +2,10 @@
 
 /**
  * @file
+ *
+ * @ingroup TestsuitesModel0
+ *
+ * @brief This source file contains test cases related to a formal model.
  */
 
 /*