OVERVIEW   INDEX   DEPRECATED   HELP   CORRESPONDENCES  


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

Module SUPL_V2_SLP_INITIATED_Tests


Import Declarations:

Groups:

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