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.
Behavior TreesProcess 1receive(request1)//process reqsend(response1)Process 2receive(request2)//process reqsend(response2)Behavior Treerequest1ABTesterend (request1) to p1end (request2) to p2XPECT(response1) ??XPECT(response2) ??Implementationp1p2request2Cresponse1DresponseEMessage Ordering is NON-Deterministic ~ UnpredictableTest Cases must branch = Trees