OVERVIEW INDEX DEPRECATED HELP CORRESPONDENCES | provided by TTworkbench

Modulepars Data Types Component Types Port Types Constants Templates Signatures Functions Altsteps Test cases

# Module SUPL_V2_SLP_INITIATED_Tests

Import Declarations:

- LPP_PDU_Definitions
  all
- LibSip_SIPTypesAndValues
  all
- GeoInformation_TypeDefinitions
  all
- SMS_TypeDefinitions
  all
- SUPL_ExternalSteps
  all
- SUPL_TypeDefinitions
  all
- Tokyo_Templates_RRLP
  all
- SUPL_V2_TCFunctions
  all
- RRLPV10Types
  all
- SUPLTypes
  all
- SUPL_Postambles
  all
- SUPL_CommonSteps
  all
- SUPL_Preambles
  all
- SUPL_DHCP_DNS_Steps
  all
- SUPL_V2_DHCP_DNS_Steps
  all
- SUPL_Parameters
  all
- SUPL_V2_CommonSteps
  all
- LibCommon_DataStrings
  all
- RRLP_Templates
  all
- Tokyo_Steps
  all
- SUPL_V2_TypeDefinitions
  all
- RRLP_CommonTypes
  all
- SUPL_V2_Templates
  all
- LPP_Templates
  all
- SUPL_SMS_TypeDefinitions
  all
- RRLPV5Types
  all
- SUPL_Templates
  all
- LibSip_Templates
  all
- SUPL_V2_Parameters
  all
- SUPL_Configuration
  all

Groups:

- TC_00x

- TC_000
- TC_004
- TC_009

- TC_01x

- TC_010
- TC_011

- TC_02x

- TC_022
- TC_024
- TC_025

- TC_03x

- TC_030
- TC_033
- TC_034

- TC_04x

- TC_040
- TC_041
- TC_042

- TC_05x

- TC_050
- TC_051

- TC_06x

- TC_061_
- TC_065_

- TC_07x

- TC_070
- TC_071
- TC_072_
- TC_073_
- TC_074_

