`
`Dynamic PartM
`
`Test Case Name : MFOE77_N05
`
`‘ Test Case Dynamic Behaviour
`
`Group
`Purpose
`
`: CommonIDLLE/MFOEstablished/SWSTTIInvaIid/
`: Verify that the IUT on receipt of an out of sequence l-FRAME (P=0) (which causes a new selective reiect
`condition to occur), where the following conditions hold:
`
`.vzh'muorn.w«mu-717.10..
`
`:rflA/M.‘t;:"lv~r,;ru.(,
`
`m«we
`
`
`
`
`
`(acknowledges no new frames or all frames sent to date), and
`V(A) <= N(R) = V(S)
`V(R) < N(S) < V(R)+k (new frame, not the next expected frame)
`
`DlSCARDs the content of the l—FRAME and updates its V(A) with N(R) (of the received l—FRAME).
`The MT is expected to remain in the MFE substate (7.7 ——Peer Receiver Busy—SREJ Recovery and Own
`Receiver Busy).
`
`
`
`
`Default
`
`Configuration
`Comments
`
`
`
`:
`
`:
`:
`
`
`
`
`-
`
`
`
`
`
`Behaviour Description
`
`+PRE_S77
`
`
`
`l_iFrame1( Snded.
`MDLPlIframe (NSError.= (VS+3) MOD ModVal)
`
`
`P0, NSEnor, VR)
`
`START T200
`
`
`+UNEXPECTED_S77
`
`GOTO L1
`
`?T|MEOUT T200
`
`
`MDLPl RFl
`RR_V( Snded.
`
`
`P1, VR)
`
`START T200
`
`
`MDLP? RNR CANCEL T200 RNR_V(RcvRsp. F1.
`
`
`
`VS)
`
`
`+POST__S1
`
`
`+UNEXPECTED_S77
`
`
`GOTg L2
`MDLP70THERWISE CANCEL T200
`
`+POST_S1
`
`MDLP?0THERWlSE CANCEL T200
`
`+POST_S1
`
`
`
`Detailed Comments : (1) Cause a new selective reject condition. Note that the IUT is already in the SREJ Recovery state.
`
`E.g.
`I (P=0) with NS=VS+1 already transmitted. Transmitting the same frame would not cause a new
`selective reject condition to occur. the lUT should treat such a frame as a duplicate frame and simply
`discard it.
`
`
`
`
`(2) Wait T200 to verify that the IUT does not transmit anything.
`
`(3) Verify that the MT has not changed its NR.
`
`(4) lUTs NR must be equal to the Testers VS.
`
`CDPD System Specification
`Release 1.1 ~ January 19,1995
`WI) 1855 CDPD Forum, inc. All Rights Reserved.
`
`”OATS-365
`
`Page 2207 of 2564
`
`GOOGLE EXHIBIT 1013
`
`Page 2207 of 2564
`
`GOOGLE EXHIBIT 1013
`
`
`
`
`
`'MDLP Abstract Test Sulte {xiiW *‘g‘k
`
`
`
`
`
`
` Test Case Dynamic Behaviour
`
`Test Case Name : MFoenJioe
`
`: Common/DLLE/MFOEstablished/S7/S77/Invalid/
`Group
`
`
`Purpose
`: Verify that the IUT on receipt of an out of sequence l—FRAll-iIE (P=0), where the following conditions
`hold:
`
`V(A) <= N(R) = V(S)
`(acknowledges no new frames or all frames sent to date), and
`V(Fl)+k <= N(S) < V(Fl)—k (outside the receive window)
`
`
`
`
`
`
`
`
`transmits a SABME (P=1) frame.
`
`The IUT is expected to enter the Awaiting Establishment state (5.1 —Fie—Establish).
`
`Default
`
`Configuration
`Comments
`
`:
`
`c............. mm
`
`
`
`
`
`
`+PRE_STT
`
`Behaviour Description
`
`
`
`
`(NSErron: (VS+ er +1) MOD ModVal)
`MDLPllframe
`
`START T200
`
`l_iFrame1( Snded,
`P0. NSEmor, VR)
`
`SABME_V(
`Flchmd, P1)
`
`(P)
`
`(F)
`
`(F)
`
`Copyrighto 1895 GPO Forum. lm. All Rights Reserved.
`
`
`
`MDLP?SABME CANCEL T200
` +VEFL551
`
`
`+POST_S1
`+UNEXPECTED_S77
`
`
`GOTO L1
`
`
`'?T|MEOUT T200
`+POST_S1
`MDLP70THERWISE CANCEL T200
`+POST_S1
`
`
`
`
`
`
`
`
` (2) The IUT is expected to Fla-Establish the link.
`
`Detalled Comments : (1) Send antlflrame whose N(S) value is outside the receive window size. The upper bound was
`selected. One could also write a test using NS = VFl —k —1 instead. This would be covered in a full
`conformance test suite.
`
`”OATS-366
`
`CDPD System Specification
`Release 1.1 0 January 19. 1995
`
`Page 2208 of 2564
`
`, ,..VW.Wm.«WW.V wwwewmg
`
`QBBZZ4835
`
`Page 2208 of 2564
`
`
`
`Test Case Dynamic Behaviour
`
`Test Case Name : MFOET7_NO7a
`Group
`: Common/DLLFJMFOEstablished/s7/S77/Invalidl
`Purpose
`: Verity that the IUT on receipt of an l-FRAME (P=0) with an N(Ft) error, where the following condition
`holds: V(S) < N(R) < V(A) (N(Fi) error) transmits a FRMR (F=1) with the 2 bit set to 1 followed by a
`SABME (F=1) frame.
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`Default
`
`The IUT is expected to enter the Awating establishment state (5.1 lie—Establish).
`
`Configuration
`
`
`
`
`(NRError := (VR + 1) MOD ModVal)
`MDLPllframe
`l_iFrame1(Snded.
`
`
`P0, VS.NRError)
`
`
`START T200
` FRMFt_I_NRErr(Cm
`
`MDLP?FRMR CANCEL T200
`
`d, FtcvRsp.F0,
`NRError, VS, VFt)
`
`START Twait
`
`
` SABME_V(Rchmd
`MDLP?SABME CANCEL Twait
`
`,P1)
`
`+VER_SS1
`
`+POST_St _
`
`' +UNEXPECTED_STI
`
`GOTO L2
`
`mmeou-r T200
`
`+POST_S1
`
`MDLP70THERWISE CANCEL Twait
`
`+POST_S1
`
`+UNEX5-ECTED_STT
`
`GOTO L1
`
`?TIMEOUT T200
`
`+POST_S1
`
`MDLP?OTHERWISE CANCEL T200
`
`+POST_S1
`
`Detailed Comments : (1) Inject an NFt error.
`
`
`
` (2) IUT has identified the NR error.
`
`(3) The IUT is expected to Re—Establish the link.
`
`
`
`
`
`'
`cope System Specificatlon
`Release 1.1 ' January 19, 1995
`Cqmlwlt o 1995 capo Fonnn, rm. Alt nuns mm.
`
`aaoA'rs—as-r
`
`~:u'
`
`9‘“ v
`
`
`a
`‘-‘é,... "g’
`
`088224836
`
`Page 2209 of 2564
`
`Page 2209 of 2564
`
`
`
`MDLP Abstract Test Suite
`
`
`
`Test Case Name : MFOE77_N07b
`
`Group
`
`Purpose
`
`: CommonlDLLE/MFOEstablished/S7IS77/lnvalid/
`
`: Verify that the IUT on receipt of an l-FRAME (P=O) with an N(R) error, where the following condition
`hold: V(S) < N(R) < V(A) (N(Ft) error) transmits a SABME (P=1) frame.
`
`Default
`
`Configuration
`Comments
`
`:
`
`:
`
`The IUT is expected to enter the Awaiting Establish state ( 5.1 —-Fle—Establish).
`
`i
`
`+PRE_S77
`
`Behaviour Description
`
`Constraints Rel @—
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`l_iFrame1(Snded,
`P0, VS, NHError)
`
`SABME_V(Rchmd
`.P1)
`
`(NRError := (VR + 1) MOD ModVal)
`
`MDLPlllrame
`
`START T200
`
`MDLP?SABME CANCEL T200
`
`+ven_ss1
`+POST_S1
`+UNEXPECTED_S77
`GOTO L1
`?TlMEOUT T200
`+POST_St
`MDLP?OTHERWISE CANCEL T200
`+POST_S1
`
`Detailed Comments : (1) Inject an NR error.
`
`(2) lUT has identified the NR error and is expected to Re«Establish the link.
`
`
`
`"
`
`I
`
`
`
`l
`
`seams-ass
`
`cnPD System Specification
`Release 1.1 v January 19, 1995
`Gopyflahtg 1995 CDPD Forum. inc. All Rights Reserved.
`
`
`
`
`
`Page 2210 of 2564
`
`Page 2210 of 2564
`
`
`
`
`
`
`Page 2211 of 2564
`
`QB 8224838
`
`Page 2211 of 2564
`
`
`
`
`
`;.K
`
`_
`
`7
`
`.
`
`‘
`
`Cellular Digital
`PacketData
`System
`Specification
`
`‘
`
`
`
`Z,
`
`ifimk
`
`Famiaifi
`
`Nari:
`
`'
`
`
`
`‘
`
`W
`
`$31331?
`
`
`
`Page 2212 of 2564
`
`-
`
`
`- wan-'1;
`
`"“”"""‘"’
`
`QBBZZ4839
`
`Page 2212 of 2564
`
`
`
`
`
`Cellular Digital
`Packet Data
`System
`Specification
`
`
`
`Luz-MaywwzflmwwgfimmmamamwM‘
`
` ‘
`
`:;
`‘
`
`.
`§
`‘
`
`{WI-m ,,_
`i “M
`
`I
`
`i
`
`‘4
`
`luv-s
`o
`
`,;
`
`,
`
`v
`
`‘
`
`i:
`
`H Y“
`"3*
`
`,;m
`
`h.
`
`.
`
`,,
`
`Fascicle
`
`Part
`
`IV
`
`930
`
`Protocol Test
`
`Specifications
`
`
`
`
`main-wax : g1;
`
`g),
`
`'.~
`
`QBBZZ484O
`
`Page 2213 of 2564
`
`Page 2213 of 2564
`
`
`
`
`
`Cellular Digital Packet Data System Specification
`Release 1.1
`January 19, 1995
`
`COPYRIGHT NOTICE
`
`© Copyright 1995, CDPD Forum, Inc, All rights reserved.
`
`CDPD System Specification and CDPD Implementor Guidelines (hereinafier, “CDPD System
`Specification”) is subject to copyright of CDPD Forum, Inc. (“CDPD Forum”), and all rights with
`respect thereto belong to CDPD Forum and are specifically reserved.
`
`
`LIMITATION OF
`LIABILITY
`
`LIMITED IJCENSE
`
`CDPD FORUM MAKES NO REPRESENTATIONS ABOUT THE SUITABILITY OF ANY
`MATERIAL COMPRISING THE CDPD SYSTEM SPECIFICATION (OR ANY DERIVATIVE
`WORK INCORPORATING ANY ELEMENT THEREOF) FOR ANY PURPOSE; IT BEING
`PROVIDED “AS IS"AND WITHOUT ANY WARRANTIES WHATSOEVER, EXPRESS OR
`DVIPLIED. THE CDPD FORUM SHALL NOT BE RESPONSIBLE FORANY DAMAGES OF
`ANY KIND RELATED TO THE USE OF THE CDPD SYSTEM SPECIFICATION (ORANY
`DERIVATIVE WORK INCORPORATJNGANY ELEMENT THEREOF), INCLUDING WITHOUT
`LIMITATION, ACTUAL, DIRECT, DIDIRECT, INCIDENTAL, CONSEQUENTIAL, SPECIAL,
`OR GENERAL DAMAGES.
`
`
`
`CDPD hereby grants you, the purchaser and or a CDPD Forum Member in good standing
`("Licensee"), a limited license to use the CDPD System Specification for academic. research and
`product development purposes only, subject to the terms of this Limited License.
`
`0
`
`-
`
`Licensee is entitled to duplicate and distribute the text representations of the CDPD System
`Specification solely for internal use by Licensee provided that the foregoing COPYRIGHT
`NOTICE and LIMITATION OF LIABILITY provisions are included in full with each such
`distribution.
`
`Licensee may make derivative works based on the CDPD System Specification; however, if
`any such derivative works are distributed to third parties, Licensee shall: (1) notify CDPD
`Forum regarding the distribution, including the name and addresses of recipients, and (2)
`provide such third parties with written notice that the derivative work is a modified version of
`(and materially different from) the CDPD System Specification distributed by CDPD Forum,
`
`'afnd (3) include the LIMITATION OF LIABILITY provisions provided above.
`By using, copying or distributing the CDPD System Specification in any manner, Licensee agrees
`to abide by the US. copyright and other applicable laws, including international application
`thereof, including without limitation, any export control laws, in addition to complying with the
`specific terms of the license granted hereby. CDPD Forum shall have the option to terminate the
`license granted hereby with respect to any or all CDPD Forum members for any reason by written
`notice. Licensee shall be legally responsible for any copyright infringement that is caused,
`permitted, aided or abetted by Licensee’s intentional or negligent failure to comply with the terms
`of this license or any infringement of the copyright indicated above.
`
`
`COMMENTS AND
`CONTRIBUTIONS
`
`All review comments or contributions must be accompanied by a fully—executed copy of the Notice
`provided for that purpose in Part 4000 of the CDPD Implementor Guidelines. Any material
`received without such a Notice shall be returned. Please see Part 4000 for instructions.
`
`Address comments and contributions to:
`
`a
`
`info@forum.cdpd.net
`E-mai]:
`Surface mail: CDPD Forum Executive Director
`CDPD Forum, Inc.
`401 North Michigan Avenue
`Chicago, IL 60611—4267 USA
`
`312.321.8689
`Fax:
`Voice: 800.335.2373
`312.664.6610
`
`Please recycle this document when no longer in use. Printed on recycled paper.
`
`
`
`
`
`
`
`.~‘vw‘w v w
`
`Page 2214 of 2564
`
`
`
`Page 2214 of 2564
`
`
`
`
`
`’ Book 8
`
`
`
`‘,
`
`:
`
`Fascicle IV Protocol Test Specifications (Continued)
`
`
`PART 930 MDLP Abstract Test Suite
`
`13 MDLP Abstract Test Suite
`‘
`’
`13.4
`Dynamic Part (Continued) ..................................................... 930ATS—369
`
`1g
`
`#
`
`
`capo System Specification
`Release 1.1 ‘ January 19, 1995
`Condom c1995 CDPD Forum, Inc. All FJghts Reserved.
`
`iii
`
`
`
`Page 2215 of 2564
`
`Page 2215 of 2564
`
`
`
`,4 V_-
`
`
`
`
`
`
`3:
`
`
`
`
`
`
`
`iv
`
`
`
`.M 1,
`
`.... ‘..“ a}: .1
`
`CDPD System Specification
`Release 1.1 ‘ January 19, 1995
`Copyright © 1995 CDPD Forum, Inc. All Rights Rasarvai
`
`Page 2216 of 2564
`
`Page 2216 of 2564
`
`
`
`
`
`
`
`Dynamic Part
`
`Test Case Name : MFOE80_V01
`
`Test Case Dynamic Behaviour
`
`Configuration
`Comments
`
`:
`:
`
`
`
`Group
`: CommonlDLLE/MFOEstablished/SB/SBONaIid!
`
`: Verify that the IUT can transmita SABME (P=1). Purpose
`
` The lUT is expected to enter the Awaiting Establishment state (5.0 Establish).
`
`
`Default
`:
`
`
`lUT must be able to send a SABME (P=1) on demand.
`
`Constraints Ref mm
`Behaviour Description
`
`+PRE_SSO
`
`
`<|UTlSABME>
`SABM E_V(Rchmd
`
`
`
`, P1)
`
`
`START Toper
`
`
` SABME_V(Rchmd
`MDLP?SABME CANCEL Toper
`
`
`. P1)
`
`+VER_SSO
`
`+POST,St
`
`+UNEXPECTED_SaO
`
`GOTO L1
`
`?TlMEOUT Toper
`
`+POST_S1
`
`MDLP?OTHERWISE CANCEL Toper
`
`+P0$T_St
`
`Detailed Comments : (1) Request the IUT to transmit a SABME (P=1) command trame This simulates the reception of a
`DL—ESTABLISH request at the IUTs upper MDLP service interface.
`
`
`
`
`
`
`
`(2) Verify that the IUT has changed to state 850. Side effect that lUT enters $80 upon successful
`completion.
`
`(3) Return the IUT to a stable state.
`2'
`
`(3a) IUT might retransmit
`
`(4) Operator was unable to transmit the requested frame on time. This test should be re—executed in
`this case.
`
`CDPD System Specification
`Release 1.1 0 January 19. 1995
`CopyrightO 1595 con) Fem. Inn. All Rlahls Reserved.
`
`
`
`930ATS—369
`
`.» .qux-«vrwww .,,
`
`
`‘,
`
`QBBZZ4844
`
`Page 2217 of 2564
`
`Page 2217 of 2564
`
`
`
`MDLP Abstract Test Sulte
`
`
`
`
`
`Test Case Name : MFOE80_V02
`Group
`: Common/DLLE/MFOEstablished/SB/SBONaiidl
`
`Purpose
`
`: Verify that the IUT transmits .a UA (F=1) frame in response to a SABME (F=1) frame
`
`The IUT is expected to enter the MFE substate (7.0.1
`.
`'
`
`Default
`
`Configuration
`Comments
`
`Behaviour Description
`
`c............. @—
`
`SABME_V(
`Snded, P1)
`
`UA_V ( FicvRsp, F1)
`
`“—
`1
`
`+PRE_SBO
`MDLPISABME
`
`START T200
`
`MDLP?UA ( RC:=0. VS:=0, VR:=O.
`VA:=0) CANCEL T200
`+VEFLS701
`+POST_S1
`+UNEXPECTED_SBO
`GOTO L1
`?TIMEOUT T200
`
`+POST_S1
`MDLP?OTHERWISE CANCEL T200
`+POST_S1
`
`Detailed Comments : (1) Initialize State variables.
`
`(2) Ensure that the IUT is in MFE $80.
`
`(3) Return IUT to a known stable state.
`
`
`
`
`
`
`
`
` --not in sleep mode)..
`
`Note:
`
`In practice, the MT is expected to respond to the first transmission of the SABME frame.
`
`”a
`
`BOATS-370
`
`
`CDPD System Specification
`Release 1.1 ‘ January 19, 1995
`Copyriml01995 com Forum. inc. All Rights Reserved.
`
`m§w3“ys,.mu.s.~mwwfi-.w V ..._ u.” m. .......,.
`r
`‘v.'
`'.
`.
`
`',"""’"v ‘
`'wu-s- anc' r na"\0 a»
`
`.
`
`088224845
`
`Page 2218 of 2564
`
`
`
`Page 2218 of 2564
`
`
`
`_\
`
`'
`
`Dynamic Part
`
`: Common/DLLEIMFOEstainshed/SB/SBONalid/
`Group
`: Verify that the IUT, on reteipt of a DISC(P=1) lrame, transmits a UA (F=1) frame.
`Purpose
`
` The IUT is expected to enter the TEI Unassigned state (1).
`Default
`:
`l
`Configuration
`‘
`Comments
`
`
`Test Case Name : MFOE80_V03
`
`Test Case Dynamic Behaviour
`
`
`
`
`+PRE_880
`
`DISC_V (Snded,
`MDLPlDISC (RC :=0) START T200
`
`
`P1 )
`
`MDLP? UA CANCEL T200
`UA_V (Flchlsp, F1)
`
`
`+VEF|_S10
`
`+POST_S1
`
`+UNEXPECTED_SBO
`
`GOTO L1
`
`?T|MEOUT T200
`
`+POST_S1
`
`MDLP?OTHERW|SE CANCEL T200
`
`+F’OSTfiS1
`
`Detailed Comments
`
`: (1) Place the IUT in the Timer Recovery state (8.0 «Normal—Normal). ThisIS done by putting the IUT
`
`
`
`
`in S74, waiting for a T200 Timeout and receipt of an RFl(P=1) command and responded to with an
`FIR(F=O.
`‘
`
`. (2) Verify that the IUT has returned to TEI Unassigned state.
`
`
`Note: In practice the IUT is expected to respond to the first transmission of the DISC lrame.
`Caveat: An M-ES should not attempt to deregister it’s NEls by transmitting ESBs encapsulated in
`
`
`
`MDLP lzframes prior to sending the UA. The MD—IS after transmitting a DISC command will be in
`the Awaiting Release state and will simply ignore these frame. Sending an l—frame in response to the
`DISC will result in test case failure.
`
`
`
`
`
`
`1.
`
`
`
`CDPD System Specification
`Release 1.1 .- January 19, 1995
`Capyrigmo 1995 capo Fonim, Inc. All Rim Reserved,
`
`moms-371
`
`Page 2219 of 2564
`
`QBBZZ4846
`
`Page 2219 of 2564
`
`
`
`
`
`w;
`
`'
`
`;
`'
`
`fl
`.
`i}
`.E
`
`'
`
`2
`
`
`
`
`
`
`
`MDLP Abstract Test Sum
`
`Testcase Name : MF0E80_V04
`Gm"P
`: Common/DLLE/MFOEstainshed/SB/SBONalid/
`
`”“1””
`
`: Verify that the MT on receipt of a DM(F=0) frame transmits a‘SABME(P=1)trame.
`
`The IUT is expected to enter the Fie-Establish substate (5.1).
`‘
`
`Delault
`Configuration
`Comments
`
`MDLPiDM START T200
`MDLP?SABME CANCEL T200
`
`t
`
`DM_V (SndRsp, F0)
`SABME_V
`(Rchmd, P1)
`
`'
`
`+VER_S§1
`+POST__S1
`+UNEXPECTED_SBO
`
`GOTO L1
`?T|MEOUT r200
`fPosLsr
`MDLP?OTHEHW|SE CANCEL r200
`
`+POST_S1
`
`Detailed Comments : (1) Indicate to the IUT that the Tester is in Disconnected Mode (DM).
`
`
`
`(2) The IUT is expected to Her—Establish the link.
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`capo System Specification
`Release 1.1 - January 19, 1995
`ConyrightD 1895 ODPD Forum, inc. All Rights Reserved‘
`
`
`
`t'\‘*~~~at..,
`
`
`083224847
`
`930ATH72
`
`
`
`Page 2220 of 2564
`
`Page 2220 of 2564
`
`
`
`
`
`Behaviour Description
`
`Constraints Ref @—
`
`+PHE_SBO
`
`(1)
`
`
`
`..1‘”(”t-mentear.»
`
`
`Dynamic Part a‘
`
`
`
`Test Case Dynamic Behaviour
` Name : MFOE80_V05
`
`: Common/DLLEIMFOEstablishedlsa/SBONalid/
`: Verify that the IUT on receipt of a TEST (P=0) frame responds with TEST (F=0) frame.
` The MT is expected to remain in the Timer Recovery state (8.0 —Norrnai—Normal)
`
`
`
`
`
`
`MDU’ITEST
`
`
`TEST_Frame1 (
`Snded, P0)
`
`START Twait
`
`MDLP?TEST CANCEL Twait
` TEST_Frame1 (
`
`Rchlsp, F0)
`
`+VER_580
`(2)
`
`+POST_S1
`
`+UNEXPECTED_SBO
`
`GOTO L1
`
`?TIMEOUT Twait
`
`+POST_Sl
`
`
`MDLP?OTHEHWISE CANCEL Twait
`(Fl
`
`+POST_SI
`‘
`
`Detailed Comments : (1) Exchange of TEST frames should not modify any of the state variables.
` (2) The IUT should still be in the same state as prior to the TEST frame exchange.
`
`(P)
`
`(1)
`
`(F)
`
`
`
`
`
`
`
`CDPD System Specification
`
`Release 1.1 ‘ January 19, 1995
`Copylluhtfl 1895 CDPD Forum. Inc. All filmls Reserved.
`
`
`
`QBBZZ4848
`
`930A'I'S-373
`
`'
`
`Page 2221 of 2564
`
`Page 2221 of 2564
`
`
`
`
` mmfimwwe?"—vA-m-‘-
`:2,
`
`www.132-
`«44-4.1
`“mew.9
`
`(.
`
`Jr»?W
`
`
`
`MDLP Abstract Test Sulle
`
`Test Case Dynamic Behaviour
`
`Default
`
`Configuration
`Comments
`
`:
`
`
`
`
`
`
`Detailed Comments : (1) Place the IUT in the Timer Rmovery state (8.0 —-Normal—Nonnal). This is done by putting the IUT
`in S74, waiting for a T200 Timeout and receipt of an RR(P=1) command and responded to with an
`RR(F=0.
`
`
`(F)
`
`(F)
`
`
`
`(2) Reject a UA frame. Note that the IUT should respond according to the protocol in spite of the
`fact that agvalid UA frame was received during the connection establishment.
`
`
`
`(3) The IUT is expected. to lite-Establish the link.
`
`Release 1.1 ' January 19, 1995
`copyrighte 1995 CDPD Fomm, inc. All ngnts Reserved
`
`
`
`WC.
`
`
`
`Page 2222 of 2564
`
`
`
`Test Case Name : MFoeaoyos
`
`Group
`: Common/DLLE/MFOEstabIished/SB/SBONaIid/
`
`
`purpose
`: Verify that the MT on receipt of a FRMR response frametejecting a UA frame transmits a SABME (P=1)
`
`frame.
`
` The MT is expected to enter the Awaiting Establishment state (5.1 —Re—Establish).
`
`
`
`
`
`
`
`Behaviour Description
`
`Constraints Ret
`
`m-
`
`1
`+PRE_SBO
`MDLPIFRMR
`
`
`
`
` START T200
`MDLP?SABME CANCEL T200
`SABME_V
`(Rchmd. P1)
`
`+VER_551
`
`
`+POST_S1
`+UNEXPECTED_SBO
`
`
`GOTO L1
`
`
`?TIMEOUT T200
`+POST_S1
`MDLP?OTHERWISE CANCEL T200
`+POST_S1
`
`FFlMR_UA(Cmd,
`SndRsp, F1. VR.
`v3)
`
`(1)
`(2)
`
`(P)
`
`(3)
`
`
`
`Page 2222 of 2564
`
`
`
`
`
`
`
`Dynamic Part
`
`
`
`Test Case Dynamic Behaviour
`
`_
`
`:Commen/DLLE/MFOEstablished/SB/SBONalid/
`: Verify that the MT on receipt 01 an RR (P=1) frame where V(A) <= N(R) <= V(S) transmits a RR (F=1)
`trame.
`
`The IUT is expected 10‘ remain in the Timer Recovery state (8.0 ——Norrnal—Norrnal)
`‘
`
`
`
`
`
`
`
`
`
`
`
`Test Case Name : MFOEBO_V07
`
`' Group
`Purpose
`
`
`
`Default
`
`' Configuration
`
`:Acknowledges all frames sent by the IUT.
`Comments
`
`Constraints Ref mm
`Behaviour Description
`I n-
`
`
`MDLPIRR
`
`RR_V( Snded,
`P1, vn)
`
` START T200 ‘
`
`MDLP?RR CANCEL T200
` RR_V (RcvRsp, F1,
`VS)
`
`+POST_S!
`
`+UNEXPECTED_SBO
`
`GOTO L1
`
`TTIMEOUT T200
`
`
`+POST_S1
`
`MDLP 7OTHEHWISE CANCEL T200
`
`+POST_S1
`
`Detailed Comments :
`
`(1) Place the IUT in the Timer Recovery state (8.0 ——Normal—Normal). This'Is done by puttlng the IUT
`in $74, waiting for a T200 Timeout and receipt of an RR(P=1) command and responded to with an
`
`RR(F=0.
`
`
`(2) Request the IUT's current NR value. The IUT must respond as poll bit is set. V(A) <=N(R) means
`
`that new l frames may or may not have been acknowledged. N(R) <=V(S) means that some or all of
`
`the transmitted I frames may be acknowledged. ,
`
`(3) Reéeipt of the RR frame implies that we are still in 380.
`
`
`
`+PRE—$80
`
`
`
`
`I:.
`
`
`
`
`
`‘
`cnpo System Specification
`Release 1.1 . January 19, 1995
`Copyrigth 1995 CDPD Fomm, inc. All Rights Reserved.
`
`sauna-375
`
`
`088224850
`
`Page 2223 of 2564
`
`Page 2223 of 2564
`
`
`
`.3
`
`
`
`
`
`Test Case Name : MFOEBO_V08
`Group
`: Common/DLLE/MFOEstainshed/Sfl/SBONalid/
`
`P11113039
`
`: Verify that the IUT on receipt of HF! (F=1) frame where V(A) <=' N(R) < V(S), requeues all I frames where
`V(A) <=N(S) <V(S) and sets its V(S) equal to ME).
`
`The IUT is expected to enter the MFE substate (7.0.1 ——not in sleep mode).
`
`Default
`
`Configuration
`Comments
`
`:
`
`:
`
`“Law
`
`+PHE_380
`
`Behaviour Description —_M
`(1)
`
`HFi_V(SndFisp,F1,
`CurVR)
`
`l__V(Flchmd. PO,
`CurVR. VS)
`
`(CurVFl:=VFf)
`+RequestNlFrames(2)
`MDLPIRFI
`
`<|UTllfreme>
`
`START Toper
`MDLP?lframe CANCEL Toper
`
`+POST_S1
`+UNEXPECTED_SBD
`GOTO L1
`
`'?TlMEOUT Toper
`+F‘OST_S1
`MDLP70THEFIWISE CANCEL Toper
`+POST_S1
`
`
`
`(1) Place the [UT in the Timer Recovery state (8.0 —-Normal—Nonnal).
`
`(2) Save the current VR value.
`
`(a) Requesfine Test Operator to transmit 2 frames. These frames are not acknowledged.
`
`(4) Tx an unsolicited RR(F=1). The lUT should rewind its queue transmit queue, then set V(S)=N(R).
`
`(5) Request mother I frame. Note that no constraint is provided here.
`
`(6) Contents of I frame data field is not important, only NS, NR values are of ooncem. it is expected
`that the IUFs NS=CurVR as queue was rewound.
`
`E.g.
`
`In this test:
`
`VA=0. VR=0, VS=0
`IUT:
`TESTER: VA=0. VR=0, VS=0
`
`IUT
`
`Tester
`
`|(NS=0, NH=0) -—‘—->
`
`VA=0, VS=0, VR=1
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`l(NS=1. NH:O) ————>
`
`VA=O. vs=o, VR=2
`
`Continued on next page
`
`
`930ATS-376
`
`CDPD System Specification
`Release 1.1 . January 19, 1995
`Copyrights 1395 CDPD Forum. inc. All Rights Reserved.
`
`
`
`Page 2224 of 2564
`
`Page 2224 of 2564
`
`
`
`
`
`Dynamic Part
`
`5
`
`
`
`
`Test Case Dynamic Behaviour
`
`<—————-— . RFt(F=1) (NR=6)
`
`
` The IUT rewinds the queue using V(A) < N(S) < V(S) constraint.
` VA=0, vnw, v3=o (6.9 .VS=NR in received RFI).
`
`The next lframe to be received should be:
`
`|(NS=O, NR=0) ———>
`‘
`
`Note: Although I‘ frames were received, indicate to the IUT that nothing has yet been received.
`A RR (F=1) withi NR=2 would be used if aeking received frames.
`
`
`
`VA=0. vs=o, VR=1
`
`
`
`
`
`Copyright 01995 GJPD Forum. Inc, All Rights Reserved, 930ATS—377
`
`
`CDPD Watem Specification
`Release 1.1 ' January 19, 1995
`
`QBBZZ4852
`
`Page 2225 of 2564
`
`Page 2225 of 2564
`
`
`
`
`MDLP Abstract Test Suite
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`Test Case Name : MFOE80_V09
`
`Test Case Dynamic Behaviour
`
`Group
`Purpose
`
`Default
`
`: Common/DLLEJMFOEstabiished/SB/SBONalid/
`: Verify that the IUT on receipt of an SREJ (P=0) frame where V(A) <= N(R) < V(S) (N(R) does not
`acknowledge frames), resends the i—FRAME(s) indicated by the N(R) contained in the SREJ frame.
`
`The IUT is expected to remain in the Timer Recovery state (8.0 “Normal—Normal).
`
`Configuration
`Comments
`
`Behaviour Description
`
`+PRE_SBO
`
`
`
`
`Constraints Ref mm
`
`
`+RequeslNlFrames (2)
`
`( NRResend := (VR - 1) MOD ModVal)
`
`'
`SREJ_V(Snded.
`MDLPlSREJ START Twait
`
`P0. NRResend )
`NRResendI VS ) MDLP?lframe CANCEL Twait
`
`|_V (Rchmd, P0,
`
`
`
`
`+POST__S1
`
`
`+UNEXPECTED¢SBO
`
`GOTO L1
`
`7TlMEOUT Twait
`
`+POST_S1
`
`MDLP70THERWISE CANCEL Twait
`
`+POST_S1
`
`
`
`
`Detailed Comments : (1) Place the IUT in the Timer Recovery slate (8.0 —Normal—Normal). This is done by putting the MT
`in $74, waiting for a T200 Timeout and receipt of an RR(P=1) command and responded to with an
`RR(F=O.
`
`
`(2) MT sends 2 1 frame.
`
`
`
`
`
`(3) Seit‘NR to request the last transmitted I—frame.
`(4) Tester requests that the MT retransmit the VR-1 frame (last transmitted i—frame as VR is
`
`incremeted by 1 each time the tester receives an I frame
`
`(5) The requested I frame was received.
`
`
`Note: The following test assumes that once an I frame has been transmitted (by operator
`intervention). that it is stored intematly and will be retransmitted automatically without any further
`
`operator intervention.
`
`
`
`
`
`
`
`
`
`
`930ATS—378
`
`CDPD System Specification
`Release 1.1 0 January 19, 1995
`Copyrlgftto 1995 CDPD Forum. inc. All Riyals Reserved.
`
`t
`
` a .,-.. ‘gr
`
`~
`
`4
`
`088224853
`
`Page 2226 of 2564
`
`Page 2226 of 2564
`
`
`
`-' .; 3-, . '..A.;({~,gu;g.:¢‘~aq 1.11%!1‘613'34 w. ‘ curryvzu .
`
`’1‘
`
`..;
`
`_‘
`
`
`_
`,
`Dynamic Part
`
`I
`
`‘ Test Case Dynamic Behaviour
`
`: MFOE80_V10
`: Common/DLLE/MFOEstabiished/SBISBONaiid/
`
`: Verify that the iUT on receipt of an RNR (P=1) frame where V(A) <= N(R) <= V(S), transmits an RR
`(F=1) frame.
`
`The IUT is expected to‘ enter the Timer Recover state (8.4 —Peer Receiver Busy —Nonnai).
`
`Donfiguration
`
`Behaviour Description
`
`+PRE_sao
`MDLPiRNR START T200 ‘
`
`MDLP?RR CANCEL T200
`
`Constraints Ref @—
`1)
`(
`
`RNR_V(Snded,
`P1, vn)
`RR_V(RcvRsp, F1,
`v3)
`
`.
`
`'
`
`‘
`
`»
`
`.
`
`.
`‘
`
`'.
`'
`
`j
`.
`:‘
`'
`:1
`:,
`3,
`
`.-
`
`‘
`
`E.g. N(R) <=V(S). (3) lUTs NR= Tester's VS.
`
`.
`
`.
`
`+VER_SB4
`+POST_Si
`+UNEXPECTED_880
`GOTO L1
`?TIMEOUT T200
`+FOST__S1
`MDLF?OTHERW|SE CANCEL T200
`+FOST_S1
`.
`
`;
`
`Detailed Comments : (1) Place the IUT inlthe Timer Recovery state (8.0 ~NonnaI—Non'nal). This'is done by putting the iUT
`in $74, waiting for a T200 Timeout and receipt of an RR(P=1) command and responded to with an
`RR(F=O.
`
`(2) Indicate to IUT that tester is in own receiver busy. Poll bit set (P=1), therefore IUT must respond.
`Note that tester acknowledges all l—frames that have been sent.
`
`
`
`u
`
`
`
`CDPD System Specification
`Release 1.1 - January 19, 1995
`, Copwight°1995 GDPD Forum. Inc. Al Rights Reserved.
`
`'
`
`”OATS-379
`
`
`
`088224854
`
`Page 2227 of 2564
`
`Page 2227 of 2564
`
`
`
`
`
`
`
`1
`Test Case Name : MFOE80__V11
`Group
`: Common/DLLE/MFOEstainshed/SB/SBONalid/
`Purpose
`: Verify that the IUT on receipt of RNR (FT—1) frame where V(A) <= N(R) < V(S). requeues all 1 frames
`where V(A) <=N(S) <V(S) and sets its V(S) equal to N(R).
`
`The IUT is expected to enter the MFE substate (7.4 «Peer Receiver Busy~Norma|).
`‘
`
`Default
`Configuration
`
`:
`
`Comments
`
`‘
`:
`_——m
`‘
`(1)
`+PRE_SSO
`
` l
`
`
`
`
`
`
`RN R__V(SndRsp,F1 .
`CurVFl)
`RR_V(Snded,PD,
`CurVR)
`
`I_V(Rchmd, P0,
`CurVR, VS)
`
`(CurVR:=VR)
`+RequestNlFrames(2)
`MDLPIRN R
`
`‘
`‘
`
`MDLPIRR
`
`START T200
`
`+UNEXPECTED_S701
`GOTO L1
`7TIMEOUT T200
`<IUTllframe>
`
`START Toper
`’ MDLP'?lframe CANCEL Toper
`’
`+POST_31
`+UNEXPECTED.S&0
`GOTO L2
`
`'ITlMEOUT Taper
`+eesr_31
`‘
`MDLP?OTHERWISE CANCEL Toper
`+POST__Sl
`MDLP?OTHERWISE CANCEL T200
`+POST_S1
`
`
`
`Detailed Comments : (1) Place the IUT in the Timer Recovery state (8.0 ——Norrnal—Norrnal).
`
`(2) Save the current VR value.
`
`(3) Request the Test Operator to transmit 2 frames. These frames are not acknowledged.
`
`' (4) Tx an unsolicited RR(F=1). The IUT should rewind its queue transmit queue, then set V(S)=N(R).
`
`(4a) Tx an RR frame to allow the IUT to transmit an theme to the tester. Otherwise, by definition
`whe the tester is in Busy condition, the lUT would refuse to transmit an I frame.
`
`(5) Request another I frame. Note that no constraint is provided here.
`
`(6) Contents of 2| frame data field is not important. only NS, NR values are of concern. It is expected
`that the lUT's NS=CurVR as queue was rewound.
`
`Continued on next page
`
`
`
`930ATS—380
`
`CDPD System Specification
`Release 1.1 - January 19, 1995
`Capyflghle 1895 QDPD Forum, Inc. All Rights Reserved.
`
`Page 2228 of 2564
`
`QBBZZ4855
`
`Page 2228 of 2564
`
`
`
`tinned Imm previous page
`
`Detailed Comments :
`
`Test Case Dynamic Behaviour
`
`E.g.
`
`In this test‘
`
`VA=0, VR=0, VS=O
`lUT:
`TESTER: VA=0, VH=O, VS=0
`
`lUT
`
`Tester
`
`|(NS=O, NR=O) ___>
`
`i(NS=1, NFi=0) -—————>
`
`VA=o, vs=o, vn=1
`
`VA=O, VS=0, VH=2
`
`<_——— (HR(F=1) (NR=0)
`
`
`
`Note: Although I frarnes were received, indicate to the lUT that nothing has yet been received.
`A HR (F=1) with NR=2 would be used if acking received frames.
`
`The IUT rewinds the queue using V(A) < N(S) < V(S) constraint.
`
`VA=0, VFl=0, VS=0
`
`(e.g .VS=NFi in received HR).
`
`The next I frame to be received shouid be:
`
`|(NS=0, NR=0) .-————>
`
`VA=0, vs=o, vn=1
`
`Dynamic Part
`
`
`
`>7-
`
`
`
`CDPD System Specification
`Release 1.1 ~ January 19, 1995
`Copyrighto 1995 CDPD Forum, inc. All Rights Reserved.
`
`
`
`' 9‘," .-
`t.
`1-
`W.:«u.\.r
`-aw~..>>
`+5,
`
`088224856
`
`”OATS-381
`
`Page 2229 of 2564
`
`Page 2229 of 2564
`
`
`
`MDLP Abstract Test Suite
`
`'
`
`‘
`
`
`
`
`
`Test Case Dynamic Behaviour
`
`Test Case Name : MFOE80_V12
`
`Group
`Purpose
`
`: Common/DLLEIMFOEstablished/St‘i/SBONalid/
`: Verify that the lUT on receipt of an I—FRAME (P=0), where the following conditions hold:
`
`V(A) <= N(R) = V(S) (acknowledges no new frames or all of them), and
`N(S) = V(R)
`(iUTs next to send is the tester‘s next expected frame to be received)
`increments its V(R) by one and Updates its V(A) with the N(R) contained in the received frame.
`The IUT is expected to remain in the Timer Recovery state ( 8.0 ——Norrnal—Non'nai)
`
`Default
`
`Configuration
`Comments
`
`:
`
`(5) IUTs NR must be equal to the Tester‘s VS.
`
`“—
`
`Behaviour Description
`
`+PFiE_SBO
`MDLPllframe
`( VS:=(VS+1) MOD ModVaI)
`MDLP! an
`START T200
`
`MDLP?RFI CANCEL T200
`+POST_S1
`+UNEXPECTED_380
`GOTO L1
`
`?TIMEOUT T200
`+POST*S1
`
`MDLP?0THEFlWISE CANCEL T200
`+POST_S1
`
`Constraints Ref
`
`i_iFrame1( Snded,
`P0, VS, TempVR)
`
`RR_V( Snded,
`P1, vn)
`
`RR_V(Rchisp. F1 ,
`VS)
`
`Detailed Comments : (1) Piacetfie lUT in the Timer Recovery state (8.0 —-Normal—Normal). This is done by putting the lUT
`in S74, waiting for a T200 Timeout and receipt of an RR(P=1) command and responded to with an
`RR(F=O. All
`I frames oreceived to date are acknowledged.
`(2) Send I frame.
`
`(4) Request the lUT's current NR. Poll bit set (P=1), therefore lUT must respond. Note that the RR
`
`,
`
`1':
`
`j
`;
`
`
`
`
`
`
`h!
`
`930ATS—382
`
`CDPD System Specification
`Release 1.1 . January 19, 1995
`Copyrighto 1395 GDPD Forum. inc. All Rights Reserved.
`
` "MW ,, .3 .,
`
`
`, newmwmmpvwwm~+ my . - 4‘;
`08822485
`
`Page 2230 of 2564
`
`Page 2230 of 2564
`
`
`
`
`
`Dynamic Part
`
`
`
`
`
`
`
`
`; Comman/DLLEIMFOEstablished/SB/SBONalid/
`: Verity that the lUT_upon T200 expiry and retransmission count (RC) is less than the Max.
`Retransmissions Counter (N200) with V(A).< V(S) ( Not all transmitted frames have been
`acknowledged) either relransmits an l—FRAME_(P=1)ortransmits an RR (P=1).
`
`Test Case Dynamic Behaviour
`
`The MT is expected to enter the Timer Recovery substate (8.0 —-Normai—Normal).
`
`
`
`
`+RequestNlFrames (1)
`
`
`START Twait
`
`|_V(Rchmd, P1,
`MDLP?ltrame
`
`
`
`CurVR, VS)
`
`
`+POST_S1
`
` RR_V(Rchmd, P1,
`MDLP?RR
`
`
`v3)
`
`+POST_S1
`+UNEXPECTED_SBO
`
`GOTO L1
`
`?TIMEOUT Twait
`
`+POST_81
`
`MDLP'?OTHERWISE CANCEL Twait
`+POST_S1
`
`
`
`
`
`
`
`
`
`(2) Request the IUT to transmit one I frame. VR is incremented by 1. The I frame is not acknowledged.
`
`(3) The IUT should be in timer recovery. Twait > T200. This is to ensure that the lUTs T200 expires
`and is placed in timer recovery state.
`
`(4) The IUT is expected to either retransmit the | frame or transmit 3 RR (P=1) frame following expiry
`of its T200 timer. Wait for a period of time larger than T200.
`
`
`
`CDPD System Specification
`Release 1.1 . January 19, 1995
`Copyright D1985 CDFD Fomm. Inc. All Rights Reserved.
`
`”OATS-383
`
`
`‘ " '=' "was , 1.» a ;:.‘:W\'- ““fi-N‘Wwe
`088224858
`
`Page 2231 of 2564
`
`Page 2231 of 2564
`
`
`
`
`
`MDLP Abstract Tee! Suite
`
`
`
`Test Case Name
`Group
`
`: MFOE80_V13a
`: Common/DLLE/MFOEstablished/salsaoNalidl
`
`Test Case Dynamic Behaviour
`
`Purpose
`
`: Verify that the IUT, upon T200 expiry where RC=N200 (the retransmission count equals the Max.
`Retransmission Counter (N200) Re—Establishes the link by transmitting a SABME (P=1) command
`frame.
`.
`
`
`
`
`
`
`
`Configuration
`
`Comments
`III-
`
`: CHECK:
`
`[ RC < n200Value] (RC:= HC +1)
`GOTO L1
`
`'
`
`
`
`
`
`
` The IUT is expected to enter the Awaiting Establishment state ( 5.1 fine—Establish).
`Default
`:
`
`
`Is I frame transmission necessary? IUT is already in Timer Recovery state
`
`
`Behaviour Description
`Constraints Ref mm
`+PRE_SBO
`(1)
`
`
`
`(CurVR:= VFl)
`+RequestNlFrames (1)
`
`START Twait
`MDLP?Iframe
` |_V(Rchmd, P1,
`CurVR, VS)
`
`
`
`[ RC = n200VaIue]
`
`START Twait
`
`MDLP?SABME
` SABME_V(Rchmd
`
`
`. P1)
`
`
`+VEF'r_351
`
`+POST_S1
`+UNEXPECTED_SBO
`
`GOTO L2
`?TIMEOUT Twait
`
`+POST_51
`
`MDLP?01=FlERWISE CANCEL Twait
`
`+P0$T_Sf
`
`MDLP?FlFt
`FlFLV(Rchmd, P1,
`
`
`
`VS)
`
`
`[ FlC < nZOOValue] (HC:= RC +1)
`
`GOTO L1
`[ RC = n200Value]
`START Twait
`
`MDLP?SABME
` SABME_V(Rchmd
`
`
`. P1)
`
`
`+VER_SS1
`
`+POST_S1
`+UNEXPECTED_SBO
`
`GOTO L3
`
`?TIMEOUT Twait
`+POST_S1
`
`MDLP70TH ERWISE CANCEL Twait
`
`
`Continued on next page
`
`
`
`930ATS-GB4
`
`CDPD System Specification
`Release 1.1 0 January 19, 1995
`Copyrighto 1995 curve Forum. Inc, All Rights Hasmdt
`
`
`Page 2232 of 2564
`
`2:er
`
`QBB224859
`
`.(rm
`
`Page 2232 of 2564
`
`
`
`
`
`
`
`Dynamic Part
`
`:‘C‘ontinued from previous page
`
`Test Case Dynamic Behaviour
`Ifl-_ constraints Ref m—
`+POST__S1
`32
`
`
`
`
`
`
`
`
`
`
`
`+UNEXPECTED_SSO 1
`
`GOTO L1
`‘
`‘
`
`?T|MEOUT Twait
`+POST_S1
`
`
`
`MDLP70THEFtWISE CANCEL Twait
`+POST_S1
`
`
`
`
`Detailed Comments : (1) Place the IUT in the Timer Recovery state (8.0 ——Nonnal-Norrnal). At this point RC=1.
`(1a) Save current VR value.
`
`(I)
`
`. (I)
`
`(2) Request the IUT to transmit one 1 frame. VR is incremented by 1. The I frame is not acknowledged.
` (3) The IUT should be in timer recovery. Twait > T200. This is to ensure that the IUTs T200 expires
`and is placed in timer recovery state.
`
`(4) The IUT is expected to either retransmit the I frame or transmit a HR (P=1) frame following expiry
`of its T200 timer. Wait for a period of time larger than T200.
` Note: the RR and | frames are ignored so that the number of retransmissions will eventually exceed
`N200. This should cause the IUT to reset the link.
`
`
`
`
`
`
`
`
`
`
`‘
`CDPD System Specification
`Release 1.1 0 January 19, 1995
`WC 1995 CDPD Forum, Inc.