Skip to content

Commit f8e861d

Browse files
Fix explanation message for case "safety != QM" for saf_linkage_safety requirements
1 parent 76605f8 commit f8e861d

2 files changed

Lines changed: 16 additions & 16 deletions

File tree

src/extensions/score_metamodel/metamodel.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -734,4 +734,4 @@ graph_checks:
734734
condition: safety == ASIL_B
735735
check:
736736
mitigates: safety != QM
737-
explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
737+
explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.

src/extensions/score_metamodel/tests/rst/graph/test_metamodel_graph.rst

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@
127127

128128
.. Mitigation of Safety Analysis (FMEA and DFA) shall be checked. Mitigation shall have the same or higher safety level than the analysed item.
129129
.. Negative Test: Linked to a mitigation that is lower than the safety level of the analysed item.
130-
#EXPECT: feat_saf_dfa__child__10: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
130+
#EXPECT: feat_saf_dfa__child__10: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
131131

132132
.. feat_saf_dfa:: Child requirement 10
133133
:id: feat_saf_dfa__child__10
@@ -137,7 +137,7 @@
137137

138138

139139
.. Positive Test: Linked to a mitigation that is equal to the safety level of the analysed item.
140-
#EXPECT-NOT: feat_saf_dfa__child__11: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
140+
#EXPECT-NOT: feat_saf_dfa__child__11: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
141141

142142
.. feat_saf_dfa:: Child requirement 11
143143
:id: feat_saf_dfa__child__11
@@ -147,7 +147,7 @@
147147

148148

149149
.. Positive Test: Linked to a mitigation that is higher to the safety level of the analysed item.
150-
#EXPECT-NOT: feat_saf_dfa__child__12: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
150+
#EXPECT-NOT: feat_saf_dfa__child__12: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
151151

152152
.. feat_saf_dfa:: Child requirement 12
153153
:id: feat_saf_dfa__child__12
@@ -157,7 +157,7 @@
157157

158158

159159
.. Negative Test: Linked to a mitigation that is lower than the safety level of the analysed item.
160-
#EXPECT: comp_saf_dfa__child__13: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
160+
#EXPECT: comp_saf_dfa__child__13: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
161161

162162
.. comp_saf_dfa:: Child requirement 13
163163
:id: comp_saf_dfa__child__13
@@ -167,7 +167,7 @@
167167

168168

169169
.. Positive Test: Linked to a mitigation that is equal to the safety level of the analysed item.
170-
#EXPECT-NOT: comp_saf_dfa__child__14: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
170+
#EXPECT-NOT: comp_saf_dfa__child__14: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
171171

172172
.. comp_saf_dfa:: Child requirement 14
173173
:id: comp_saf_dfa__child__14
@@ -177,7 +177,7 @@
177177

178178

179179
.. Positive Test: Linked to a mitigation that is higher to the safety level of the analysed item.
180-
#EXPECT-NOT: comp_saf_dfa__child__15: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
180+
#EXPECT-NOT: comp_saf_dfa__child__15: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
181181

182182
.. comp_saf_dfa:: Child requirement 15
183183
:id: comp_saf_dfa__child__15
@@ -187,7 +187,7 @@
187187

188188

189189
.. Negative Test: Linked to a mitigation that is lower than the safety level of the analysed item.
190-
#EXPECT: feat_plat_saf_dfa__child__16: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
190+
#EXPECT: feat_plat_saf_dfa__child__16: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
191191

192192
.. feat_plat_saf_dfa:: Child requirement 16
193193
:id: feat_plat_saf_dfa__child__16
@@ -197,7 +197,7 @@
197197

198198

199199
.. Positive Test: Linked to a mitigation that is equal to the safety level of the analysed item.
200-
#EXPECT-NOT: feat_plat_saf_dfa__child__17: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
200+
#EXPECT-NOT: feat_plat_saf_dfa__child__17: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
201201

202202
.. feat_plat_saf_dfa:: Child requirement 17
203203
:id: feat_plat_saf_dfa__child__17
@@ -207,7 +207,7 @@
207207

208208

209209
.. Positive Test: Linked to a mitigation that is higher to the safety level of the analysed item.
210-
#EXPECT-NOT: feat_plat_saf_dfa__child__18: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
210+
#EXPECT-NOT: feat_plat_saf_dfa__child__18: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
211211

212212
.. feat_plat_saf_dfa:: Child requirement 18
213213
:id: feat_plat_saf_dfa__child__15
@@ -217,7 +217,7 @@
217217

218218

219219
.. Negative Test: Linked to a mitigation that is lower than the safety level of the analysed item.
220-
#EXPECT: feat_saf_fmea__child__19: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
220+
#EXPECT: feat_saf_fmea__child__19: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
221221

222222
.. feat_saf_fmea:: Child requirement 19
223223
:id: feat_saf_fmea__child__19
@@ -227,7 +227,7 @@
227227

228228

229229
.. Positive Test: Linked to a mitigation that is equal to the safety level of the analysed item.
230-
#EXPECT-NOT: feat_saf_fmea__child__20: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
230+
#EXPECT-NOT: feat_saf_fmea__child__20: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
231231

232232
.. feat_saf_fmea:: Child requirement 20
233233
:id: feat_saf_fmea__child__20
@@ -237,7 +237,7 @@
237237

238238

239239
.. Positive Test: Linked to a mitigation that is higher to the safety level of the analysed item.
240-
#EXPECT-NOT: feat_saf_fmea__child__21: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
240+
#EXPECT-NOT: feat_saf_fmea__child__21: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
241241

242242
.. feat_saf_fmea:: Child requirement 21
243243
:id: feat_saf_fmea__child__21
@@ -247,7 +247,7 @@
247247

248248

249249
.. Negative Test: Linked to a mitigation that is lower than the safety level of the analysed item.
250-
#EXPECT: comp_saf_fmea__child__22: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
250+
#EXPECT: comp_saf_fmea__child__22: Parent need `feat_req__parent__QM` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
251251

252252
.. comp_saf_fmea:: Child requirement 22
253253
:id: comp_saf_fmea__child__22
@@ -257,7 +257,7 @@
257257

258258

259259
.. Positive Test: Linked to a mitigation that is equal to the safety level of the analysed item.
260-
#EXPECT-NOT: comp_saf_fmea__child__23: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
260+
#EXPECT-NOT: comp_saf_fmea__child__23: Parent need `feat_req__parent__ASIL_B` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
261261

262262
.. comp_saf_fmea:: Child requirement 23
263263
:id: comp_saf_fmea__child__23
@@ -267,7 +267,7 @@
267267

268268

269269
.. Positive Test: Linked to a mitigation that is higher to the safety level of the analysed item.
270-
#EXPECT-NOT: comp_saf_fmea__child__24: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B or ASIL_D requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
270+
#EXPECT-NOT: comp_saf_fmea__child__24: Parent need `feat_req__parent__ASIL_D` does not fulfill condition `safety != QM`. Explanation: An ASIL_B safety requirement must link to a ASIL_B requirement. Please ensure that the linked requirements safety level is not QM and it's status is valid.
271271

272272
.. comp_saf_fmea:: Child requirement 24
273273
:id: comp_saf_fmea__child__24

0 commit comments

Comments
 (0)