Loading ttcn/AtsNAT64/AtsNat64_Pics.ttcn3 +40 −0 Original line number Diff line number Diff line Loading @@ -10,4 +10,44 @@ module AtsNat64_Pics { */ modulepar boolean PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED := true; /** * @desc Does the IUT support SIP translation? */ modulepar boolean PICS_SIP_TRANSLATION := false; /** * @desc Does the IUT support RTSP translation? */ modulepar boolean PICS_RTSP_TRANSLATION := false; /** * @desc Does the IUT support PPTP translation? */ modulepar boolean PICS_PPTP_TRANSLATION := false; /** * @desc Does the IUT support ICMP translation? */ modulepar boolean PICS_ICMP_TRANSLATION := false; /** * @desc Does the IUT support GRT to VRF forwarding? */ modulepar boolean PICS_RT_GRT_TO_VRF := false; /** * @desc Does the IUT support VRF to GRT forwarding? */ modulepar boolean PICS_RT_VRF_TO_GRT := false; /** * @desc Does the IUT support redundancy? */ modulepar boolean PICS_REDUNDANCY := false; /** * @desc Does the IUT support load-balancing? */ modulepar boolean PICS_LOAD_BALANCING := false; } // End of module AtsNat64_Pics No newline at end of file ttcn/AtsNAT64/AtsNat64_TestCases.ttcn3 +42 −8 Original line number Diff line number Diff line Loading @@ -2074,7 +2074,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports SIP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_SIP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2113,6 +2113,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_SIP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_SIP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnSipComponents[0] := LSNSIPComponent.create(c_COMP_LSN); Loading Loading @@ -2231,7 +2235,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports RTSP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RTSP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2270,6 +2274,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_RTSP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RTSP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnRtspComponents[0] := LSNRTSPComponent.create(c_COMP_LSN); Loading Loading @@ -2388,7 +2396,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports PPTP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_PPTP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2427,6 +2435,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_PPTP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_PPTP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnPptpComponents[0] := LSNPPTPComponent.create(c_COMP_LSN); Loading Loading @@ -2545,7 +2557,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports ICMP translation * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_ICMP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2581,6 +2593,10 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_ICMP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_ICMP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -2698,7 +2714,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports forwarding from GRT to VRF * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RT_GRT_TO_VRF * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -2736,6 +2752,10 @@ module AtsNat64_TestCases { var UInt v_noOfRequests := 3; // Test control if (not(PICS_RT_GRT_TO_VRF)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RT_GRT_TO_VRF' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[v_index] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -2854,7 +2874,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports forwarding from VRF to GRT * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RT_VRF_TO_GRT * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -2892,6 +2912,11 @@ module AtsNat64_TestCases { var UInt v_noOfRequests := 3; // Test control if (not(PICS_RT_VRF_TO_GRT)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RT_VRF_TO_GRT' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[v_index] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -3171,7 +3196,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports Redundant NPUs * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_REDUNDANCY * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -3211,6 +3236,10 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_REDUNDANCY)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_REDUNDANCY' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -3338,7 +3367,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports the load-balancing across NPUs * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_LOAD_BALANCING * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -3376,6 +3405,11 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_LOAD_BALANCING)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_LOAD_BALANCING' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading ttcn/AtsNAT64/AtsNat64_TestControl.ttcn3 +26 −6 Original line number Diff line number Diff line Loading @@ -26,8 +26,10 @@ module AtsNat64_TestControl { execute(TC_NAT64_LSN_AW_BV_003()); // 5.1.4 Packet Fragmentation execute(TC_NAT64_LSN_PF_BV_001()); // 5.1.5 MSS Clamping execute(TC_NAT64_LSN_MSSC_BV_001()); // 5.1.6 Static Port & IP Reservation execute(TC_NAT64_LSN_SPR_BV_001()); Loading @@ -37,12 +39,26 @@ module AtsNat64_TestControl { // 5.1.8 Application ALGs execute(TC_NAT64_LSN_ALG_BV_001()); if (PICS_SIP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_002()); } if (PICS_RTSP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_003()); } if (PICS_PPTP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_004()); } if (PICS_ICMP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_005()); } // 5.1.9 Routing Tables if (PICS_RT_GRT_TO_VRF) { execute(TC_NAT64_LSN_RT_BV_001()); } if (PICS_RT_VRF_TO_GRT) { execute(TC_NAT64_LSN_RT_BV_001()); } // 5.1.10 Anycast Addressing if (PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED) { Loading @@ -50,10 +66,14 @@ module AtsNat64_TestControl { } // 5.1.11 Redundancy if (PICS_REDUNDANCY) { execute(TC_NAT64_LSN_RED_BV_001()); } // 5.1.12 Load-Balancing if (PICS_LOAD_BALANCING) { execute(TC_NAT64_LSN_LB_BV_001()); } // 5.1.13 Failure Events execute(TC_NAT64_LSN_FE_BV_001()); Loading Loading
ttcn/AtsNAT64/AtsNat64_Pics.ttcn3 +40 −0 Original line number Diff line number Diff line Loading @@ -10,4 +10,44 @@ module AtsNat64_Pics { */ modulepar boolean PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED := true; /** * @desc Does the IUT support SIP translation? */ modulepar boolean PICS_SIP_TRANSLATION := false; /** * @desc Does the IUT support RTSP translation? */ modulepar boolean PICS_RTSP_TRANSLATION := false; /** * @desc Does the IUT support PPTP translation? */ modulepar boolean PICS_PPTP_TRANSLATION := false; /** * @desc Does the IUT support ICMP translation? */ modulepar boolean PICS_ICMP_TRANSLATION := false; /** * @desc Does the IUT support GRT to VRF forwarding? */ modulepar boolean PICS_RT_GRT_TO_VRF := false; /** * @desc Does the IUT support VRF to GRT forwarding? */ modulepar boolean PICS_RT_VRF_TO_GRT := false; /** * @desc Does the IUT support redundancy? */ modulepar boolean PICS_REDUNDANCY := false; /** * @desc Does the IUT support load-balancing? */ modulepar boolean PICS_LOAD_BALANCING := false; } // End of module AtsNat64_Pics No newline at end of file
ttcn/AtsNAT64/AtsNat64_TestCases.ttcn3 +42 −8 Original line number Diff line number Diff line Loading @@ -2074,7 +2074,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports SIP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_SIP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2113,6 +2113,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_SIP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_SIP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnSipComponents[0] := LSNSIPComponent.create(c_COMP_LSN); Loading Loading @@ -2231,7 +2235,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports RTSP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RTSP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2270,6 +2274,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_RTSP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RTSP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnRtspComponents[0] := LSNRTSPComponent.create(c_COMP_LSN); Loading Loading @@ -2388,7 +2396,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports PPTP forwarding through an ALG * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_PPTP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2427,6 +2435,10 @@ module AtsNat64_TestCases { var UInt v_noOfDataRequests := 3; // Test control if (not(PICS_PPTP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_PPTP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnPptpComponents[0] := LSNPPTPComponent.create(c_COMP_LSN); Loading Loading @@ -2545,7 +2557,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports ICMP translation * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_ICMP_TRANSLATION * Initial conditions: * with { * the IUT being properly provisioned Loading Loading @@ -2581,6 +2593,10 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_ICMP_TRANSLATION)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_ICMP_TRANSLATION' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -2698,7 +2714,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports forwarding from GRT to VRF * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RT_GRT_TO_VRF * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -2736,6 +2752,10 @@ module AtsNat64_TestCases { var UInt v_noOfRequests := 3; // Test control if (not(PICS_RT_GRT_TO_VRF)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RT_GRT_TO_VRF' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[v_index] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -2854,7 +2874,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports forwarding from VRF to GRT * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_RT_VRF_TO_GRT * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -2892,6 +2912,11 @@ module AtsNat64_TestCases { var UInt v_noOfRequests := 3; // Test control if (not(PICS_RT_VRF_TO_GRT)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_RT_VRF_TO_GRT' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[v_index] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -3171,7 +3196,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports Redundant NPUs * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_REDUNDANCY * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -3211,6 +3236,10 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_REDUNDANCY)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_REDUNDANCY' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading Loading @@ -3338,7 +3367,7 @@ module AtsNat64_TestCases { * @desc Check that the IUT supports the load-balancing across NPUs * @verdict pass on success, inconc on timeout, fail otherwise * <pre> * PICS Selection: none * PICS Selection: PICS_LOAD_BALANCING * Initial conditions: * with { * the IUT is properly provisioned Loading Loading @@ -3376,6 +3405,11 @@ module AtsNat64_TestCases { var integer v_host; /** 'for' statement counter */ // Test control if (not(PICS_LOAD_BALANCING)) { log("*** " & __SCOPE__ & ": ERROR: 'PICS_LOAD_BALANCING' required for executing the TC ***"); stop; } // Test component configuration vc_lsnComponents[0] := LSNComponent.create(c_COMP_LSN); Loading
ttcn/AtsNAT64/AtsNat64_TestControl.ttcn3 +26 −6 Original line number Diff line number Diff line Loading @@ -26,8 +26,10 @@ module AtsNat64_TestControl { execute(TC_NAT64_LSN_AW_BV_003()); // 5.1.4 Packet Fragmentation execute(TC_NAT64_LSN_PF_BV_001()); // 5.1.5 MSS Clamping execute(TC_NAT64_LSN_MSSC_BV_001()); // 5.1.6 Static Port & IP Reservation execute(TC_NAT64_LSN_SPR_BV_001()); Loading @@ -37,12 +39,26 @@ module AtsNat64_TestControl { // 5.1.8 Application ALGs execute(TC_NAT64_LSN_ALG_BV_001()); if (PICS_SIP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_002()); } if (PICS_RTSP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_003()); } if (PICS_PPTP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_004()); } if (PICS_ICMP_TRANSLATION) { execute(TC_NAT64_LSN_ALG_BV_005()); } // 5.1.9 Routing Tables if (PICS_RT_GRT_TO_VRF) { execute(TC_NAT64_LSN_RT_BV_001()); } if (PICS_RT_VRF_TO_GRT) { execute(TC_NAT64_LSN_RT_BV_001()); } // 5.1.10 Anycast Addressing if (PICS_ANYCAST_GATEWAYADDRESS_CONFIGURED) { Loading @@ -50,10 +66,14 @@ module AtsNat64_TestControl { } // 5.1.11 Redundancy if (PICS_REDUNDANCY) { execute(TC_NAT64_LSN_RED_BV_001()); } // 5.1.12 Load-Balancing if (PICS_LOAD_BALANCING) { execute(TC_NAT64_LSN_LB_BV_001()); } // 5.1.13 Failure Events execute(TC_NAT64_LSN_FE_BV_001()); Loading