Skip to content

Commit 6282659

Browse files
AlexanderLaninCopilot
andcommitted
adjust and improve tests
Co-authored-by: Copilot <copilot@github.com>
1 parent a4665ef commit 6282659

1 file changed

Lines changed: 21 additions & 3 deletions

File tree

src/extensions/score_metamodel/tests/rst/options/test_options_options.rst

Lines changed: 21 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -190,15 +190,33 @@
190190
191191
192192
193+
--- feat_saf_fmea violates begin ---
194+
193195
.. Negative Test: Linked to a non-allowed requirement type.
194-
#EXPECT: feat_saf_fmea__child__26: references 'comp_req__child__ASIL_B' as 'violates', but it must reference Feature Sequence Diagram (feat_arc_dyn).
196+
#EXPECT: feat_saf_fmea__child__26: references 'comp_req__child__ASIL_B' as 'violates', but it must reference Feature Sequence Diagram (feat_arc_dyn) or Feature & Feature Package Diagram (feat_arc_sta).
195197

196198
.. feat_saf_fmea:: Child requirement 26
197199
:id: feat_saf_fmea__child__26
198-
:safety: ASIL_B
199-
:status: valid
200200
:violates: comp_req__child__ASIL_B
201201

202+
.. feat_saf_fmea can link either feat_arc_dyn or feat_arc_sta
203+
204+
Expect no errors related to "violates" field. We need to be generic for expect-not verifications.
205+
#EXPECT-NOT: violates
206+
207+
.. feat_saf_fmea:: This requirement links a feat_arc_dyn
208+
:id: feat_saf_fmea__violate__dyn
209+
:violates: feat_arc_dyn__test_good_1
210+
211+
212+
Expect no errors related to "violates" field. We need to be generic for expect-not verifications.
213+
#EXPECT-NOT: violates
214+
215+
.. feat_saf_fmea:: This requirement links a feat_arc_sta
216+
:id: feat_saf_fmea__violate__sta
217+
:violates: feat_arc_sta__test_good_1
218+
219+
--- feat_saf_fmea violates end ---
202220

203221

204222
.. Tests if the attribute `safety` follows the pattern `^(QM|ASIL_B)$`

0 commit comments

Comments
 (0)