PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — Inconsistent behavior in Test Transition 011-C

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

    State S1.2 in Fig. 9.16. has an entry behavior that prints S1.2(exit) to the trace. It should print S1.2(entry).
    This problem is also present in the test suite XMI.
  • Reported: PSSM 1.0 — Thu, 27 Jul 2023 08:24 GMT
  • Updated: Fri, 28 Jul 2023 15:40 GMT