Test cases Summary
TC_000_1 |
TC_000_2 |
TC_000_3 |
TC_000_4 | To test SET correctly supports SUPL INIT delivery using OMA Push and, if supported, MT SMS and, or SIP Push Test 4: ics_UDP
TC_001 |
TC_002 |
TC_003 |
TC_004_1 |
TC_004_2 |
TC_004_3 |
TC_005 |
TC_006 |
TC_009_1 | To test SET correctly supports Basic SUPL INIT protection Case 1: Correct support
TC_009_2 | To test SET correctly supports Basic SUPL INIT protection Case 2: Correct discard procedure � incorrect Protection Level
TC_009_3 | To test SET correctly supports Basic SUPL INIT protection Case 3: Correct discard procedure � incorrect Key Identity
TC_009_4 | To test SET correctly supports Basic SUPL INIT protection Case 4: Correct discard procedure � incorrect Basic Replay Counter
TC_010_1 | To test SET correctly accepts compatible Version numbers in SUPL message - Test 1: Support for higher versions of SUPL 2_X_X
TC_010_2 | To test SET correctly accept compatible Version numbers in SUPL messages - Test 2: Support for lower versions of SUPL 2_X_X
TC_010_3 | To test SET correctly accept compatible Version numbers in SUPL messages - Test 3: Correct support with SLP supporting SUPL V3_0 and V2_0
TC_010_4 | To test SET correctly accepts compatible Version numbers in SUPL message - Test 4: Correct support with SLP supporting SUPL V1_0 only, SUPL V1_0 supported by SET
TC_011_1 | To test SET correctly rejects unsupported Version number in SUPL messages - Test1: Higher version not supported
TC_011_2 | To test SET correctly rejects unsupported Version number in SUPL messages - Test 2: Lower Version not supportet, SUPL V1_0 not supported by SET
TC_012 | To test SET correctly rejects incorrect UDP message content
TC_020 |
TC_021 |
TC_022_1 |
TC_022_2 |
TC_022_3 |
TC_022_4 |
TC_022_5 |
TC_022_6 |
TC_023 |
TC_024_1 |
TC_024_2 |
TC_024_3 |
TC_025_1 |
TC_025_2 |
TC_030_1 |
TC_030_2 |
TC_030_3 |
TC_030_4 |
TC_030_5 |
TC_030_7 | To test SET correctly actions single session Positioning method - Test 7: A-GANSS SET assisted - GLONASS
TC_030_9 | To test SET correctly actions single session Positioning method - Test 9: A-GANSS SET based only - GLONASS
TC_030_10 | To test SET correctly actions single session Positioning method - Test 10: Autonomous GNSS
TC_030_11 |
TC_030_12_1 | To test SET correctly actions single session Positioning method - Test 12: A-GANSS Preferred methods
TC_030_12_2 | To test SET correctly actions single session Positioning method - Test 12: A-GANSS Preferred methods
TC_030_13 | To test SET correctly actions single session Positioning method - Test 13: OTDOA
TC_031 |
TC_033_1 | To test SET correctly actions Emergency Services Location Requests Case 1: E-SLP address sent in SUPL INIT
TC_033_2 | To test SET correctly actions Emergency Services Location Requests Case 2: Use of provisioned H-SLP address
TC_033_3 | To test SET correctly actions Emergency Services Location Requests Case 3: Use of default E-SLP address
TC_034_1 | To test SET correctly actions an Emergency Services Location Request when a normal SUPL session is also active Case 1: Normal SUPL session already in progress before Emergency SUPL session
TC_034_2 | To test SET correctly actions an Emergency Services Location Request when a normal SUPL session is also active Case 2: Normal SUPL session attempted during Emergency SUPL session
TC_040_1 | To test SET correctly performs Real Time Periodic reporting - Test 1: A-GPS SET assisted
TC_040_2 | To test SET correctly performs Real Time Periodic reporting - Test 2: A-GPS SET based
TC_041_2 | To test SET correctly performs basic Quasi Real Time Periodic reporting Test 2: A-GPS SET based
TC_042_2_1 |
TC_042_2_2 |
TC_042_2_3 |
TC_050_1_1 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 1: Entering event type
TC_050_1_2 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 2: Inside event type
TC_050_1_3 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 3: Outside event type
TC_050_1_4 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 4: Leaving event type
TC_050_2_1 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 1: Entering event type
TC_050_2_2 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 2: Inside event type
TC_050_2_3 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 3: Outside event type
TC_050_2_4 | To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 4: Leaving event type
TC_051_1_1 | To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 1: Entering event type
TC_051_1_2 | To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 2: Inside event type
TC_051_1_3 | To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 3: Outside event type
TC_051_1_4 | To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 4: Leaving event type
TC_051_2_1 | To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 1: Entering event type
TC_051_2_2 | To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 2: Inside event type
TC_051_2_3 | To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 3: Outside event type
TC_051_2_4 | To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 4: Leaving event type
TC_061 | To test SET correctly actions when the Network cancels a Triggered Location Request
TC_065_1 |
TC_065_2 |
TC_070_1 |
TC_070_2 | To test SET correctly actions timer UT2 - Test 2: SUPL POS session (Triggered session).
TC_070_3 |
TC_070_4 | To test SET correctly actions timer UT2 - Test 4: No SUPL POS session (Triggered session).
TC_071_1 |
TC_071_2 | To test SET coorectly actions timer UT3 - Test 2: Triggered session.
TC_072 |
TC_073 | To test SET correctly actions timer UT7
TC_074 | To test SET correctly actions timer UT8

## Details

TC_000_1

    testcase TC_000_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_000
Runs On: SUPLComponent
System: SystemInterfaces

TC_000_2

    testcase TC_000_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_000
Runs On: SUPLComponent
System: SystemInterfaces

TC_000_3

    testcase TC_000_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_000
Runs On: SUPLComponent
System: SystemInterfaces

TC_000_4

    testcase TC_000_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_000
To test SET correctly supports SUPL INIT delivery using OMA Push and, if supported, MT SMS and, or SIP Push Test 4: ics_UDP
Runs On: SUPLComponent
System: SystemInterfaces

TC_001

    testcase TC_001() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x
Runs On: SUPLComponent
System: SystemInterfaces

