<strong>CCSDS</strong> HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMS(Or, the entity is locked:failure ; exit))endprocendproc<strong>CCSDS</strong> 705.2-B-1 Page A-69 May 1994<strong>CCSDS</strong> HISTORICAL DOCUMENT
Path Service Test 1RECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis test attempts to send an octet string and a packet on a path which has not been set up as asource.Run the test using the command:ts ps.t1.lot ps.lotType START at the hippo prompt (after some time) and then select pst1 from the menu. Stepthrough the events offered using the NEXT command of hippo. Eventually the success eventshould take place and the next NEXT command will result in deadlock.The choice taken when multiple events are offered is not important for the success of this test;the exception to this is that the success event should not be chosen unless no alternatives existThis is just a holder for the test behaviour:process pst1 : noexit :=(hide pkt, oct, man in(test[pkt, oct, man]|[pkt, oct, man]|PathService[pkt, oct, man]))whereThis is the test behaviour itself:process test[pkt,oct,man] : exit :=hide success, failure in((Attempt to send an octet string on a path which has not yet been set up. Should be rejected.)[](oct ! MakePathID(APID(0,0,0,0,0,0,0,0,0,0,1),Add(1, Add(0, NullAPIDQual)))! MakePathID(APID(0,0,0,0,0,0,0,0,0,0,1),Add(1, Add(0, NullAPIDQual)))! Absent! AddFront(Octet(0,0,0,0,0,0,0,0),AddFront(Octet(0,0,0,0,0,0,0,1), NullOS)) ;failure ; exit<strong>CCSDS</strong> HISTORICAL DOCUMENT<strong>CCSDS</strong> 705.2-B-1 Page A-70 May 1994<strong>CCSDS</strong> HISTORICAL DOCUMENT