MSG::= SEQUENCE
MSG::= SEQUENCE
MSG::= SEQUENCE
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
TTCN Tests Reactive Systems• Message Based Communication• Asynchronous• PCO = Point of control andobservation ≈ bi-directionalmessage Q• PDU = Protocol Data Unit ≈message• ASP = Abstract Service Primitive≈ “procedure invoked bymessage”• L!A ≈ send A via pco L• L?X ≈ receive A via pco LTTCNTesterL!A L?XIUTPCO L