From 4c9f1963a9d92af708dccb93a41f0cebcb43e796 Mon Sep 17 00:00:00 2001
From: Giovanni Di Sirio <gdisirio@gmail.com>
Date: Sat, 2 Apr 2016 10:34:01 +0000
Subject: [PATCH] Improved test specifications generation.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@9221 35acf78f-673a-0410-8e92-d51de3d6d3f4
---
 os/hal/ports/common/ARMCMx/nvic.c              |  2 +-
 test/nasa_osal/source/test/test_root.h         |  6 +++---
 test/nasa_osal/source/test/test_sequence_001.c |  3 +++
 test/nasa_osal/source/test/test_sequence_001.h | 10 ++++++++++
 test/nasa_osal/source/test/test_sequence_002.c |  3 +++
 test/nasa_osal/source/test/test_sequence_002.h | 10 ++++++++++
 test/nasa_osal/source/test/test_sequence_003.c |  3 +++
 test/nasa_osal/source/test/test_sequence_003.h | 10 ++++++++++
 test/nasa_osal/source/test/test_sequence_004.c | 11 +++++++----
 test/nasa_osal/source/test/test_sequence_004.h | 10 ++++++++++
 test/nasa_osal/source/test/test_sequence_005.c | 11 +++++++----
 test/nasa_osal/source/test/test_sequence_005.h | 10 ++++++++++
 test/nasa_osal/source/test/test_sequence_006.c | 11 +++++++----
 test/nasa_osal/source/test/test_sequence_006.h | 10 ++++++++++
 test/nasa_osal/specgen/Doxyfile                |  2 +-
 test/nil/source/test/test_root.h               |  6 +++---
 test/nil/source/test/test_sequence_001.c       |  3 +++
 test/nil/source/test/test_sequence_001.h       | 10 ++++++++++
 test/nil/source/test/test_sequence_002.c       |  3 +++
 test/nil/source/test/test_sequence_002.h       | 10 ++++++++++
 test/nil/source/test/test_sequence_003.c       |  3 +++
 test/nil/source/test/test_sequence_003.h       | 10 ++++++++++
 test/nil/source/test/test_sequence_004.c       |  3 +++
 test/nil/source/test/test_sequence_004.h       | 10 ++++++++++
 test/nil/source/test/test_sequence_005.c       |  3 +++
 test/nil/source/test/test_sequence_005.h       | 10 ++++++++++
 test/nil/source/test/test_sequence_006.c       |  3 +++
 test/nil/source/test/test_sequence_006.h       | 10 ++++++++++
 test/nil/specgen/Doxyfile                      |  2 +-
 test/rt/source/test/test_root.h                |  6 +++---
 test/rt/source/test/test_sequence_001.c        |  3 +++
 test/rt/source/test/test_sequence_001.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_002.c        |  3 +++
 test/rt/source/test/test_sequence_002.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_003.c        |  3 +++
 test/rt/source/test/test_sequence_003.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_004.c        |  3 +++
 test/rt/source/test/test_sequence_004.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_005.c        |  3 +++
 test/rt/source/test/test_sequence_005.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_006.c        |  3 +++
 test/rt/source/test/test_sequence_006.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_007.c        |  3 +++
 test/rt/source/test/test_sequence_007.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_008.c        |  3 +++
 test/rt/source/test/test_sequence_008.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_009.c        |  3 +++
 test/rt/source/test/test_sequence_009.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_010.c        |  3 +++
 test/rt/source/test/test_sequence_010.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_011.c        |  3 +++
 test/rt/source/test/test_sequence_011.h        | 10 ++++++++++
 test/rt/source/test/test_sequence_012.c        |  3 +++
 test/rt/source/test/test_sequence_012.h        | 10 ++++++++++
 test/rt/specgen/Doxyfile                       |  2 +-
 55 files changed, 337 insertions(+), 25 deletions(-)