TC_002

    testcase TC_002() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x
Runs On: SUPLComponent
System: SystemInterfaces

TC_003

    testcase TC_003() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x
Runs On: SUPLComponent
System: SystemInterfaces

TC_004_1

    testcase TC_004_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_004
Runs On: SUPLComponent
System: SystemInterfaces

TC_004_2

    testcase TC_004_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_004
Runs On: SUPLComponent
System: SystemInterfaces

TC_004_3

    testcase TC_004_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_004
Runs On: SUPLComponent
System: SystemInterfaces

TC_005

    testcase TC_005() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x
Runs On: SUPLComponent
System: SystemInterfaces

TC_006

    testcase TC_006() runs on SUPLComponent system SystemInterfaces {
    			timer WaitForConnectionRelease := 15.0;
    			timer WaitForConnectionRelease1 := 15.0;
    			timer WaitForConnectionRelease2 := 15.0;
    			var ULP_PDU msgRcv;
    			var boolean optionalSuplEnd := true;

                var RRLP_CommonTypes.RRLP_PDU rrlp;
    			var SessionID sessionId := generateCompletedSessionId(t_s_emptySessionId, ixit_H_SLP_IP_TYPE);
    			var octetstring ver;

    			log("SUPL INIT from the Conformance Test Tool to the SET without SLP Session ID in the Session ID field");

                f_init(staticdefaultGPS);
                f_start_SCC();

    			// sends SUPL INIT via SMS
    			ver := f_sendSms(s_ulpPdu(t_s_emptySessionId, s_suplInit(eCID, proxy, omit)));
    			alt {
    				[] ulpPort.receive(t_r_ulpSuplEnd({*,omit} ifpresent, invalidSessionId, ?)) -> value msgRcv {
    					log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    					setverdict(pass);
    					WaitForConnectionRelease.start;
    					alt {
    						[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    							optionalSuplEnd := false;
    							repeat;
    						}
    						[] ipiPort.receive(tcpInfoReleaseConnection) {
    							log("Verdict Info: Secure IP connection released by SET");
    							setverdict(pass);
    						}
    						[] ulpPort.receive(r_ulpMessage) {
    							log("Verdict Info: Unexpected message over secure IP connection received from SET");
    							setverdict(fail);
    						}
    						[] WaitForConnectionRelease.timeout{
    							// The server terminates the Secure IP connection
    							ipcPort.send(stopAllConnections);
    						}
    					}
    				}
    				[] ulpPort.receive(t_r_ulpSuplEnd(*,*,*)) {
    					log("Verdict Info: SUPL END with unexpected parameters received from SET");
    					setverdict(fail);
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplPosInit)) -> value msgRcv { // Proxy Mode
    					log("Verdict Info: Unexpected SUPL POS INIT received from SET");
    					setverdict(fail);
    					sendSuplEnd(s_suplEndWithCode(unexpectedMessage),msgRcv.sessionID,true);
    				}
    				[] ipiPort.receive(tcpInfoReleaseConnection) {
    					timer WaitForSuplEnd := 5.0;
    					WaitForSuplEnd.start;
    					alt{
    						[] ulpPort.receive(t_r_ulpSuplEnd({*,omit} ifpresent, invalidSessionId, ?)) -> value msgRcv {
    							log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    							setverdict(pass);
    							WaitForConnectionRelease.start;
    							alt {
    								[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    									log("Verdict Info: Another SUPL End received.");
    									setverdict(pass);
    									optionalSuplEnd := false;
    									repeat;
    								}
    								[] ipiPort.receive(tcpInfoReleaseConnection) {
    									log("Verdict Info: Secure IP connection released by SET");
    									setverdict(pass);
    								}
    								[] ulpPort.receive(r_ulpMessage) {
    									log("Verdict Info: Unexpected message over secure IP connection received from SET");
    									setverdict(fail);
    								}
    								[] WaitForConnectionRelease.timeout{
    									// The server terminates the Secure IP connection
    									ipcPort.send(stopAllConnections);
    								}
    							}
    						}
    						[] WaitForSuplEnd.timeout{
    							log("Verdict Info: Unexpected release of secure IP connection from SET");
    							setverdict(fail);
    						}
    					}
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplAuthReq)) -> value msgRcv { // Non-Proxy Mode
    					log("Verdict Info: Non-Proxy Mode requested by the SET. This is not allowed for GSM/WCDMA according to the Enabler Test Specification (ETS) 4.1.1");
    					setverdict(inconc);
    					sendSuplEnd(s_suplEndWithCode(unexpectedMessage),msgRcv.sessionID,true);
    				}
    			} //end alt

    			doPause();

    			log("SUPL POS from the Conformance Test Tool to the SET with an invalid value of Session ID in the SLP Session ID field");
    			optionalSuplEnd := true;

                select (ixit_RRLP_Version) {
                    case (e_RRLP_V5) {
                        rrlp.rrlp_pdu_V5 := tokyoReferenceTimeOnlyV5(currentGPS_TOW23b(0));
                    }
                    case (e_RRLP_V10) {
                        rrlp.rrlp_pdu_V10 := tokyoReferenceTimeOnlyV10(currentGPS_TOW23b(0));
                    }
                }

    			// sends SUPL INIT via SMS
    			ver := f_sendSms(s_ulpPdu(sessionId, s_suplInit(agpsSETassisted,proxy, omit)));
    			alt {
    				[] ulpPort.receive(t_r_ulpSuplPosInit(t_r_sessionId(*, sessionId.slpSessionID), ?, oct2bit(ver), *)) -> value msgRcv { // Proxy Mode
    					// sends SUPL POS with an invalid value of Session ID
    					var SessionID incorrectSid := generateIncorrectSessionId(msgRcv.sessionID, incorrectSLPSessionId);
                        select(ixit_PositioningProtocol) {
                            case(RRLP) {
                                ulpPort.send(s_ulpPdu(incorrectSid,s_suplPosRrlp(o_rrlp2oct(rrlp))));
                            }
                            case(LPP) {
                                ulpPort.send(m_ulpPdu(m_Version, incorrectSid, m_suplPosLPP(f_encodeLppPayload(f_ConstructLPPMessageForIncorretSessionID()))));
                            }
                            case else {
                                log("Verdict Info: Unsupported Position Protocol");
                                setverdict(inconc);
                                stop;
                            }
                        }
    					alt {
    						[] ulpPort.receive(t_r_ulpSuplEnd(incorrectSid, invalidSessionId, *)) {
    							log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    							setverdict(pass);
    							WaitForConnectionRelease1.start;
    							alt {
    								[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    									optionalSuplEnd := false;
    									repeat;
    								}
    								[] ipiPort.receive(tcpInfoReleaseConnection) {
    									log("Verdict Info: Secure IP connection released by SET");
    									setverdict(pass);
    								}
    								[] ulpPort.receive(r_ulpMessage) {
    									log("Verdict Info: Unexpected message over secure IP connection received from SET");
    									setverdict(fail);
    								}
    								[] WaitForConnectionRelease1.timeout{
    									// The server terminates the Secure IP connection
    									ipcPort.send(stopAllConnections);
    								}
    							}
    						}
    						[] ulpPort.receive(t_r_ulpSuplEnd(*, *, *)) {
    							log("Verdict Info: SUPL END with unexpected parameters received from SET");
    							setverdict(fail);
    						}

    						[] ipiPort.receive(tcpInfoReleaseConnection) {
    							timer WaitForSuplEnd := 5.0;
    							WaitForSuplEnd.start;
    							alt{
    								[] ulpPort.receive(t_r_ulpSuplEnd(incorrectSid, invalidSessionId, *)) {
    									log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    									setverdict(pass);
    									WaitForConnectionRelease1.start;
    									alt {
    										[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    											optionalSuplEnd := false;
    											repeat;
    										}
    										[] ipiPort.receive(tcpInfoReleaseConnection) {
    											log("Verdict Info: Secure IP connection released by SET");
    											setverdict(pass);
    										}
    										[] ulpPort.receive(r_ulpMessage) {
    											log("Verdict Info: Unexpected message over secure IP connection received from SET");
    											setverdict(fail);
    										}
    										[] WaitForConnectionRelease1.timeout{
    											// The server terminates the Secure IP connection
    											ipcPort.send(stopAllConnections);
    										}
    									}
    								}
    								[] WaitForSuplEnd.timeout{
    									log("Verdict Info: Unexpected release of secure IP connection from SET");
    									setverdict(fail);
    								}
    							}
    						}
    					}//end inner inner alt
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplEnd)) {
    					log("Verdict Info: Unexpected SUPL END received from SET");
    					setverdict(fail);
    				}
    				[] ipiPort.receive(tcpInfoReleaseConnection) {
    					log("Verdict Info: Unexpected release of secure IP connection from SET");
    					setverdict(fail);
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplAuthReq)) -> value msgRcv { // Non-Proxy Mode
    					setverdict(inconc);
    					log("Verdict Info: Non-Proxy Mode requested by the SET. This is not allowed for GSM/WCDMA according to the Enabler Test Specification (ETS) 4.1.1");
    					sendSuplEnd(s_suplEndWithCode(unexpectedMessage),msgRcv.sessionID,true);
    				}
    			} //end alt

    			doPause();

    			log("SUPL POS from the Conformance Test Tool to the SET with an invalid value of SLP ID in the SLP Session ID field");
    			optionalSuplEnd := true;
    			// sends SUPL INIT via SMS
    			ver := f_sendSms(s_ulpPdu(sessionId, s_suplInit(agpsSETassisted,proxy, omit)));
    			alt {
    				[] ulpPort.receive(t_r_ulpSuplPosInit(t_r_sessionId(*, sessionId.slpSessionID), ?, oct2bit(ver), *)) -> value msgRcv { // Proxy Mode
    					// sends SUPL POS with an invalid value of Session ID
    					var SessionID incorrectSLPid := generateIncorrectSessionId(msgRcv.sessionID, incorrectSLPSLPId);
                        select(ixit_PositioningProtocol) {
                            case(RRLP) {
                                ulpPort.send(s_ulpPdu(incorrectSLPid,s_suplPosRrlp(o_rrlp2oct(rrlp))));
                            }
                            case(LPP) {
                                ulpPort.send(m_ulpPdu(m_Version, incorrectSLPid, m_suplPosLPP(f_encodeLppPayload(f_ConstructLPPMessageForIncorretSessionID()))));
                            }
                            case else {
                                log("Verdict Info: Unsupported Position Protocol");
                                setverdict(inconc);
                                stop;
                            }
                        }
    					alt {
    						[] ulpPort.receive(t_r_ulpSuplEnd(incorrectSLPid, invalidSessionId, *)) {
    							log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    							setverdict(pass);
    							WaitForConnectionRelease2.start;
    							alt {
    								[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    									optionalSuplEnd := false;
    									repeat;
    								}
    								[] ipiPort.receive(tcpInfoReleaseConnection) {
    									log("Verdict Info: Secure IP connection released by SET");
    									setverdict(pass);
    								}
    								[] ulpPort.receive(r_ulpMessage) {
    									log("Verdict Info: Unexpected message over secure IP connection received from SET");
    									setverdict(fail);
    								}
    								[] WaitForConnectionRelease2.timeout{
    									// The server terminates the Secure IP connection
    									ipcPort.send(stopAllConnections);
    								}
    							}
    						}
    						[] ulpPort.receive(t_r_ulpSuplEnd(*, *, *)) {
    							log("Verdict Info: SUPL END with unexpected parameters received from SET");
    							setverdict(fail);
    						}
    						[] ipiPort.receive(tcpInfoReleaseConnection) {
    							timer WaitForSuplEnd := 5.0;
    							WaitForSuplEnd.start;
    							alt{
    								[] ulpPort.receive(t_r_ulpSuplEnd(incorrectSLPid, invalidSessionId, *)) {
    									log("Verdict Info: SUPL END with expected Status Code 'invalidSessionId' received from SET");
    									setverdict(pass);
    									WaitForConnectionRelease2.start;
    									alt {
    										[optionalSuplEnd] ulpPort.receive(t_r_ulpSuplEnd(*, ?, *)) {
    											optionalSuplEnd := false;
    											repeat;
    										}
    										[] ipiPort.receive(tcpInfoReleaseConnection) {
    											log("Verdict Info: Secure IP connection released by SET");
    											setverdict(pass);
    										}
    										[] ulpPort.receive(r_ulpMessage) {
    											log("Verdict Info: Unexpected message over secure IP connection received from SET");
    											setverdict(fail);
    										}
    										[] WaitForConnectionRelease2.timeout{
    											// The server terminates the Secure IP connection
    											ipcPort.send(stopAllConnections);
    										}
    									}
    								}
    								[] WaitForSuplEnd.timeout{
    									log("Verdict Info: Unexpected release of secure IP connection from SET");
    									setverdict(fail);
    								}
    							}
    						}
    					}//end inner inner alt
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplEnd)) {
    					log("Verdict Info: Unexpected SUPL END received from SET");
    					setverdict(fail);
    				}
    				[] ipiPort.receive(tcpInfoReleaseConnection) {
    					log("Verdict Info: Unexpected release of secure IP connection from SET");
    					setverdict(fail);
    				}
    				[] ulpPort.receive(r_ulpPdu(r_suplAuthReq)) -> value msgRcv { // Non-Proxy Mode
    					setverdict(inconc);
    					log("Verdict Info: Non-Proxy Mode requested by the SET. This is not allowed for GSM/WCDMA according to the Enabler Test Specification (ETS) 4.1.1");
    					sendSuplEnd(s_suplEndWithCode(unexpectedMessage),msgRcv.sessionID,true);
    				}
    			} //end alt

                f_Postamble();

    		} // end testcase 006
    		with {extension "Description: SUPL-2.0-con-006 - Missing or invalid SLP Session ID"}

