PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — RTC steps of Test Junction 005

Open Closed All
  • Key: PSSM11-26
  • Status: open  
  • Source: Budapest University of Technology and Economics ( Mr. Marton Elekes)
  • Summary:

    The RTC steps table of Test Junction 005 should contain a Continue event at the last place in steps 2-4.

    In RTC step 4 the event pool should be reversed and it should be a trivial RTC step to discard CE(S1.2) as the note suggests: "The completion event occurrence generated for S1.2 is lost, since the state has no completion transition available".
  • Reported: PSSM 1.0 — Fri, 28 Jul 2023 09:41 GMT
  • Updated: Fri, 28 Jul 2023 15:43 GMT