source: rtems-central/rtemsspec/tests/spec-validation/action2.yml @ 244b277

Last change on this file since 244b277 was 244b277, checked in by Sebastian Huber <sebastian.huber@…>, on 07/27/20 at 07:23:13

validation: Support N/A in the action transitions

Sometimes the pre-conditions are not independent and it is necessary to
mark pre-conditions as not applicable in a particular transition.
  • Property mode set to 100644
File size: 2.6 KB
Line 
1SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
2copyrights:
3- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
4enabled-by: true
5functional-type: action
6links: []
7post-conditions:
8- name: A
9  states:
10  - name: X
11    test-code: |
12      /* Post A X */
13    text: |
14      Post A X.
15  - name: Y
16    test-code: |
17      /* Post A Y */
18    text: |
19      Post A Y.
20  test-epilogue: |
21    /* Post A epilogue. */
22  test-prologue: |
23    /* Post A prologue. */
24- name: B
25  states:
26  - name: X
27    test-code: |
28      /* Post B X */
29    text: |
30      Post B X.
31  - name: Y
32    test-code: |
33      /* Post B Y */
34    text: |
35      Post B Y.
36  test-epilogue: |
37    /* Post B epilogue. */
38  test-prologue: |
39    /* Post B prologue. */
40pre-conditions:
41- name: A
42  states:
43  - name: X
44    test-code: |
45      /* Pre A X */
46    text: |
47      Pre A X.
48  - name: Y
49    test-code: |
50      /* Pre A Y */
51    text: |
52      Pre A Y.
53  test-epilogue: |
54    /* Pre A epilogue. */
55  test-prologue: |
56    /* Pre A prologue. */
57- name: B
58  states:
59  - name: X
60    test-code: |
61      /* Pre B X */
62    text: |
63      Pre B X.
64  - name: Y
65    test-code: |
66      /* Pre B Y */
67    text: |
68      Pre B Y.
69  test-epilogue: |
70    /* Pre B epilogue. */
71  test-prologue: |
72    /* Pre B prologue. */
73requirement-type: functional
74test-action: |
75  /* Action */
76test-brief: |
77  Test brief.
78test-context:
79- brief: |
80    Context member brief.
81  description: |
82    Context member description.
83  member: |
84    int member
85test-description: |
86  Test description.
87test-header:
88  code: |
89    /* Header code for ${.:/test-name} with ${.:/test-run}() */
90  includes:
91  - d.h
92  local-includes:
93  - e.h
94  run-params:
95  - description: |
96      Parameter A description.
97    dir: in
98    name: a
99    specifier: int *${.:name}
100  - description: |
101      Parameter B description.
102    dir: null
103    name: b
104    specifier: int ${.:name}
105  - description: |
106      Parameter C description.
107    dir: out
108    name: c
109    specifier: int *${.:name}
110  target: action2.h
111test-includes:
112- a.h
113test-local-includes:
114- b.h
115test-name: Action 2
116test-setup:
117  brief: |
118    Setup brief.
119  code: |
120    /* Setup code */
121  description: |
122    Setup description.
123test-stop: null
124test-support: |
125  /* Support code */
126test-target: action2.c
127test-teardown:
128  brief: |
129    Teardown brief.
130  code: |
131    /* Teardown code */
132  description: |
133    Teardown description.
134transition-map:
135- enabled-by: true
136  post-conditions:
137    A: X
138    B: Y
139  pre-conditions:
140    A: all
141    B:
142    - X
143- enabled-by: true
144  post-conditions:
145    A: Y
146    B: X
147  pre-conditions:
148    A: N/A
149    B:
150    - Y
151rationale: null
152references: []
153text: |
154  Text.
155type: requirement
Note: See TracBrowser for help on using the repository browser.