diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-28 07:43:26 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-28 07:44:56 +0200 |
| commit | 6438f3d29e89eea6f5e1e249d4c880056bf4759e (patch) | |
| tree | b21c6b5a88dbf05c0b660423c719d15e6f5cb121 | |
| parent | spec: Add interface group for C and POSIX (diff) | |
| download | rtems-central-6438f3d29e89eea6f5e1e249d4c880056bf4759e.tar.bz2 | |
spec: Add runtime performance requirements
| -rw-r--r-- | spec/req/perf-runtime.yml | 14 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-get-buffer.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-get-no-buffer.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-return-buffer.yml | 4 | ||||
| -rw-r--r-- | spec/rtems/part/req/perf-runtime.yml | 14 | ||||
| -rw-r--r-- | spec/rtems/part/val/perf.yml (renamed from spec/rtems/part/val/performance.yml) | 4 | ||||
| -rw-r--r-- | 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 00000000..9e33cf1a --- /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 43ee6bc8..15fbdad3 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 df7871f4..f8614a3d 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 7654e10c..f204d6f2 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 00000000..fb6f99d1 --- /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 index 348dc0e2..d86bdb2d 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 00000000..139d40e7 --- /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 |