Commit 0dee7cd3 authored by rennoch's avatar rennoch
Browse files

HSS_AIR_09-13

parent dffc5aac
Loading
Loading
Loading
Loading
+240 −15
Original line number Diff line number Diff line
@@ -2426,7 +2426,7 @@ module DiameterS6a_HSS_TCFunctions {
                        md_user_Name(                               // containing a User-Name AVP
                            PX_USR_NAME),                           //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        m_reqEUTRANGERANAuthInfo(                   // containing a Requested-EUTRAN-GERAN-Authentication-Info AVP
                        m_reqUTRANGERANAuthInfo(                   // containing a Requested-EUTRAN-GERAN-Authentication-Info AVP
                            m_re_synchronization_Info_AVP(
                                PX_ReSYNCHRONISATION_INFO           //     containing a Re-Synchronization-Info AVP
                            )
@@ -2890,11 +2890,55 @@ module DiameterS6a_HSS_TCFunctions {
            // Local variables
            
            // Preamble
            f_preamble_HSS();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamblue done. ***");
            
            // Test Body
            // Clause 'when'
            f_triggerAirMessage(
                md_AIR_TCs( 
                    vc_sessionId,                                   // containing a Session-ID AVP
                    md_airBodyAvps_TC_03(
                        md_auth_Session_State_noStateMaintained,    // containing an Auth-Session-State AVP indicating NO_STATE_MAINTAINED
                        vc_originHost,                              // containing an Origin-Host AVP
                        vc_originRealm,                             // containing an Origin-Realm AVP
                        vc_destinationRealm,                        // containing a Destination-Realm AVP
                        md_user_Name(                               // containing a User-Name AVP
                                    PX_USR_NAME),                   //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        m_reqEUTRANAuthInfo_NumReqVec(                        // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_numberOfRequestedVectorsAVP(
                                1           //     containing a Number_Of_Requested_Vectors_AVP
                            )
                        )
                    ) // End of md_airBodyAvps_TC_03
                ) // End of md_AIR_TCs
            );
                        
            // Clause 'then'
            tc_ac.start;
            alt {
                [] MME_S6a.receive( 
                    mw_mmeAuthenticationInformationAnswer(
                        mdw_AIA_TCs( 
                            vc_sessionId,                                           // containing a Session-ID AVP
                            mdw_aiaBodyAvps_TC_06( 
                                mw_resultCode(DIAMETER_SUCCESS_E),                  // containing a Result-Code AVP indicating DIAMETER_SUCCESS
                                mdw_authentication_Info_e_UTRAN_Vector(             // containing an E-UTRAN-Vector AVP
                                    mw_e_UTRAN_Vector_dummy                         //     containing RAND AVP
                                                                                    //     containing XRES AVP
                                                                                    //     containing KASME AVP
                ))))) { // Expected AI-Answer message 
                    tc_ac.stop;
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                    log("*** " & __SCOPE__ & ": PASS: Expected AI-Answer message was received. ***");
                }
                [] tc_ac.timeout {
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
                    log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***");
                }
            } // End of 'altstep' statement
                        
            // Postamble
            
@@ -2905,11 +2949,56 @@ module DiameterS6a_HSS_TCFunctions {
            // Local variables
            
            // Preamble
            f_preamble_HSS();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamblue done. ***");
                        
            // Test Body
            // Clause 'when'
            f_triggerAirMessage(
                md_AIR_TCs( 
                    vc_sessionId,                                   // containing a Session-ID AVP
                    md_airBodyAvps_TC_10(
                        md_auth_Session_State_noStateMaintained,    // containing an Auth-Session-State AVP indicating NO_STATE_MAINTAINED
                        vc_originHost,                              // containing an Origin-Host AVP
                        vc_originRealm,                             // containing an Origin-Realm AVP
                        vc_destinationRealm,                        // containing a Destination-Realm AVP
                        md_user_Name(                               // containing a User-Name AVP
                                    PX_USR_NAME),                   //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        omit,
                        m_reqUTRANGERANAuthInfoNumReq(                        // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_numberOfRequestedVectorsAVP(
                                1           //     containing a Number_Of_Requested_Vectors_AVP
                            )
                        )
                    ) // End of md_airBodyAvps_TC_03
                ) // End of md_AIR_TCs
            );
                        
            // Clause 'then'
            tc_ac.start;
            alt {
                [] MME_S6a.receive( 
                    mw_mmeAuthenticationInformationAnswer(
                        mdw_AIA_TCs( 
                            vc_sessionId,                                           // containing a Session-ID AVP
                            mdw_aiaBodyAvps_TC_06( 
                                mw_resultCode(DIAMETER_SUCCESS_E),                  // containing a Result-Code AVP indicating DIAMETER_SUCCESS
                                (mdw_authentication_Info_UTRAN_Vector(             // containing an authentication_Info AVP
                                    mw_UTRAN_Vector_dummy),                         
                                mdw_authentication_Info_GERAN_Vector(             // containing an authentication_Info AVP
                                    mw_GERAN_Vector_dummy))                         
                )))) { // Expected AI-Answer message 
                    tc_ac.stop;
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                    log("*** " & __SCOPE__ & ": PASS: Expected AI-Answer message was received. ***");
                }
                [] tc_ac.timeout {
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
                    log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***");
                }
            } // End of 'altstep' statement
                        
            // Postamble
            
@@ -2920,11 +3009,55 @@ module DiameterS6a_HSS_TCFunctions {
            // Local variables
            
            // Preamble
            f_preamble_HSS();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamblue done. ***");
                        
            // Test Body
            // Clause 'when'
            f_triggerAirMessage(
                md_AIR_TCs( 
                    vc_sessionId,                                   // containing a Session-ID AVP
                    md_airBodyAvps_TC_03(
                        md_auth_Session_State_noStateMaintained,    // containing an Auth-Session-State AVP indicating NO_STATE_MAINTAINED
                        vc_originHost,                              // containing an Origin-Host AVP
                        vc_originRealm,                             // containing an Origin-Realm AVP
                        vc_destinationRealm,                        // containing a Destination-Realm AVP
                        md_user_Name(                               // containing a User-Name AVP
                                    PX_USR_NAME),                   //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        m_reqEUTRANAuthInfo_ImResPre(               // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_immediateResponsePreferredAVP(
                                1           //     containing a Immediate_Response_Preferred_AVP
                            )
                        )
                    ) // End of md_airBodyAvps_TC_03
                ) // End of md_AIR_TCs
            );
                        
            // Clause 'then'
            tc_ac.start;
            alt {
                [] MME_S6a.receive( 
                    mw_mmeAuthenticationInformationAnswer(
                        mdw_AIA_TCs( 
                            vc_sessionId,                                           // containing a Session-ID AVP
                            mdw_aiaBodyAvps_TC_06( 
                                mw_resultCode(DIAMETER_SUCCESS_E),                  // containing a Result-Code AVP indicating DIAMETER_SUCCESS
                                mdw_authentication_Info_e_UTRAN_Vector(             // containing an E-UTRAN-Vector AVP
                                    mw_e_UTRAN_Vector_dummy                         //     containing RAND AVP
                                                                                    //     containing XRES AVP
                                                                                    //     containing KASME AVP
                ))))) { // Expected AI-Answer message 
                    tc_ac.stop;
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                    log("*** " & __SCOPE__ & ": PASS: Expected AI-Answer message was received. ***");
                }
                [] tc_ac.timeout {
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
                    log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***");
                }
            } // End of 'altstep' statement
                        
            // Postamble
            