Declared in group TC_00x
Runs On: SUPLComponent
System: SystemInterfaces

TC_009_1

    testcase TC_009_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_009
To test SET correctly supports Basic SUPL INIT protection Case 1: Correct support
Runs On: SUPLComponent
System: SystemInterfaces

TC_009_2

    testcase TC_009_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_009
To test SET correctly supports Basic SUPL INIT protection Case 2: Correct discard procedure � incorrect Protection Level
Runs On: SUPLComponent
System: SystemInterfaces

TC_009_3

    testcase TC_009_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_009
To test SET correctly supports Basic SUPL INIT protection Case 3: Correct discard procedure � incorrect Key Identity
Runs On: SUPLComponent
System: SystemInterfaces

TC_009_4

    testcase TC_009_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_00x.TC_009
To test SET correctly supports Basic SUPL INIT protection Case 4: Correct discard procedure � incorrect Basic Replay Counter
Runs On: SUPLComponent
System: SystemInterfaces

TC_010_1

    testcase TC_010_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_010
To test SET correctly accepts compatible Version numbers in SUPL message - Test 1: Support for higher versions of SUPL 2_X_X
Runs On: SUPLComponent
System: SystemInterfaces

TC_010_2

    testcase TC_010_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_010
To test SET correctly accept compatible Version numbers in SUPL messages - Test 2: Support for lower versions of SUPL 2_X_X
Runs On: SUPLComponent
System: SystemInterfaces

