From c39133b88262a81da9eff3f744b62f3d675334a6 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 10 Dec 2021 09:41:22 +0100 Subject: 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. --- ...tal-boot-processor-not-assigned-to-scheduler.yml | 20 ++++++++++++++++++++ .../validation/fatal-init-task-construct-failed.yml | 20 ++++++++++++++++++++ .../fatal-mandatory-processor-not-present.yml | 20 ++++++++++++++++++++ ...tal-scheduler-requires-exactly-one-processor.yml | 20 ++++++++++++++++++++ spec/build/testsuites/validation/fatal-smp.yml | 20 ++++++++++++++++++++ .../fatal-start-of-mandatory-processor-failed.yml | 21 +++++++++++++++++++++ .../validation/fatal-too-large-tls-size.yml | 20 ++++++++++++++++++++ spec/build/testsuites/validation/grp.yml | 18 ++++++++++++++++++ spec/build/testsuites/validation/terminate.yml | 21 +++++++++++++++++++++ .../testsuites/validation/validation-no-clock-0.yml | 1 + .../testsuites/validation/validation-one-cpu-0.yml | 1 + .../testsuites/validation/validation-smp-only-2.yml | 21 +++++++++++++++++++++ 12 files changed, 203 insertions(+) create mode 100644 spec/build/testsuites/validation/fatal-boot-processor-not-assigned-to-scheduler.yml create mode 100644 spec/build/testsuites/validation/fatal-init-task-construct-failed.yml create mode 100644 spec/build/testsuites/validation/fatal-mandatory-processor-not-present.yml create mode 100644 spec/build/testsuites/validation/fatal-scheduler-requires-exactly-one-processor.yml create mode 100644 spec/build/testsuites/validation/fatal-smp.yml create mode 100644 spec/build/testsuites/validation/fatal-start-of-mandatory-processor-failed.yml create mode 100644 spec/build/testsuites/validation/fatal-too-large-tls-size.yml create mode 100644 spec/build/testsuites/validation/terminate.yml create mode 100644 spec/build/testsuites/validation/validation-smp-only-2.yml (limited to 'spec/build/testsuites/validation') 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 @@ -12,8 +12,24 @@ ldflags: [] 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 @@ -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: [] -- cgit v1.2.3