summaryrefslogtreecommitdiffstats
path: root/spec/build/testsuites/validation
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-10 09:41:22 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2022-03-24 11:10:48 +0100
commitc39133b88262a81da9eff3f744b62f3d675334a6 (patch)
tree77da67fe6338cbd07597e482e01a2ca2e90e8390 /spec/build/testsuites/validation
parentvalidation: Add test suites (diff)
downloadrtems-c39133b88262a81da9eff3f744b62f3d675334a6.tar.bz2
validation: Add system termination test suites
The test source code is generated from specification items by the "./spec2modules.py" script contained in the git://git.rtems.org/rtems-central.git Git repository. Please read the "How-To" section in the "Software Requirements Engineering" chapter of the RTEMS Software Engineering manual to get more information about the process. Update #3716.
Diffstat (limited to 'spec/build/testsuites/validation')
-rw-r--r--spec/build/testsuites/validation/fatal-boot-processor-not-assigned-to-scheduler.yml20
-rw-r--r--spec/build/testsuites/validation/fatal-init-task-construct-failed.yml20
-rw-r--r--spec/build/testsuites/validation/fatal-mandatory-processor-not-present.yml20
-rw-r--r--spec/build/testsuites/validation/fatal-scheduler-requires-exactly-one-processor.yml20
-rw-r--r--spec/build/testsuites/validation/fatal-smp.yml20
-rw-r--r--spec/build/testsuites/validation/fatal-start-of-mandatory-processor-failed.yml21
-rw-r--r--spec/build/testsuites/validation/fatal-too-large-tls-size.yml20
-rw-r--r--spec/build/testsuites/validation/grp.yml18
-rw-r--r--spec/build/testsuites/validation/terminate.yml21
-rw-r--r--spec/build/testsuites/validation/validation-no-clock-0.yml1
-rw-r--r--spec/build/testsuites/validation/validation-one-cpu-0.yml1
-rw-r--r--spec/build/testsuites/validation/validation-smp-only-2.yml21
12 files changed, 203 insertions, 0 deletions
diff --git a/spec/build/testsuites/validation/fatal-boot-processor-not-assigned-to-scheduler.yml b/spec/build/testsuites/validation/fatal-boot-processor-not-assigned-to-scheduler.yml
new file mode 100644
index 0000000000..8ad72b67c9
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-boot-processor-not-assigned-to-scheduler.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-boot-processor-not-assigned-to-scheduler.c
+- testsuites/validation/ts-fatal-boot-processor-not-assigned-to-scheduler.c
+stlib: []
+target: testsuites/validation/ts-fatal-boot-processor-not-assigned-to-scheduler.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-init-task-construct-failed.yml b/spec/build/testsuites/validation/fatal-init-task-construct-failed.yml
new file mode 100644
index 0000000000..b43716f8df
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-init-task-construct-failed.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: true
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-init-task-construct-failed.c
+- testsuites/validation/ts-fatal-init-task-construct-failed.c
+stlib: []
+target: testsuites/validation/ts-fatal-init-task-construct-failed.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-mandatory-processor-not-present.yml b/spec/build/testsuites/validation/fatal-mandatory-processor-not-present.yml
new file mode 100644
index 0000000000..81e5ad93a0
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-mandatory-processor-not-present.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-mandatory-processor-not-present.c
+- testsuites/validation/ts-fatal-mandatory-processor-not-present.c
+stlib: []
+target: testsuites/validation/ts-fatal-mandatory-processor-not-present.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-scheduler-requires-exactly-one-processor.yml b/spec/build/testsuites/validation/fatal-scheduler-requires-exactly-one-processor.yml
new file mode 100644
index 0000000000..ad589fa53d
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-scheduler-requires-exactly-one-processor.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-scheduler-requires-exactly-one-processor.c
+- testsuites/validation/ts-fatal-scheduler-requires-exactly-one-processor.c
+stlib: []
+target: testsuites/validation/ts-fatal-scheduler-requires-exactly-one-processor.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-smp.yml b/spec/build/testsuites/validation/fatal-smp.yml
new file mode 100644
index 0000000000..f544e2960b
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-smp.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-smp.c
+- testsuites/validation/ts-fatal-smp.c
+stlib: []
+target: testsuites/validation/ts-fatal-smp.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-start-of-mandatory-processor-failed.yml b/spec/build/testsuites/validation/fatal-start-of-mandatory-processor-failed.yml
new file mode 100644
index 0000000000..25e0994da6
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-start-of-mandatory-processor-failed.yml
@@ -0,0 +1,21 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags:
+- -Wl,-wrap=_CPU_SMP_Start_processor
+links: []
+source:
+- testsuites/validation/tr-fatal-start-of-mandatory-processor-failed.c
+- testsuites/validation/ts-fatal-start-of-mandatory-processor-failed.c
+stlib: []
+target: testsuites/validation/ts-fatal-start-of-mandatory-processor-failed.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/fatal-too-large-tls-size.yml b/spec/build/testsuites/validation/fatal-too-large-tls-size.yml
new file mode 100644
index 0000000000..3b8f342eb9
--- /dev/null
+++ b/spec/build/testsuites/validation/fatal-too-large-tls-size.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: true
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/validation/tr-fatal-too-large-tls-size.c
+- testsuites/validation/ts-fatal-too-large-tls-size.c
+stlib: []
+target: testsuites/validation/ts-fatal-too-large-tls-size.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/grp.yml b/spec/build/testsuites/validation/grp.yml
index 48e3978e94..19b447f216 100644
--- a/spec/build/testsuites/validation/grp.yml
+++ b/spec/build/testsuites/validation/grp.yml
@@ -13,8 +13,24 @@ links:
- role: build-dependency
uid: libvalidation
- role: build-dependency
+ uid: fatal-boot-processor-not-assigned-to-scheduler
+- role: build-dependency
+ uid: fatal-init-task-construct-failed
+- role: build-dependency
+ uid: fatal-mandatory-processor-not-present
+- role: build-dependency
+ uid: fatal-scheduler-requires-exactly-one-processor
+- role: build-dependency
+ uid: fatal-smp
+- role: build-dependency
+ uid: fatal-start-of-mandatory-processor-failed
+- role: build-dependency
+ uid: fatal-too-large-tls-size
+- role: build-dependency
uid: performance-no-clock-0
- role: build-dependency
+ uid: terminate
+- role: build-dependency
uid: validation-0
- role: build-dependency
uid: validation-1
@@ -28,6 +44,8 @@ links:
uid: validation-smp-only-0
- role: build-dependency
uid: validation-smp-only-1
+- role: build-dependency
+ uid: validation-smp-only-2
type: build
use-after:
- validation
diff --git a/spec/build/testsuites/validation/terminate.yml b/spec/build/testsuites/validation/terminate.yml
new file mode 100644
index 0000000000..e87e2ddf5c
--- /dev/null
+++ b/spec/build/testsuites/validation/terminate.yml
@@ -0,0 +1,21 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: true
+features: c cprogram
+includes: []
+ldflags:
+- -Wl,--wrap=_CPU_Fatal_halt
+links: []
+source:
+- testsuites/validation/tc-terminate.c
+- testsuites/validation/ts-terminate.c
+stlib: []
+target: testsuites/validation/ts-terminate.exe
+type: build
+use-after: []
+use-before: []
diff --git a/spec/build/testsuites/validation/validation-no-clock-0.yml b/spec/build/testsuites/validation/validation-no-clock-0.yml
index e84e8263c1..0a4cfd4a06 100644
--- a/spec/build/testsuites/validation/validation-no-clock-0.yml
+++ b/spec/build/testsuites/validation/validation-no-clock-0.yml
@@ -11,6 +11,7 @@ includes: []
ldflags: []
links: []
source:
+- testsuites/validation/tc-score-fatal.c
- testsuites/validation/ts-validation-no-clock-0.c
stlib: []
target: testsuites/validation/ts-validation-no-clock-0.exe
diff --git a/spec/build/testsuites/validation/validation-one-cpu-0.yml b/spec/build/testsuites/validation/validation-one-cpu-0.yml
index 1dc342656e..f59464f65a 100644
--- a/spec/build/testsuites/validation/validation-one-cpu-0.yml
+++ b/spec/build/testsuites/validation/validation-one-cpu-0.yml
@@ -11,6 +11,7 @@ includes: []
ldflags: []
links: []
source:
+- testsuites/validation/tc-score-fatal.c
- testsuites/validation/ts-validation-one-cpu-0.c
stlib: []
target: testsuites/validation/ts-validation-one-cpu-0.exe
diff --git a/spec/build/testsuites/validation/validation-smp-only-2.yml b/spec/build/testsuites/validation/validation-smp-only-2.yml
new file mode 100644
index 0000000000..3d286296fa
--- /dev/null
+++ b/spec/build/testsuites/validation/validation-smp-only-2.yml
@@ -0,0 +1,21 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+cppflags: []
+cxxflags: []
+enabled-by: RTEMS_SMP
+features: c cprogram
+includes: []
+ldflags:
+- -Wl,-wrap=_CPU_SMP_Start_processor
+links: []
+source:
+- testsuites/validation/tc-start-of-optional-processor-failed.c
+- testsuites/validation/ts-validation-smp-only-2.c
+stlib: []
+target: testsuites/validation/ts-validation-smp-only-2.exe
+type: build
+use-after: []
+use-before: []