TC_010_3

    testcase TC_010_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_010
To test SET correctly accept compatible Version numbers in SUPL messages - Test 3: Correct support with SLP supporting SUPL V3_0 and V2_0
Runs On: SUPLComponent
System: SystemInterfaces

TC_010_4

    testcase TC_010_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_010
To test SET correctly accepts compatible Version numbers in SUPL message - Test 4: Correct support with SLP supporting SUPL V1_0 only, SUPL V1_0 supported by SET
Runs On: SUPLComponent
System: SystemInterfaces

TC_011_1

    testcase TC_011_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_011
To test SET correctly rejects unsupported Version number in SUPL messages - Test1: Higher version not supported
Runs On: SUPLComponent
System: SystemInterfaces

TC_011_2

    testcase TC_011_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x.TC_011
To test SET correctly rejects unsupported Version number in SUPL messages - Test 2: Lower Version not supportet, SUPL V1_0 not supported by SET
Runs On: SUPLComponent
System: SystemInterfaces

TC_012

    testcase TC_012() runs on SUPLComponent system SystemInterfaces

Declared in group TC_01x
To test SET correctly rejects incorrect UDP message content
Runs On: SUPLComponent
System: SystemInterfaces

TC_020

    testcase TC_020() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x
Runs On: SUPLComponent
System: SystemInterfaces

