[rtems-central commit] spec: Add runtime performance requirements
Sebastian Huber
sebh at rtems.org
Fri May 28 06:11:22 UTC 2021
Module: rtems-central
Branch: master
Commit: 6438f3d29e89eea6f5e1e249d4c880056bf4759e
Changeset: http://git.rtems.org/rtems-central/commit/?id=6438f3d29e89eea6f5e1e249d4c880056bf4759e
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Fri May 28 07:43:26 2021 +0200
spec: Add runtime performance requirements
---
spec/req/perf-runtime.yml | 14 ++++++++++++++
spec/rtems/part/req/perf-get-buffer.yml | 4 +++-
spec/rtems/part/req/perf-get-no-buffer.yml | 4 +++-
spec/rtems/part/req/perf-return-buffer.yml | 4 +++-
spec/rtems/part/req/perf-runtime.yml | 14 ++++++++++++++
spec/rtems/part/val/{performance.yml => perf.yml} | 4 +++-
spec/rtems/req/perf-runtime.yml | 14 ++++++++++++++
7 files changed, 54 insertions(+), 4 deletions(-)
diff --git a/spec/req/perf-runtime.yml b/spec/req/perf-runtime.yml
new file mode 100644
index 0000000..9e33cf1
--- /dev/null
+++ b/spec/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+ uid: root
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The runtime of interface functions shall be measured.
+type: requirement
diff --git a/spec/rtems/part/req/perf-get-buffer.yml b/spec/rtems/part/req/perf-get-buffer.yml
index 43ee6bc..15fbdad 100644
--- a/spec/rtems/part/req/perf-get-buffer.yml
+++ b/spec/rtems/part/req/perf-get-buffer.yml
@@ -26,8 +26,10 @@ limits:
max-upper-bound: 1.0e-05
mean-upper-bound: 1.0e-05
links:
+- role: requirement-refinement
+ uid: perf-runtime
- role: runtime-measurement-request
- uid: ../val/performance
+ uid: ../val/perf
non-functional-type: performance-runtime
params: {}
rationale: null
diff --git a/spec/rtems/part/req/perf-get-no-buffer.yml b/spec/rtems/part/req/perf-get-no-buffer.yml
index df7871f..f8614a3 100644
--- a/spec/rtems/part/req/perf-get-no-buffer.yml
+++ b/spec/rtems/part/req/perf-get-no-buffer.yml
@@ -4,8 +4,10 @@ copyrights:
enabled-by: true
limits: {}
links:
+- role: requirement-refinement
+ uid: perf-runtime
- role: runtime-measurement-request
- uid: ../val/performance
+ uid: ../val/perf
non-functional-type: performance-runtime
params: {}
rationale: null
diff --git a/spec/rtems/part/req/perf-return-buffer.yml b/spec/rtems/part/req/perf-return-buffer.yml
index 7654e10..f204d6f 100644
--- a/spec/rtems/part/req/perf-return-buffer.yml
+++ b/spec/rtems/part/req/perf-return-buffer.yml
@@ -4,8 +4,10 @@ copyrights:
enabled-by: true
limits: {}
links:
+- role: requirement-refinement
+ uid: perf-runtime
- role: runtime-measurement-request
- uid: ../val/performance
+ uid: ../val/perf
non-functional-type: performance-runtime
params: {}
rationale: null
diff --git a/spec/rtems/part/req/perf-runtime.yml b/spec/rtems/part/req/perf-runtime.yml
new file mode 100644
index 0000000..fb6f99d
--- /dev/null
+++ b/spec/rtems/part/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+ uid: ../../req/perf-runtime
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The runtime of ${../if/group:/name} directives shall be measured.
+type: requirement
diff --git a/spec/rtems/part/val/performance.yml b/spec/rtems/part/val/perf.yml
similarity index 97%
rename from spec/rtems/part/val/performance.yml
rename to spec/rtems/part/val/perf.yml
index 348dc0e..d86bdb2 100644
--- a/spec/rtems/part/val/performance.yml
+++ b/spec/rtems/part/val/perf.yml
@@ -2,7 +2,9 @@ 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: []
+links:
+- role: validation
+ uid: ../req/perf-runtime
params:
buffer-count: 100
sample-count: 1000
diff --git a/spec/rtems/req/perf-runtime.yml b/spec/rtems/req/perf-runtime.yml
new file mode 100644
index 0000000..139d40e
--- /dev/null
+++ b/spec/rtems/req/perf-runtime.yml
@@ -0,0 +1,14 @@
+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
+links:
+- role: requirement-refinement
+ uid: ../../req/perf-runtime
+non-functional-type: performance
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The runtime of {../if/group:/name} directives shall be measured.
+type: requirement
More information about the vc
mailing list