@@ -2935,11 +3068,54 @@ module DiameterS6a_HSS_TCFunctions {
            // Local variables
            
            // Preamble
            f_preamble_HSS();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamblue done. ***");
                        
            // Test Body
            // Clause 'when'
            f_triggerAirMessage(
                md_AIR_TCs( 
                    vc_sessionId,                                   // containing a Session-ID AVP
                    md_airBodyAvps_TC_03(
                        md_auth_Session_State_noStateMaintained,    // containing an Auth-Session-State AVP indicating NO_STATE_MAINTAINED
                        vc_originHost,                              // containing an Origin-Host AVP
                        vc_originRealm,                             // containing an Origin-Realm AVP
                        vc_destinationRealm,                        // containing a Destination-Realm AVP
                        md_user_Name(                               // containing a User-Name AVP
                                    PX_USR_NAME),                   //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        m_reqEUTRANAuthInfo_NumReqVec_ImResPre(                        // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_numberOfRequestedVectorsAVP( 1  ),         //     containing a Number_Of_Requested_Vectors_AVP
                            m_immediateResponsePreferredAVP( 1  )
                        )
                    ) // End of md_airBodyAvps_TC_03
                ) // End of md_AIR_TCs
            );
                        
            // Clause 'then'
            tc_ac.start;
            alt {
                [] MME_S6a.receive( 
                    mw_mmeAuthenticationInformationAnswer(
                        mdw_AIA_TCs( 
                            vc_sessionId,                                           // containing a Session-ID AVP
                            mdw_aiaBodyAvps_TC_06( 
                                mw_resultCode(DIAMETER_SUCCESS_E),                  // containing a Result-Code AVP indicating DIAMETER_SUCCESS
                                mdw_authentication_Info_e_UTRAN_Vector(             // containing an E-UTRAN-Vector AVP
                                    mw_e_UTRAN_Vector_dummy                         //     containing RAND AVP
                                                                                    //     containing XRES AVP
                                                                                    //     containing KASME AVP
                ))))) { // Expected AI-Answer message 
                    tc_ac.stop;
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                    log("*** " & __SCOPE__ & ": PASS: Expected AI-Answer message was received. ***");
                }
                [] tc_ac.timeout {
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
                    log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***");
                }
            } // End of 'altstep' statement
                        
            // Postamble
            
