spec: Application configuration options validation

7 files changed, 115 insertions, 2 deletions

diff --git a/spec/acfg/req/scheduler-assignments-no-smp.yml b/spec/acfg/req/scheduler-assignments-no-smp.yml
new file mode 100644
index 00000000..b02ddafd
--- /dev/null
+++ b/spec/acfg/req/scheduler-assignments-no-smp.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: RTEMS_SMP
+functional-type: function
+links:
+- role: interface-function
+  uid: ../if/scheduler-assignments
+- role: requirement-refinement
+  uid: group
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  Using the ${../if/scheduler-assignments:/name} application configuration
+  option in an application configuration shall have no effect.
+type: requirement
diff --git a/spec/acfg/req/scheduler-edf-smp-no-smp.yml b/spec/acfg/req/scheduler-edf-smp-no-smp.yml
new file mode 100644
index 00000000..f41714c6
--- /dev/null
+++ b/spec/acfg/req/scheduler-edf-smp-no-smp.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: RTEMS_SMP
+functional-type: function
+links:
+- role: interface-function
+  uid: ../if/scheduler-edf-smp
+- role: requirement-refinement
+  uid: group
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  Using the ${../if/scheduler-edf-smp:/name} application configuration option
+  in an application configuration shall result in a C preprocessor error.
+type: requirement
diff --git a/spec/acfg/req/scheduler-edf-smp.yml b/spec/acfg/req/scheduler-edf-smp.yml
index 7e0a3153..bffcd116 100644
--- a/spec/acfg/req/scheduler-edf-smp.yml
+++ b/spec/acfg/req/scheduler-edf-smp.yml
@@ -1,7 +1,7 @@
 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
 copyrights:
 - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
+enabled-by: RTEMS_SMP
 functional-type: function
 links:
 - role: interface-function
diff --git a/spec/acfg/val/scheduler-assignments-no-smp.yml b/spec/acfg/val/scheduler-assignments-no-smp.yml
new file mode 100644
index 00000000..0e77da38
--- /dev/null
+++ b/spec/acfg/val/scheduler-assignments-no-smp.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: RTEMS_SMP
+links:
+- role: validation
+  uid: ../req/scheduler-assignments-no-smp
+method: by-inspection
+references:
+- identifier: cpukit/include/rtems/confdefs/scheduler.h
+  hash: n7NtRWzAfA388_1hPYGdZ59wHBC2ZWqz2qo3Yrc5vS8=
+  type: file
+text: |
+  Inspection of the referenced ${/glossary/sourcecode:/term} file showed that
+  using ${../if/scheduler-assignments:/name} where ${/build-options/if/smp:/name}
+  is not defined will have no effect.
+type: validation
diff --git a/spec/acfg/val/scheduler-edf-smp-no-smp.yml b/spec/acfg/val/scheduler-edf-smp-no-smp.yml
new file mode 100644
index 00000000..895ec84a
--- /dev/null
+++ b/spec/acfg/val/scheduler-edf-smp-no-smp.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by:
+  not: RTEMS_SMP
+links:
+- role: validation
+  uid: ../req/scheduler-edf-smp-no-smp
+method: by-inspection
+references:
+- identifier: cpukit/include/rtems/scheduler.h
+  hash: jS_Dp1UFQrh0kgBrYi56gmkqmkEWrDSGV-tRxHfLbo4=
+  type: file
+text: |
+  Inspection of the referenced ${/glossary/sourcecode:/term} file showed that
+  using ${../if/scheduler-edf-smp:/name} where ${/build-options/if/smp:/name}
+  is not defined will result in a C preprocessor error.
+type: validation
diff --git a/spec/acfg/val/scheduler-table-entries-one-cpu.yml b/spec/acfg/val/scheduler-table-entries-one-cpu.yml
new file mode 100644
index 00000000..2286fe52
--- /dev/null
+++ b/spec/acfg/val/scheduler-table-entries-one-cpu.yml
@@ -0,0 +1,37 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links: []
+test-actions:
+- action-brief: |
+    Check the effect of the application configuration option.
+  action-code: |
+    /* Nothing to do */
+  checks:
+  - brief: |
+      Check that the ${/acfg/if/scheduler-table-entries:/name} application
+      configuration option resulted in the expected system setting using
+      ${/rtems/task/if/maximum-priority:/name}.
+    code: |
+      T_eq_u32( RTEMS_MAXIMUM_PRIORITY, 63 );
+    links:
+    - role: validation
+      uid: ../req/scheduler-table-entries
+  links: []
+test-brief: |
+  Tests the effect of ${/acfg/if/scheduler-table-entries:/name} the application
+  configuration options in a configuration with only one processor.
+test-context: []
+test-context-support: null
+test-description: null
+test-header: null
+test-includes:
+- rtems.h
+test-local-includes: []
+test-setup: null
+test-stop: null
+test-support: null
+test-target: testsuites/validation/tc-acfg-scheduler-table-entries-one-cpu.c
+test-teardown: null
+type: test-case
diff --git a/spec/testsuites/validation-one-cpu-1.yml b/spec/testsuites/validation-one-cpu-1.yml
index 3ce5f144..8f02d5f2 100644
--- a/spec/testsuites/validation-one-cpu-1.yml
+++ b/spec/testsuites/validation-one-cpu-1.yml
@@ -16,12 +16,16 @@ test-code: |
 
   #define CONFIGURE_MAXIMUM_PROCESSORS 1
 
+  #define CONFIGURE_SCHEDULER_TABLE_ENTRIES \
+    RTEMS_SCHEDULER_TABLE_PRIORITY( a, TEST_SCHEDULER_A_NAME )
+
   #include "ts-default.h"
 test-description: |
   Two test suites of this configuration are provided to limit test run
   duration.
 test-includes: []
-test-local-includes: []
+test-local-includes:
+- ts-config.h
 test-suite-name: ValidationOneCpu1
 test-target: testsuites/validation/ts-validation-one-cpu-1.c
 type: test-suite