Incorrect transition numbering in Deferred007_Test
-
Key: PSSM_-23
-
Status: closed
-
Source: Commissariat a l Energie Atomique-CEA ( Dr. Jeremie Tatibouet)
-
Summary:
The classifier behavior of the test Deferred007 is specified as a state machine. Transitions in this state machine are numbered. However the numbering goes jumps from T3 to T6.
-
Reported: PSSM 1.0a1 — Wed, 7 Nov 2018 15:55 GMT
-
Disposition: Resolved — PSSM 1.0
-
Disposition Summary:
Resolution of issue
PSSM_-23The resolution requires:
- An update of the specification document. Indeed Figure 9.101, the generated trace, the note and the RTC steps overview need to updated.
- An update of the test suite model.
-
Updated: Mon, 1 Apr 2019 18:19 GMT
-
Attachments:
- Deferred007_Test.svg 23 kB (image/svg+xml)