@@ -2950,11 +3126,60 @@ module DiameterS6a_HSS_TCFunctions {
            // Local variables
            
            // Preamble
            f_preamble_HSS();
            f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
            log("*** " & __SCOPE__ & ": INFO: Preamblue done. ***");
                        
            // Test Body
            // Clause 'when'
            f_triggerAirMessage(
                md_AIR_TCs( 
                    vc_sessionId,                                   // containing a Session-ID AVP
                    md_airBodyAvps_TC_10(
                        md_auth_Session_State_noStateMaintained,    // containing an Auth-Session-State AVP indicating NO_STATE_MAINTAINED
                        vc_originHost,                              // containing an Origin-Host AVP
                        vc_originRealm,                             // containing an Origin-Realm AVP
                        vc_destinationRealm,                        // containing a Destination-Realm AVP
                        md_user_Name(                               // containing a User-Name AVP
                                    PX_USR_NAME),                   //     indicating known IMSI
                        m_visitedPLMNId_dummy,                      // containing a Visited-PLMN-ID AVP
                        m_reqEUTRANAuthInfo_ImResPre(               // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_immediateResponsePreferredAVP(
                                1           //     containing a Immediate_Response_Preferred_AVP
                            )
                        ),
                        m_reqUTRANGERANAuthInfoNumReq(                        // containing a Requested-EUTRAN-Authentication-Info AVP
                            m_numberOfRequestedVectorsAVP(
                                1           //     containing a Number_Of_Requested_Vectors_AVP
                            )
                        )
                    ) // End of md_airBodyAvps_TC_03
                ) // End of md_AIR_TCs
            );
                        
            // Clause 'then'
            tc_ac.start;
            alt {
                [] MME_S6a.receive( 
                    mw_mmeAuthenticationInformationAnswer(
                        mdw_AIA_TCs( 
                            vc_sessionId,                                           // containing a Session-ID AVP
                            mdw_aiaBodyAvps_TC_06( 
                                mw_resultCode(DIAMETER_SUCCESS_E),                  // containing a Result-Code AVP indicating DIAMETER_SUCCESS
                                mdw_authentication_Info_e_UTRAN_Vector(             // containing an E-UTRAN-Vector AVP
                                    mw_e_UTRAN_Vector_dummy                         //     containing RAND AVP
                                                                                    //     containing XRES AVP
                                                                                    //     containing KASME AVP
                ))))) { // Expected AI-Answer message 
                    tc_ac.stop;
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
                    log("*** " & __SCOPE__ & ": PASS: Expected AI-Answer message was received. ***");
                }
                [] tc_ac.timeout {
                    f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
                    log("*** " & __SCOPE__ & ": INCONC: Message was not received in due time. ***");
                }
            } // End of 'altstep' statement

            // Postamble
            
+117 −3

File changed.

Preview size limit exceeded, changes collapsed.