diff --git a/os/hal/ports/common/ARMCMx/nvic.c b/os/hal/ports/common/ARMCMx/nvic.c
index 948560cd2..49cfbc42a 100644
--- a/os/hal/ports/common/ARMCMx/nvic.c
+++ b/os/hal/ports/common/ARMCMx/nvic.c
@@ -94,7 +94,7 @@ void nvicSetSystemHandlerPriority(uint32_t handler, uint32_t prio) {
 #if defined(__CORE_CM0_H_GENERIC)
   SCB->SHP[_SHP_IDX(handler)] = (SCB->SHP[_SHP_IDX(handler)] & ~(0xFFU << _BIT_SHIFT(handler))) |
                                 (NVIC_PRIORITY_MASK(prio) << _BIT_SHIFT(handler));
-#elif defined(_CORE_CM7_HGENERIC)
+#elif defined(__CORE_CM7_H_GENERIC)
   SCB->SHPR[handler] = NVIC_PRIORITY_MASK(prio);
 #else
   SCB->SHP[handler] = NVIC_PRIORITY_MASK(prio);
diff --git a/test/nasa_osal/source/test/test_root.h b/test/nasa_osal/source/test/test_root.h
index b065fc63d..8da782715 100644
--- a/test/nasa_osal/source/test/test_root.h
+++ b/test/nasa_osal/source/test/test_root.h
@@ -5,8 +5,8 @@
  * @brief   Test Suite root structures header.
  */
 
-#ifndef _SPC5_TEST_ROOT_H_
-#define _SPC5_TEST_ROOT_H_
+#ifndef TEST_ROOT_H
+#define TEST_ROOT_H
 
 #include "test_sequence_001.h"
 #include "test_sequence_002.h"
@@ -46,4 +46,4 @@ extern THD_WORKING_AREA(wa_test4, TASKS_STACK_SIZE);
 
 #endif /* !defined(__DOXYGEN__) */
 
-#endif /* _SPC5_TEST_ROOT_H_ */
+#endif /* TEST_ROOT_H */
diff --git a/test/nasa_osal/source/test/test_sequence_001.c b/test/nasa_osal/source/test/test_sequence_001.c
index 253dc63c0..38a1bf351 100644
--- a/test/nasa_osal/source/test/test_sequence_001.c
+++ b/test/nasa_osal/source/test/test_sequence_001.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_001.c
+ * @brief   Test Sequence 001 code.
+ *
  * @page test_sequence_001 [1] Tasks Functionality
  *
  * File: @ref test_sequence_001.c
diff --git a/test/nasa_osal/source/test/test_sequence_001.h b/test/nasa_osal/source/test/test_sequence_001.h
index bd39c2d2c..944739ef8 100644
--- a/test/nasa_osal/source/test/test_sequence_001.h
+++ b/test/nasa_osal/source/test/test_sequence_001.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_001.h
+ * @brief   Test Sequence 001 header.
+ */
+
+#ifndef TEST_SEQUENCE_001_H
+#define TEST_SEQUENCE_001_H
+
 extern const testcase_t * const test_sequence_001[];
+
+#endif /* TEST_SEQUENCE_001_H */
diff --git a/test/nasa_osal/source/test/test_sequence_002.c b/test/nasa_osal/source/test/test_sequence_002.c
index 35a856882..0a67f296c 100644
--- a/test/nasa_osal/source/test/test_sequence_002.c
+++ b/test/nasa_osal/source/test/test_sequence_002.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_002.c
+ * @brief   Test Sequence 002 code.
+ *
  * @page test_sequence_002 [2] Queues Functionality
  *
  * File: @ref test_sequence_002.c
diff --git a/test/nasa_osal/source/test/test_sequence_002.h b/test/nasa_osal/source/test/test_sequence_002.h
index 422e93896..4cc10eeb8 100644
--- a/test/nasa_osal/source/test/test_sequence_002.h
+++ b/test/nasa_osal/source/test/test_sequence_002.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_002.h
+ * @brief   Test Sequence 002 header.
+ */
+
+#ifndef TEST_SEQUENCE_002_H
+#define TEST_SEQUENCE_002_H
+
 extern const testcase_t * const test_sequence_002[];
+
+#endif /* TEST_SEQUENCE_002_H */
diff --git a/test/nasa_osal/source/test/test_sequence_003.c b/test/nasa_osal/source/test/test_sequence_003.c
index e699248f1..56663666e 100644
--- a/test/nasa_osal/source/test/test_sequence_003.c
+++ b/test/nasa_osal/source/test/test_sequence_003.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_003.c
+ * @brief   Test Sequence 003 code.
+ *
  * @page test_sequence_003 [3] Timers Functionality
  *
  * File: @ref test_sequence_003.c
diff --git a/test/nasa_osal/source/test/test_sequence_003.h b/test/nasa_osal/source/test/test_sequence_003.h
index 0cec58279..75e4209ca 100644
--- a/test/nasa_osal/source/test/test_sequence_003.h
+++ b/test/nasa_osal/source/test/test_sequence_003.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_003.h
+ * @brief   Test Sequence 003 header.
+ */
+
+#ifndef TEST_SEQUENCE_003_H
+#define TEST_SEQUENCE_003_H
+
 extern const testcase_t * const test_sequence_003[];
+
+#endif /* TEST_SEQUENCE_003_H */
diff --git a/test/nasa_osal/source/test/test_sequence_004.c b/test/nasa_osal/source/test/test_sequence_004.c
index 6f2fa76c9..1ca5586e9 100644
--- a/test/nasa_osal/source/test/test_sequence_004.c
+++ b/test/nasa_osal/source/test/test_sequence_004.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_004.c
+ * @brief   Test Sequence 004 code.
+ *
  * @page test_sequence_004 [4] Binary Semaphores Functionality
  *
  * File: @ref test_sequence_004.c
@@ -105,7 +108,7 @@ static void test_004_001_execute(void) {
      an error is expected.*/
   test_set_step(4);
   {
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     int32 err;
 
     err = OS_BinSemCreate(&bsid,
@@ -113,7 +116,7 @@ static void test_004_001_execute(void) {
                          0,
                          0);
     test_assert(err == OS_ERR_NAME_TOO_LONG, "name limit not detected");
-    #endif
+#endif
   }
 
   /* [4.1.5] OS_BinSemDelete() is invoked with timer_id set to -1, an
@@ -137,10 +140,10 @@ static void test_004_001_execute(void) {
     err = OS_BinSemCreate(&bsid1, "my semaphore", 0, 0);
     test_assert(err == OS_SUCCESS, "semaphore creation failed");
 
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     err = OS_BinSemCreate(&bsid2, "my semaphore", 0, 0);
     test_assert(err == OS_ERR_NAME_TAKEN, "name conflict not detected");
-    #endif
+#endif
 
     err = OS_BinSemDelete(bsid1);
     test_assert(err == OS_SUCCESS, "semaphore deletion failed");
diff --git a/test/nasa_osal/source/test/test_sequence_004.h b/test/nasa_osal/source/test/test_sequence_004.h
index 965f4b132..205176fb5 100644
--- a/test/nasa_osal/source/test/test_sequence_004.h
+++ b/test/nasa_osal/source/test/test_sequence_004.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_004.h
+ * @brief   Test Sequence 004 header.
+ */
+
+#ifndef TEST_SEQUENCE_004_H
+#define TEST_SEQUENCE_004_H
+
 extern const testcase_t * const test_sequence_004[];
+
+#endif /* TEST_SEQUENCE_004_H */
diff --git a/test/nasa_osal/source/test/test_sequence_005.c b/test/nasa_osal/source/test/test_sequence_005.c
index 76c37bfa8..29537ca82 100644
--- a/test/nasa_osal/source/test/test_sequence_005.c
+++ b/test/nasa_osal/source/test/test_sequence_005.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_005.c
+ * @brief   Test Sequence 005 code.
+ *
  * @page test_sequence_005 [5] Counter Semaphores Functionality
  *
  * File: @ref test_sequence_005.c
@@ -104,7 +107,7 @@ static void test_005_001_execute(void) {
      name, an error is expected.*/
   test_set_step(4);
   {
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     int32 err;
 
     err = OS_CountSemCreate(&csid,
@@ -112,7 +115,7 @@ static void test_005_001_execute(void) {
                             0,
                             0);
     test_assert(err == OS_ERR_NAME_TOO_LONG, "name limit not detected");
-    #endif
+#endif
   }
 
   /* [5.1.5] OS_CountSemDelete() is invoked with timer_id set to -1, an
@@ -136,10 +139,10 @@ static void test_005_001_execute(void) {
     err = OS_CountSemCreate(&csid1, "my semaphore", 0, 0);
     test_assert(err == OS_SUCCESS, "semaphore creation failed");
 
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     err = OS_CountSemCreate(&csid2, "my semaphore", 0, 0);
     test_assert(err == OS_ERR_NAME_TAKEN, "name conflict not detected");
-    #endif
+#endif
 
     err = OS_CountSemDelete(csid1);
     test_assert(err == OS_SUCCESS, "semaphore deletion failed");
diff --git a/test/nasa_osal/source/test/test_sequence_005.h b/test/nasa_osal/source/test/test_sequence_005.h
index 094222891..99ee7db5b 100644
--- a/test/nasa_osal/source/test/test_sequence_005.h
+++ b/test/nasa_osal/source/test/test_sequence_005.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_005.h
+ * @brief   Test Sequence 005 header.
+ */
+
+#ifndef TEST_SEQUENCE_005_H
+#define TEST_SEQUENCE_005_H
+
 extern const testcase_t * const test_sequence_005[];
+
+#endif /* TEST_SEQUENCE_005_H */
diff --git a/test/nasa_osal/source/test/test_sequence_006.c b/test/nasa_osal/source/test/test_sequence_006.c
index fd99656e1..73e95cda9 100644
--- a/test/nasa_osal/source/test/test_sequence_006.c
+++ b/test/nasa_osal/source/test/test_sequence_006.c
@@ -5,6 +5,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_006.c
+ * @brief   Test Sequence 006 code.
+ *
  * @page test_sequence_006 [6] Mutex Semaphores Functionality
  *
  * File: @ref test_sequence_006.c
@@ -85,14 +88,14 @@ static void test_006_001_execute(void) {
      an error is expected.*/
   test_set_step(3);
   {
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     int32 err;
 
     err = OS_MutSemCreate(&msid,
                          "very very long semaphore name",   /* Error.*/
                          0);
     test_assert(err == OS_ERR_NAME_TOO_LONG, "name limit not detected");
-    #endif
+#endif
   }
 
   /* [6.1.4] OS_MutSemDelete() is invoked with timer_id set to -1, an
@@ -116,10 +119,10 @@ static void test_006_001_execute(void) {
     err = OS_MutSemCreate(&msid1, "my semaphore", 0);
     test_assert(err == OS_SUCCESS, "semaphore creation failed");
 
-    #if 0 /* Semaphore name currently not implemented.*/
+#if 0 /* Semaphore name currently not implemented.*/
     err = OS_MutSemCreate(&msid2, "my semaphore", 0);
     test_assert(err == OS_ERR_NAME_TAKEN, "name conflict not detected");
-    #endif
+#endif
 
     err = OS_MutSemDelete(msid1);
     test_assert(err == OS_SUCCESS, "semaphore deletion failed");
diff --git a/test/nasa_osal/source/test/test_sequence_006.h b/test/nasa_osal/source/test/test_sequence_006.h
index 0cbf01a81..ba52bf479 100644
--- a/test/nasa_osal/source/test/test_sequence_006.h
+++ b/test/nasa_osal/source/test/test_sequence_006.h
@@ -1,3 +1,13 @@
 /* Copyright statement.*/
 
+/**
+ * @file    test_sequence_006.h
+ * @brief   Test Sequence 006 header.
+ */
+
+#ifndef TEST_SEQUENCE_006_H
+#define TEST_SEQUENCE_006_H
+
 extern const testcase_t * const test_sequence_006[];
+
+#endif /* TEST_SEQUENCE_006_H */
diff --git a/test/nasa_osal/specgen/Doxyfile b/test/nasa_osal/specgen/Doxyfile
index 8691494a5..911615457 100644
--- a/test/nasa_osal/specgen/Doxyfile
+++ b/test/nasa_osal/specgen/Doxyfile
@@ -675,7 +675,7 @@ SHOW_USED_FILES        = NO
 # (if specified).
 # The default value is: YES.
 
-SHOW_FILES             = YES
+SHOW_FILES             = NO
 
 # Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces
 # page. This will remove the Namespaces entry from the Quick Index and from the
diff --git a/test/nil/source/test/test_root.h b/test/nil/source/test/test_root.h
index d52950e64..0b3d65ecf 100644
--- a/test/nil/source/test/test_root.h
+++ b/test/nil/source/test/test_root.h
@@ -19,8 +19,8 @@
  * @brief   Test Suite root structures header.
  */
 
-#ifndef _SPC5_TEST_ROOT_H_
-#define _SPC5_TEST_ROOT_H_
+#ifndef TEST_ROOT_H
+#define TEST_ROOT_H
 
 #include "test_sequence_001.h"
 #include "test_sequence_002.h"
@@ -58,4 +58,4 @@ THD_FUNCTION(test_support, arg);
 
 #endif /* !defined(__DOXYGEN__) */
 
-#endif /* _SPC5_TEST_ROOT_H_ */
+#endif /* TEST_ROOT_H */
diff --git a/test/nil/source/test/test_sequence_001.c b/test/nil/source/test/test_sequence_001.c
index a3446b096..6c1babec7 100644
--- a/test/nil/source/test/test_sequence_001.c
+++ b/test/nil/source/test/test_sequence_001.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_001.c
+ * @brief   Test Sequence 001 code.
+ *
  * @page test_sequence_001 [1] Threads Functionality
  *
  * File: @ref test_sequence_001.c
diff --git a/test/nil/source/test/test_sequence_001.h b/test/nil/source/test/test_sequence_001.h
index 7a71cfc00..a1e55c6fd 100644
--- a/test/nil/source/test/test_sequence_001.h
+++ b/test/nil/source/test/test_sequence_001.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_001.h
+ * @brief   Test Sequence 001 header.
+ */
+
+#ifndef TEST_SEQUENCE_001_H
+#define TEST_SEQUENCE_001_H
+
 extern const testcase_t * const test_sequence_001[];
+
+#endif /* TEST_SEQUENCE_001_H */
diff --git a/test/nil/source/test/test_sequence_002.c b/test/nil/source/test/test_sequence_002.c
index 9c32486bd..445028963 100644
--- a/test/nil/source/test/test_sequence_002.c
+++ b/test/nil/source/test/test_sequence_002.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_002.c
+ * @brief   Test Sequence 002 code.
+ *
  * @page test_sequence_002 [2] Semaphores
  *
  * File: @ref test_sequence_002.c
diff --git a/test/nil/source/test/test_sequence_002.h b/test/nil/source/test/test_sequence_002.h
index fdf3a8148..bcaee5aae 100644
--- a/test/nil/source/test/test_sequence_002.h
+++ b/test/nil/source/test/test_sequence_002.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_002.h
+ * @brief   Test Sequence 002 header.
+ */
+
+#ifndef TEST_SEQUENCE_002_H
+#define TEST_SEQUENCE_002_H
+
 extern const testcase_t * const test_sequence_002[];
+
+#endif /* TEST_SEQUENCE_002_H */
diff --git a/test/nil/source/test/test_sequence_003.c b/test/nil/source/test/test_sequence_003.c
index 5be49525b..977ddbca8 100644
--- a/test/nil/source/test/test_sequence_003.c
+++ b/test/nil/source/test/test_sequence_003.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_003.c
+ * @brief   Test Sequence 003 code.
+ *
  * @page test_sequence_003 [3] Suspend/Resume and Event Flags
  *
  * File: @ref test_sequence_003.c
diff --git a/test/nil/source/test/test_sequence_003.h b/test/nil/source/test/test_sequence_003.h
index 71ce5cd65..c2365aa1d 100644
--- a/test/nil/source/test/test_sequence_003.h
+++ b/test/nil/source/test/test_sequence_003.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_003.h
+ * @brief   Test Sequence 003 header.
+ */
+
+#ifndef TEST_SEQUENCE_003_H
+#define TEST_SEQUENCE_003_H
+
 extern const testcase_t * const test_sequence_003[];
+
+#endif /* TEST_SEQUENCE_003_H */
diff --git a/test/nil/source/test/test_sequence_004.c b/test/nil/source/test/test_sequence_004.c
index a4b3765f5..7899c0c31 100644
--- a/test/nil/source/test/test_sequence_004.c
+++ b/test/nil/source/test/test_sequence_004.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_004.c
+ * @brief   Test Sequence 004 code.
+ *
  * @page test_sequence_004 [4] Mailboxes
  *
  * File: @ref test_sequence_004.c
diff --git a/test/nil/source/test/test_sequence_004.h b/test/nil/source/test/test_sequence_004.h
index caa3a601c..09677d6fb 100644
--- a/test/nil/source/test/test_sequence_004.h
+++ b/test/nil/source/test/test_sequence_004.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_004.h
+ * @brief   Test Sequence 004 header.
+ */
+
+#ifndef TEST_SEQUENCE_004_H
+#define TEST_SEQUENCE_004_H
+
 extern const testcase_t * const test_sequence_004[];
+
+#endif /* TEST_SEQUENCE_004_H */
diff --git a/test/nil/source/test/test_sequence_005.c b/test/nil/source/test/test_sequence_005.c
index f37622787..a9e22e0db 100644
--- a/test/nil/source/test/test_sequence_005.c
+++ b/test/nil/source/test/test_sequence_005.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_005.c
+ * @brief   Test Sequence 005 code.
+ *
  * @page test_sequence_005 [5] Memory Pools
  *
  * File: @ref test_sequence_005.c
diff --git a/test/nil/source/test/test_sequence_005.h b/test/nil/source/test/test_sequence_005.h
index b65d62ace..8389efc62 100644
--- a/test/nil/source/test/test_sequence_005.h
+++ b/test/nil/source/test/test_sequence_005.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_005.h
+ * @brief   Test Sequence 005 header.
+ */
+
+#ifndef TEST_SEQUENCE_005_H
+#define TEST_SEQUENCE_005_H
+
 extern const testcase_t * const test_sequence_005[];
+
+#endif /* TEST_SEQUENCE_005_H */
diff --git a/test/nil/source/test/test_sequence_006.c b/test/nil/source/test/test_sequence_006.c
index 07addd7e2..907f3f0d6 100644
--- a/test/nil/source/test/test_sequence_006.c
+++ b/test/nil/source/test/test_sequence_006.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_006.c
+ * @brief   Test Sequence 006 code.
+ *
  * @page test_sequence_006 [6] Memory Heaps
  *
  * File: @ref test_sequence_006.c
diff --git a/test/nil/source/test/test_sequence_006.h b/test/nil/source/test/test_sequence_006.h
index 026d07577..c7cf10a72 100644
--- a/test/nil/source/test/test_sequence_006.h
+++ b/test/nil/source/test/test_sequence_006.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_006.h
+ * @brief   Test Sequence 006 header.
+ */
+
+#ifndef TEST_SEQUENCE_006_H
+#define TEST_SEQUENCE_006_H
+
 extern const testcase_t * const test_sequence_006[];
+
+#endif /* TEST_SEQUENCE_006_H */
diff --git a/test/nil/specgen/Doxyfile b/test/nil/specgen/Doxyfile
index 7eb39ebda..70b91f046 100644
--- a/test/nil/specgen/Doxyfile
+++ b/test/nil/specgen/Doxyfile
@@ -675,7 +675,7 @@ SHOW_USED_FILES        = NO
 # (if specified).
 # The default value is: YES.
 
-SHOW_FILES             = YES
+SHOW_FILES             = NO
 
 # Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces
 # page. This will remove the Namespaces entry from the Quick Index and from the
diff --git a/test/rt/source/test/test_root.h b/test/rt/source/test/test_root.h
index ac3918734..132c50fe4 100644
--- a/test/rt/source/test/test_root.h
+++ b/test/rt/source/test/test_root.h
@@ -19,8 +19,8 @@
  * @brief   Test Suite root structures header.
  */
 
-#ifndef _SPC5_TEST_ROOT_H_
-#define _SPC5_TEST_ROOT_H_
+#ifndef TEST_ROOT_H
+#define TEST_ROOT_H
 
 #include "test_sequence_001.h"
 #include "test_sequence_002.h"
@@ -108,4 +108,4 @@ systime_t test_wait_tick(void);
 
 #endif /* !defined(__DOXYGEN__) */
 
-#endif /* _SPC5_TEST_ROOT_H_ */
+#endif /* TEST_ROOT_H */
diff --git a/test/rt/source/test/test_sequence_001.c b/test/rt/source/test/test_sequence_001.c
index c4b944b84..5f6ec1e5d 100644
--- a/test/rt/source/test/test_sequence_001.c
+++ b/test/rt/source/test/test_sequence_001.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_001.c
+ * @brief   Test Sequence 001 code.
+ *
  * @page test_sequence_001 [1] System layer and port interface
  *
  * File: @ref test_sequence_001.c
diff --git a/test/rt/source/test/test_sequence_001.h b/test/rt/source/test/test_sequence_001.h
index 7a71cfc00..a1e55c6fd 100644
--- a/test/rt/source/test/test_sequence_001.h
+++ b/test/rt/source/test/test_sequence_001.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_001.h
+ * @brief   Test Sequence 001 header.
+ */
+
+#ifndef TEST_SEQUENCE_001_H
+#define TEST_SEQUENCE_001_H
+
 extern const testcase_t * const test_sequence_001[];
+
+#endif /* TEST_SEQUENCE_001_H */
diff --git a/test/rt/source/test/test_sequence_002.c b/test/rt/source/test/test_sequence_002.c
index a67abf568..51fb3cd2c 100644
--- a/test/rt/source/test/test_sequence_002.c
+++ b/test/rt/source/test/test_sequence_002.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_002.c
+ * @brief   Test Sequence 002 code.
+ *
  * @page test_sequence_002 [2] Threads Functionality
  *
  * File: @ref test_sequence_002.c
diff --git a/test/rt/source/test/test_sequence_002.h b/test/rt/source/test/test_sequence_002.h
index fdf3a8148..bcaee5aae 100644
--- a/test/rt/source/test/test_sequence_002.h
+++ b/test/rt/source/test/test_sequence_002.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_002.h
+ * @brief   Test Sequence 002 header.
+ */
+
+#ifndef TEST_SEQUENCE_002_H
+#define TEST_SEQUENCE_002_H
+
 extern const testcase_t * const test_sequence_002[];
+
+#endif /* TEST_SEQUENCE_002_H */
diff --git a/test/rt/source/test/test_sequence_003.c b/test/rt/source/test/test_sequence_003.c
index 443dd7e0b..d424e1ff3 100644
--- a/test/rt/source/test/test_sequence_003.c
+++ b/test/rt/source/test/test_sequence_003.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_003.c
+ * @brief   Test Sequence 003 code.
+ *
  * @page test_sequence_003 [3] Suspend/Resume
  *
  * File: @ref test_sequence_003.c
diff --git a/test/rt/source/test/test_sequence_003.h b/test/rt/source/test/test_sequence_003.h
index 71ce5cd65..c2365aa1d 100644
--- a/test/rt/source/test/test_sequence_003.h
+++ b/test/rt/source/test/test_sequence_003.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_003.h
+ * @brief   Test Sequence 003 header.
+ */
+
+#ifndef TEST_SEQUENCE_003_H
+#define TEST_SEQUENCE_003_H
+
 extern const testcase_t * const test_sequence_003[];
+
+#endif /* TEST_SEQUENCE_003_H */
diff --git a/test/rt/source/test/test_sequence_004.c b/test/rt/source/test/test_sequence_004.c
index e5c9b0b7e..b6d89baf4 100644
--- a/test/rt/source/test/test_sequence_004.c
+++ b/test/rt/source/test/test_sequence_004.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_004.c
+ * @brief   Test Sequence 004 code.
+ *
  * @page test_sequence_004 [4] Counter and Binary Semaphores
  *
  * File: @ref test_sequence_004.c
diff --git a/test/rt/source/test/test_sequence_004.h b/test/rt/source/test/test_sequence_004.h
index caa3a601c..09677d6fb 100644
--- a/test/rt/source/test/test_sequence_004.h
+++ b/test/rt/source/test/test_sequence_004.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_004.h
+ * @brief   Test Sequence 004 header.
+ */
+
+#ifndef TEST_SEQUENCE_004_H
+#define TEST_SEQUENCE_004_H
+
 extern const testcase_t * const test_sequence_004[];
+
+#endif /* TEST_SEQUENCE_004_H */
diff --git a/test/rt/source/test/test_sequence_005.c b/test/rt/source/test/test_sequence_005.c
index 7c09d3662..f67832ca6 100644
--- a/test/rt/source/test/test_sequence_005.c
+++ b/test/rt/source/test/test_sequence_005.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_005.c
+ * @brief   Test Sequence 005 code.
+ *
  * @page test_sequence_005 [5] Mutexes, Condition Variables and Priority Inheritance
  *
  * File: @ref test_sequence_005.c
diff --git a/test/rt/source/test/test_sequence_005.h b/test/rt/source/test/test_sequence_005.h
index b65d62ace..8389efc62 100644
--- a/test/rt/source/test/test_sequence_005.h
+++ b/test/rt/source/test/test_sequence_005.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_005.h
+ * @brief   Test Sequence 005 header.
+ */
+
+#ifndef TEST_SEQUENCE_005_H
+#define TEST_SEQUENCE_005_H
+
 extern const testcase_t * const test_sequence_005[];
+
+#endif /* TEST_SEQUENCE_005_H */
diff --git a/test/rt/source/test/test_sequence_006.c b/test/rt/source/test/test_sequence_006.c
index b44ab02ae..64ff5acbe 100644
--- a/test/rt/source/test/test_sequence_006.c
+++ b/test/rt/source/test/test_sequence_006.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_006.c
+ * @brief   Test Sequence 006 code.
+ *
  * @page test_sequence_006 [6] Synchronous Messages
  *
  * File: @ref test_sequence_006.c
diff --git a/test/rt/source/test/test_sequence_006.h b/test/rt/source/test/test_sequence_006.h
index 026d07577..c7cf10a72 100644
--- a/test/rt/source/test/test_sequence_006.h
+++ b/test/rt/source/test/test_sequence_006.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_006.h
+ * @brief   Test Sequence 006 header.
+ */
+
+#ifndef TEST_SEQUENCE_006_H
+#define TEST_SEQUENCE_006_H
+
 extern const testcase_t * const test_sequence_006[];
+
+#endif /* TEST_SEQUENCE_006_H */
diff --git a/test/rt/source/test/test_sequence_007.c b/test/rt/source/test/test_sequence_007.c
index 4e0fcc8da..096d62b66 100644
--- a/test/rt/source/test/test_sequence_007.c
+++ b/test/rt/source/test/test_sequence_007.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_007.c
+ * @brief   Test Sequence 007 code.
+ *
  * @page test_sequence_007 [7] Event Sources and Event Flags
  *
  * File: @ref test_sequence_007.c
diff --git a/test/rt/source/test/test_sequence_007.h b/test/rt/source/test/test_sequence_007.h
index e439f1b22..27bc760c0 100644
--- a/test/rt/source/test/test_sequence_007.h
+++ b/test/rt/source/test/test_sequence_007.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_007.h
+ * @brief   Test Sequence 007 header.
+ */
+
+#ifndef TEST_SEQUENCE_007_H
+#define TEST_SEQUENCE_007_H
+
 extern const testcase_t * const test_sequence_007[];
+
+#endif /* TEST_SEQUENCE_007_H */
diff --git a/test/rt/source/test/test_sequence_008.c b/test/rt/source/test/test_sequence_008.c
index 4e3c1beb1..bbacdfbbd 100644
--- a/test/rt/source/test/test_sequence_008.c
+++ b/test/rt/source/test/test_sequence_008.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_008.c
+ * @brief   Test Sequence 008 code.
+ *
  * @page test_sequence_008 [8] Mailboxes
  *
  * File: @ref test_sequence_008.c
diff --git a/test/rt/source/test/test_sequence_008.h b/test/rt/source/test/test_sequence_008.h
index 4f0a07ce4..68d3ae65d 100644
--- a/test/rt/source/test/test_sequence_008.h
+++ b/test/rt/source/test/test_sequence_008.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_008.h
+ * @brief   Test Sequence 008 header.
+ */
+
+#ifndef TEST_SEQUENCE_008_H
+#define TEST_SEQUENCE_008_H
+
 extern const testcase_t * const test_sequence_008[];
+
+#endif /* TEST_SEQUENCE_008_H */
diff --git a/test/rt/source/test/test_sequence_009.c b/test/rt/source/test/test_sequence_009.c
index 63e9f2da2..975ae56ef 100644
--- a/test/rt/source/test/test_sequence_009.c
+++ b/test/rt/source/test/test_sequence_009.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_009.c
+ * @brief   Test Sequence 009 code.
+ *
  * @page test_sequence_009 [9] Memory Pools
  *
  * File: @ref test_sequence_009.c
diff --git a/test/rt/source/test/test_sequence_009.h b/test/rt/source/test/test_sequence_009.h
index dfe6e9175..43e910db5 100644
--- a/test/rt/source/test/test_sequence_009.h
+++ b/test/rt/source/test/test_sequence_009.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_009.h
+ * @brief   Test Sequence 009 header.
+ */
+
+#ifndef TEST_SEQUENCE_009_H
+#define TEST_SEQUENCE_009_H
+
 extern const testcase_t * const test_sequence_009[];
+
+#endif /* TEST_SEQUENCE_009_H */
diff --git a/test/rt/source/test/test_sequence_010.c b/test/rt/source/test/test_sequence_010.c
index dc76be9cc..5d8879885 100644
--- a/test/rt/source/test/test_sequence_010.c
+++ b/test/rt/source/test/test_sequence_010.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_010.c
+ * @brief   Test Sequence 010 code.
+ *
  * @page test_sequence_010 [10] Memory Heaps
  *
  * File: @ref test_sequence_010.c
diff --git a/test/rt/source/test/test_sequence_010.h b/test/rt/source/test/test_sequence_010.h
index b20e4a5cd..bd46ae86a 100644
--- a/test/rt/source/test/test_sequence_010.h
+++ b/test/rt/source/test/test_sequence_010.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_010.h
+ * @brief   Test Sequence 010 header.
+ */
+
+#ifndef TEST_SEQUENCE_010_H
+#define TEST_SEQUENCE_010_H
+
 extern const testcase_t * const test_sequence_010[];
+
+#endif /* TEST_SEQUENCE_010_H */
diff --git a/test/rt/source/test/test_sequence_011.c b/test/rt/source/test/test_sequence_011.c
index 064ff866f..3094a0225 100644
--- a/test/rt/source/test/test_sequence_011.c
+++ b/test/rt/source/test/test_sequence_011.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_011.c
+ * @brief   Test Sequence 011 code.
+ *
  * @page test_sequence_011 [11] Dynamic threads
  *
  * File: @ref test_sequence_011.c
diff --git a/test/rt/source/test/test_sequence_011.h b/test/rt/source/test/test_sequence_011.h
index 8d865a9f0..87c39666e 100644
--- a/test/rt/source/test/test_sequence_011.h
+++ b/test/rt/source/test/test_sequence_011.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_011.h
+ * @brief   Test Sequence 011 header.
+ */
+
+#ifndef TEST_SEQUENCE_011_H
+#define TEST_SEQUENCE_011_H
+
 extern const testcase_t * const test_sequence_011[];
+
+#endif /* TEST_SEQUENCE_011_H */
diff --git a/test/rt/source/test/test_sequence_012.c b/test/rt/source/test/test_sequence_012.c
index 94076de85..44ca37f2e 100644
--- a/test/rt/source/test/test_sequence_012.c
+++ b/test/rt/source/test/test_sequence_012.c
@@ -19,6 +19,9 @@
 #include "test_root.h"
 
 /**
+ * @file    test_sequence_012.c
+ * @brief   Test Sequence 012 code.
+ *
  * @page test_sequence_012 [12] Benchmarks
  *
  * File: @ref test_sequence_012.c
diff --git a/test/rt/source/test/test_sequence_012.h b/test/rt/source/test/test_sequence_012.h
index e2286aaee..f5a4a2c15 100644
--- a/test/rt/source/test/test_sequence_012.h
+++ b/test/rt/source/test/test_sequence_012.h
@@ -14,4 +14,14 @@
     limitations under the License.
 */
 
+/**
+ * @file    test_sequence_012.h
+ * @brief   Test Sequence 012 header.
+ */
+
+#ifndef TEST_SEQUENCE_012_H
+#define TEST_SEQUENCE_012_H
+
 extern const testcase_t * const test_sequence_012[];
+
+#endif /* TEST_SEQUENCE_012_H */
diff --git a/test/rt/specgen/Doxyfile b/test/rt/specgen/Doxyfile
index 4de6a2908..a44593d39 100644
--- a/test/rt/specgen/Doxyfile
+++ b/test/rt/specgen/Doxyfile
@@ -675,7 +675,7 @@ SHOW_USED_FILES        = NO
 # (if specified).
 # The default value is: YES.
 
-SHOW_FILES             = YES
+SHOW_FILES             = NO
 
 # Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces
 # page. This will remove the Namespaces entry from the Quick Index and from the