12.07.2015 Views

MSG::= SEQUENCE

MSG::= SEQUENCE

MSG::= SEQUENCE

SHOW MORE
SHOW LESS
  • 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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!