TC_021

    testcase TC_021() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_1

    testcase TC_022_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_2

    testcase TC_022_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_3

    testcase TC_022_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_4

    testcase TC_022_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_5

    testcase TC_022_5() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_022_6

    testcase TC_022_6() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_022
Runs On: SUPLComponent
System: SystemInterfaces

TC_023

    testcase TC_023() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x
Runs On: SUPLComponent
System: SystemInterfaces

TC_024_1

    testcase TC_024_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_024
Runs On: SUPLComponent
System: SystemInterfaces

TC_024_2

    testcase TC_024_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_024
Runs On: SUPLComponent
System: SystemInterfaces

TC_024_3

    testcase TC_024_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_024
Runs On: SUPLComponent
System: SystemInterfaces

TC_025_1

    testcase TC_025_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_025
Runs On: SUPLComponent
System: SystemInterfaces

TC_025_2

    testcase TC_025_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_02x.TC_025
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_1

    testcase TC_030_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_2

    testcase TC_030_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_3

    testcase TC_030_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_4

    testcase TC_030_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_5

    testcase TC_030_5() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_7

    testcase TC_030_7() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 7: A-GANSS SET assisted - GLONASS
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_9

    testcase TC_030_9() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 9: A-GANSS SET based only - GLONASS
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_10

    testcase TC_030_10() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 10: Autonomous GNSS
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_11

    testcase TC_030_11() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_12_1

    testcase TC_030_12_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 12: A-GANSS Preferred methods
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_12_2

    testcase TC_030_12_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 12: A-GANSS Preferred methods
