PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — Missing alternative trace for orthogonal region in Test Transition 011-D

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

    In Test Transition 011-D the entry behavior of states S1.1 and S2.1 in the two regions should be concurrent, therefore the following two alternative traces are missing:

    • S2.1(entry)::S1.1(entry)::T3(effect)::S1.1(exit)::S2.1(exit)::S1(exit)
    • S2.1(entry)::S1.1(entry)::T3(effect)::S2.1(exit)::S1.1(exit)::S1(exit)
  • Reported: PSSM 1.0 — Thu, 27 Jul 2023 08:25 GMT
  • Updated: Fri, 28 Jul 2023 15:40 GMT