[rtems-central commit] spec: Add test suite for model based testing
Sebastian Huber
sebh at rtems.org
Fri Nov 27 10:05:39 UTC 2020
Module: rtems-central
Branch: master
Commit: 89eaf3a7ea3774e2e9de4dc822afe75f4eb07567
Changeset: http://git.rtems.org/rtems-central/commit/?id=89eaf3a7ea3774e2e9de4dc822afe75f4eb07567
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri Nov 27 11:04:59 2020 +0100
spec: Add test suite for model based testing
---
spec/testsuites/model-0.yml | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/spec/testsuites/model-0.yml b/spec/testsuites/model-0.yml
new file mode 100644
index 0000000..dcf79ed
--- /dev/null
+++ b/spec/testsuites/model-0.yml
@@ -0,0 +1,21 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links: []
+test-brief: |
+ This general purpose test suite provides enough resources to run basic tests
+ for all specified managers and functions. It is intended for model based
+ testing.
+test-code: |
+ const char rtems_test_name[] = "Model0";
+
+ #include "ts-default.h"
+test-description: |
+ In SMP configurations, up to three scheduler instances using the SMP EDF
+ scheduler are provided using up to four processors.
+test-includes:
+- rtems/test-info.h
+test-local-includes: []
+test-target: testsuites/validation/ts-model-0.c
+type: test-suite
More information about the vc
mailing list