Runs On: SUPLComponent
System: SystemInterfaces

TC_030_13

    testcase TC_030_13() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_030
To test SET correctly actions single session Positioning method - Test 13: OTDOA
Runs On: SUPLComponent
System: SystemInterfaces

TC_031

    testcase TC_031() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x
Runs On: SUPLComponent
System: SystemInterfaces

TC_033_1

    testcase TC_033_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_033
To test SET correctly actions Emergency Services Location Requests Case 1: E-SLP address sent in SUPL INIT
Runs On: SUPLComponent
System: SystemInterfaces

TC_033_2

    testcase TC_033_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_033
To test SET correctly actions Emergency Services Location Requests Case 2: Use of provisioned H-SLP address
Runs On: SUPLComponent
System: SystemInterfaces

TC_033_3

    testcase TC_033_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_033
To test SET correctly actions Emergency Services Location Requests Case 3: Use of default E-SLP address
Runs On: SUPLComponent
System: SystemInterfaces

TC_034_1

    testcase TC_034_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_034
To test SET correctly actions an Emergency Services Location Request when a normal SUPL session is also active Case 1: Normal SUPL session already in progress before Emergency SUPL session
Runs On: SUPLComponent
System: SystemInterfaces

TC_034_2

    testcase TC_034_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_03x.TC_034
To test SET correctly actions an Emergency Services Location Request when a normal SUPL session is also active Case 2: Normal SUPL session attempted during Emergency SUPL session
Runs On: SUPLComponent
System: SystemInterfaces

TC_040_1

    testcase TC_040_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_040
To test SET correctly performs Real Time Periodic reporting - Test 1: A-GPS SET assisted
Runs On: SUPLComponent
System: SystemInterfaces

TC_040_2

    testcase TC_040_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_040
To test SET correctly performs Real Time Periodic reporting - Test 2: A-GPS SET based
Runs On: SUPLComponent
System: SystemInterfaces

TC_041_2

    testcase TC_041_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_041
To test SET correctly performs basic Quasi Real Time Periodic reporting Test 2: A-GPS SET based
Runs On: SUPLComponent
System: SystemInterfaces

TC_042_2_1

    testcase TC_042_2_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_042
Runs On: SUPLComponent
System: SystemInterfaces

TC_042_2_2

    testcase TC_042_2_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_042
Runs On: SUPLComponent
System: SystemInterfaces

