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.
This commit is contained in:
Sebastian Huber
2021-12-10 09:41:22 +01:00
parent 212b0ca440
commit c39133b882
41 changed files with 5040 additions and 0 deletions

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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: []

View File

@@ -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

View File

@@ -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: []

View File

@@ -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

View File

@@ -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

View File

@@ -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: []