osmo-ttcn3-hacks/stp/STP_Tests_IPA.ttcn

267 lines
7.7 KiB
Plaintext

module STP_Tests_IPA {
/* Osmocom STP test suite in in TTCN-3
* (C) 2019 Harald Welte <laforge@gnumonks.org>
* All rights reserved.
*
* Released under the terms of GNU General Public License, Version 2 or
* (at your option) any later version.
*
* SPDX-License-Identifier: GPL-2.0-or-later
*/
friend module STP_Tests;
import from General_Types all;
import from Osmocom_Types all;
import from IPL4asp_Types all;
import from TELNETasp_PortType all;
import from Osmocom_VTY_Functions all;
import from SCCP_Types all;
import from SCCP_Templates all;
import from SCCPasp_Types all;
import from SCCP_Emulation all;
import from IPA_Emulation all;
import from M3UA_Emulation all;
import from M3UA_CodecPort all;
import from MTP3asp_Types all;
import from MTP3asp_PortType all;
import from STP_Tests_Common all;
private const integer NR_IPA := 7;
type record of charstring AspNameArray;
modulepar {
charstring mp_stp_ipa_ip := "127.0.0.1";
charstring mp_local_ipa_ip := "127.0.0.1";
integer mp_stp_ipa_port := 5000;
integer mp_local_ipa_port := 20000;
AspNameArray mp_ipa_as_names := {"ipa-as-loadshare-sender",
"ipa-as-loadshare-receiver",
"ipa-as-loadshare-receiver",
"ipa-as-dynamic-asp",
"ipa-as-override-sender",
"ipa-as-override-receiver",
"ipa-as-override-receiver"
};
}
type component IPA_CT extends Test_CT {
/* for IPA we use the IPA_Emulation and not directly IPA_CodecPort to avoid
* having to re-invent IPA CCM handling here */
port MTP3asp_PT IPA[NR_IPA];
port IPA_SP_PT IPA_CTRL[NR_IPA];
var IPA_Emulation_CT vc_IPA[NR_IPA];
var IPA_CCM_Parameters g_ccm_pars[NR_IPA];
}
friend function f_IPA_send(integer idx, octetstring data) runs on IPA_CT {
var MTP3_Field_sio sio := { ni := '00'B, prio := '00'B, si := '0011'B };
IPA[idx].send(t_ASP_MTP3_TRANSFERreq(sio, 0, 0, 0, data));
}
friend function f_IPA_exp(integer idx, template (present) octetstring data) runs on IPA_CT {
alt {
[] IPA[idx].receive(t_ASP_MTP3_TRANSFERind(?, ?, ?, ?, data)) {
setverdict(pass);
}
[] IPA[idx].receive {
setverdict(fail, "Received unexpected data on IPA port while waiting for ", data);
mtc.stop;
}
}
}
private function f_rnd_ipa_len() runs on IPA_CT return integer {
var integer rnd_len := f_rnd_int(100);
/* We need at least 1 byte of data, othewise osmocom IPA stack will discard and close the socket */
if (rnd_len == 0) {
rnd_len := 1;
}
return rnd_len;
}
/* Test if traffic is routed from idx_tx to idx_rx */
private function f_test_traffic(integer idx_tx, integer idx_rx)
runs on IPA_CT {
var octetstring data := f_rnd_octstring(f_rnd_ipa_len());
f_IPA_send(idx_tx, data);
f_IPA_exp(idx_rx, data);
}
friend function f_init_ipa() runs on IPA_CT {
var integer i;
f_init_common();
for (i := 0; i < NR_IPA; i:=i+1) {
vc_IPA[i] := IPA_Emulation_CT.create("IPA" & int2str(i));
map(vc_IPA[i]:IPA_PORT, system:IPA_CODEC_PT);
connect(self:IPA[i], vc_IPA[i]:MTP3_SP_PORT);
connect(self:IPA_CTRL[i], vc_IPA[i]:IPA_SP_PORT);
g_ccm_pars[i] := c_IPA_default_ccm_pars;
g_ccm_pars[i].name := mp_ipa_as_names[i];
}
}
friend function f_connect_ipa(integer idx, boolean use_unknown_asp_port := false, boolean exp_act := true) runs on IPA_CT {
var integer port_offset := 0;
if (use_unknown_asp_port) {
/* Add 100 to the port since we know that port is not configured in any
ASP only up to NR_IPA are configured. */
port_offset := 100;
}
vc_IPA[idx].start(IPA_Emulation.main_client(mp_stp_ipa_ip, mp_stp_ipa_port, mp_local_ipa_ip,
mp_local_ipa_port + idx + port_offset, g_ccm_pars[idx]));
IPA_CTRL[idx].receive(tr_ASP_IPA_EV(ASP_IPA_EVENT_UP));
alt {
[exp_act] IPA_CTRL[idx].receive(tr_ASP_IPA_EV(ASP_IPA_EVENT_ID_ACK));
[not exp_act] IPA_CTRL[idx].receive(tr_ASP_IPA_EV(ASP_IPA_EVENT_DOWN));
[] IPA_CTRL[idx].receive(tr_ASP_IPA_EV(?)) { repeat; }
}
}
/* "accept-asp-connections pre-configured" and client from unknown source */
testcase TC_unknown_client_nodynamic() runs on IPA_CT {
f_init_common();
f_vty_config2(VTY, {"cs7 instance 0", "listen ipa 5000"},
"accept-asp-connections pre-configured");
f_init_ipa();
f_connect_ipa(0, true, false);
/* switch back to default */
f_vty_config2(VTY, {"cs7 instance 0", "listen ipa 5000"},
"accept-asp-connections dynamic-permitted");
setverdict(pass);
}
/* "accept-asp-connections pre-configured" and client from known source */
testcase TC_known_client_nodynamic() runs on IPA_CT {
f_init_common();
f_vty_config2(VTY, {"cs7 instance 0", "listen ipa 5000"},
"accept-asp-connections pre-configured");
f_init_ipa();
f_connect_ipa(0, false);
/* switch back to default */
f_vty_config2(VTY, {"cs7 instance 0", "listen ipa 5000"},
"accept-asp-connections dynamic-permitted");
setverdict(pass);
}
/* "accept-asp-connections dynamic-permitted" and client from unknown source */
testcase TC_unknown_client_dynamic() runs on IPA_CT {
f_init_common();
f_init_ipa();
f_connect_ipa(0, true);
setverdict(pass);
}
private function f_tc_tmt_override(boolean unknwon_dynamic_asp)
runs on IPA_CT {
f_init_ipa();
/* bring up the 'sender' side (single ASP in AS) */
f_connect_ipa(4, unknwon_dynamic_asp);
/* activate the first 'receiver' side ASP */
f_connect_ipa(5, unknwon_dynamic_asp);
/* verify traffic is routed from sender to [sole] receiver */
f_test_traffic(4, 5);
/* activate the second 'receiver' side ASP */
f_connect_ipa(6, unknwon_dynamic_asp);
/* verify traffic is routed from sender to new receiver */
f_test_traffic(4, 6);
setverdict(pass);
}
/* test "traffic-mode override" behavior */
testcase TC_tmt_override() runs on IPA_CT {
f_tc_tmt_override(false);
}
/* test "traffic-mode override" behavior, with "accept-asp-connections dynamic-permitted" and clients from unknown ASPs */
testcase TC_unknown_client_dynamic_tmt_override() runs on IPA_CT {
f_tc_tmt_override(true);
}
private altstep as_count_rx(integer idx, template (present) octetstring exp, inout integer counter)
runs on IPA_CT {
[] IPA[idx].receive(t_ASP_MTP3_TRANSFERind(?, ?, ?, ?, exp)) {
counter := counter + 1;
}
}
private function f_tc_tmt_loadshare(boolean unknwon_dynamic_asp)
runs on IPA_CT {
var integer i;
f_init_ipa();
/* bring up the 'sender' side (single ASP in AS) */
f_connect_ipa(0, unknwon_dynamic_asp);
/* activate the first 'receiver' side ASP */
f_connect_ipa(1, unknwon_dynamic_asp);
/* verify traffic is routed from sender to [sole] receiver */
for (i := 0; i < 10; i := i+1) {
f_test_traffic(0, 1);
}
/* activate the second 'receiver' side ASP */
f_connect_ipa(2, unknwon_dynamic_asp);
/* verify traffic is routed from sender to new receiver */
const integer iter_per_asp := 5;
var integer num_rx[3] := { 0, 0, 0 };
for (i := 0; i < 2*iter_per_asp; i := i+1) {
var octetstring data := f_rnd_octstring(f_rnd_ipa_len());
f_IPA_send(0, data);
alt {
[] as_count_rx(1, data, num_rx[1]);
[] as_count_rx(2, data, num_rx[2]);
}
}
/* FIXME: check for extraneous messages? */
for (i := 1; i <= 2; i := i+1) {
if (num_rx[i] != iter_per_asp) {
setverdict(fail, "Received ", num_rx[i], " out of expected ", iter_per_asp,
"DATA messages at IPA port ", i);
}
}
setverdict(pass);
}
/* test "traffic-mode load-share" behavior */
testcase TC_tmt_loadshare() runs on IPA_CT {
f_tc_tmt_loadshare(false);
}
/* test "traffic-mode override" behavior, with "accept-asp-connections dynamic-permitted" and clients from unknown ASPs */
testcase TC_unknown_client_dynamic_tmt_loadshare() runs on IPA_CT {
f_tc_tmt_override(true);
}
control {
execute( TC_unknown_client_nodynamic() );
execute( TC_known_client_nodynamic() );
execute( TC_unknown_client_dynamic() );
execute( TC_tmt_override() );
execute( TC_unknown_client_dynamic_tmt_override() );
execute( TC_tmt_loadshare() );
execute( TC_unknown_client_dynamic_tmt_loadshare() );
}
}