TC_042_2_3

    testcase TC_042_2_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_04x.TC_042
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_1_1

    testcase TC_050_1_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 1: Entering event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_1_2

    testcase TC_050_1_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 2: Inside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_1_3

    testcase TC_050_1_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 3: Outside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_1_4

    testcase TC_050_1_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 1: A-GPS SET assisted, Case 4: Leaving event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_2_1

    testcase TC_050_2_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 1: Entering event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_2_2

    testcase TC_050_2_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 2: Inside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_2_3

    testcase TC_050_2_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 3: Outside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_050_2_4

    testcase TC_050_2_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_050
To test SET correctly performs Area Event reporting with Geographic Target Area - Test 2: A-GPS SET based, Case 4: Leaving event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_1_1

    testcase TC_051_1_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 1: Entering event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_1_2

    testcase TC_051_1_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 2: Inside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_1_3

    testcase TC_051_1_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 3: Outside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_1_4

    testcase TC_051_1_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 1: A-GPS SET assisted, Case 4: Leaving event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_2_1

    testcase TC_051_2_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 1: Entering event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_2_2

    testcase TC_051_2_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 2: Inside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_2_3

    testcase TC_051_2_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 3: Outside event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_051_2_4

    testcase TC_051_2_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_05x.TC_051
To test SET correctly performs Area Event reporting with Area ID - Test 2: A-GPS SET based, Case 4: Leaving event type
Runs On: SUPLComponent
System: SystemInterfaces

TC_061

    testcase TC_061() runs on SUPLComponent system SystemInterfaces

Declared in group TC_06x.TC_061_
To test SET correctly actions when the Network cancels a Triggered Location Request
Runs On: SUPLComponent
System: SystemInterfaces

TC_065_1

    testcase TC_065_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_06x.TC_065_
Runs On: SUPLComponent
System: SystemInterfaces

TC_065_2

    testcase TC_065_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_06x.TC_065_
Runs On: SUPLComponent
System: SystemInterfaces

TC_070_1

    testcase TC_070_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_070
Runs On: SUPLComponent
System: SystemInterfaces

TC_070_2

    testcase TC_070_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_070
To test SET correctly actions timer UT2 - Test 2: SUPL POS session (Triggered session). Note: This test case is applicable to SETs that support any location method that requires a SUPL POS session and that supports any triggered service. This test case has been written for a Periodic Triggered, SET assisted mode Location Session. The case where Periodic Location sessions or a SET assisted mode is not supported in the SET is FFS
Runs On: SUPLComponent
System: SystemInterfaces

TC_070_3

    testcase TC_070_3() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_070
Runs On: SUPLComponent
System: SystemInterfaces

TC_070_4

    testcase TC_070_4() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_070
To test SET correctly actions timer UT2 - Test 4: No SUPL POS session (Triggered session). Note: This test case is applicable to SETs that support any triggered service. This test case has been written for a Periodic Triggered Location Session. The case where Periodic Location sessions is not supported in the SET is FFS.
Runs On: SUPLComponent
System: SystemInterfaces

TC_071_1

    testcase TC_071_1() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_071
Runs On: SUPLComponent
System: SystemInterfaces

TC_071_2

    testcase TC_071_2() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_071
To test SET coorectly actions timer UT3 - Test 2: Triggered session. Note: This test case is applicable to SETs that support any location method that requires a SUPL PO session and that supports any triggered service. This test case has been written for a Periodic Triggered, SET assisted mode Location Session. The case where Periodic Location sessions or a SET assisted mode is not supported in the SET is FFS.
Runs On: SUPLComponent
System: SystemInterfaces

TC_072

    testcase TC_072() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_072_
Runs On: SUPLComponent
System: SystemInterfaces

TC_073

    testcase TC_073() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_073_
To test SET correctly actions timer UT7
Runs On: SUPLComponent
System: SystemInterfaces

TC_074

    testcase TC_074() runs on SUPLComponent system SystemInterfaces

Declared in group TC_07x.TC_074_
To test SET correctly actions timer UT8
Runs On: SUPLComponent
System: SystemInterfaces

© Copyright Testing Technologies IST GmbH 2012