August 2026 - gerrit-log - lists.osmocom.org

[M] Change in osmo-ttcn3-hacks[master]: IPAd: A test to verify proper session cancellation by eUICC
by jolly 28 Aug '26

28 Aug '26

Attention is currently required from: jolly. Hello Jenkins Builder, dexter, osmith, I'd like you to reexamine a change. Please visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43372?usp=email to look at the new patch set (#7). The following approvals got outdated and were removed: Verified+1 by Jenkins Builder The change is no longer submittable: Verified is unsatisfied now. Change subject: IPAd: A test to verify proper session cancellation by eUICC ...................................................................... IPAd: A test to verify proper session cancellation by eUICC When an error occurs (PepareDownloadRequest is rejected in this case), expect the IPAd to cancel the session towards the eUICC and also towards the eIM. Related: SYS#8101 Change-Id: I9776cd88d332b74c1f627cc284d214e0be251b0a --- M ipad/IPAd_Tests.ttcn M library/euicc/RSPDefinitions_Templates.ttcn M library/euicc/RSPDefinitions_Types.ttcn 3 files changed, 90 insertions(+), 2 deletions(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/72/43372/7 -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43372?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: newpatchset Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I9776cd88d332b74c1f627cc284d214e0be251b0a Gerrit-Change-Number: 43372 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-Attention: jolly <andreas(a)eversberg.eu>

1 0

[L] Change in osmo-ttcn3-hacks[master]: smf: Implement PFCP Sess Est and Sess Del procedures
by osmith 28 Aug '26

28 Aug '26

Attention is currently required from: fixeria, pespin. osmith has posted comments on this change by pespin. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43378?usp=email ) Change subject: smf: Implement PFCP Sess Est and Sess Del procedures ...................................................................... Patch Set 7: Code-Review+1 -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43378?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: comment Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I661a1893a3f7c3659753c82b009398763a06a92d Gerrit-Change-Number: 43378 Gerrit-PatchSet: 7 Gerrit-Owner: pespin <pespin(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-Attention: pespin <pespin(a)sysmocom.de> Gerrit-Attention: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Comment-Date: Fri, 28 Aug 2026 12:04:28 +0000 Gerrit-HasComments: No Gerrit-Has-Labels: Yes

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: A test to verify PSMO forwarding
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email ) ( 5 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: A test to verify PSMO forwarding ...................................................................... IPAd: A test to verify PSMO forwarding Related: SYS#8101 Change-Id: I38cccc34456eb7654b15582d952b6a1957305a74 --- M eim/eIM_Tests.ttcn M ipad/IPAd_Tests.ttcn M library/euicc/RSPDefinitions_Templates.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 5 files changed, 85 insertions(+), 17 deletions(-) Approvals: osmith: Looks good to me, but someone else must approve jolly: Looks good to me, approved laforge: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/eim/eIM_Tests.ttcn b/eim/eIM_Tests.ttcn index 9aa0a61..0a1db80 100644 --- a/eim/eIM_Tests.ttcn +++ b/eim/eIM_Tests.ttcn @@ -589,6 +589,7 @@ var charstring resource_id; var HTTP_Adapter_Params http_adapter_pars; var template EsipaMessageFromEimToIpa esipa_res; + var template EuiccPackageSigned euiccPackageSigned := tr_euiccPackageSigned(euiccPackage); f_http_register(); @@ -606,7 +607,7 @@ /* Check the eIM for new eIM packages, we expect to get an euiccPackageRequest that contains the PSMO * that we have created (see above) */ esipa_res := f_esipa_transceive(valueof(ts_getEimPackageRequest(str2oct(order.eidValue))), - tr_getEimPackageResponse_euiccPkgReq(tr_euiccPackageRequest(euiccPackage))); + tr_getEimPackageResponse_euiccPkgReq(tr_euiccPackageRequest(euiccPackageSigned))); /* The eIM will generate a counterValue and an eimTransactionId, both must be echoed in the response. */ euiccPackageResult.euiccPackageResultSigned.euiccPackageResultDataSigned.counterValue := diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index f591495..1a275fe 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -957,6 +957,53 @@ setverdict(pass); } +/* A testcase to test the forwarding of a PSMO and the expected otherSignedNotification */ +private function f_TC_euiccPackageRequest_PSMO(charstring id) runs on IPAd_ConnHdlr { + template (value) EuiccPackage euiccPackage := ts_euiccPackage_setFallbackAttribute; + template (value) EuiccPackageSigned euiccPackageSigned := ts_euiccPackageSigned(euiccPackage); + template (value) EuiccPackageRequest euiccPackageRequest := ts_euiccPackageRequest(euiccPackageSigned); + template (value) OtherSignedNotification otherSignedNotification := ts_otherSignedNotification(euiccCertificate := ts_cert_eum_nist, + eumCertificate := ts_cert_eum_nist); + + f_exec_ipad(); + f_es10x_init(); + f_http_register(); + + /* IPAd requests a package, we tell it to execute an euiccPackageRequest */ + f_esipa_transceive(valueof(ts_getEimPackageResponse_euiccPkgReq(euiccPackageRequest)), tr_getEimPackageRequest); + + /* Send a PSMO, so that we will expect otherSignedNotification afterwards */ + f_vpcd_transceive(enc_EuiccPackageResult(valueof(ts_euiccPackageResult)), + enc_EuiccPackageRequest(valueof(euiccPackageRequest))); + + /* Expect otherSignedNotification */ + f_vpcd_transceive(enc_RetrieveNotificationsListResponse(valueof(ts_retrieveNotificationsListResponse_other(otherSignedNotification)))); + + /* IPAd will acknowledge */ + f_esipa_transceive(valueof(ts_provideEimPackageResultResponse_eimAck()), ?); + f_vpcd_transceive(enc_NotificationSentResponse(valueof(ts_notificationSentResponse))); + + /* IPAd will poll again. */ + f_terminate_poll_cycle(); + + /* Wait some time until the the last HTTP response is actually delivered */ + f_sleep(2.0); + + f_es10x_close(); + f_stop_ipad(); + + setverdict(pass); +} +testcase TC_euiccPackageRequest_PSMO() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_euiccPackageRequest_PSMO), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -970,6 +1017,7 @@ execute ( TC_func_get_conn_params() ); execute ( TC_func_get_conn_params_error() ); execute ( TC_set_device_capabilities() ); + execute ( TC_euiccPackageRequest_PSMO() ); } } diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index b7ea50c..b940453 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -577,6 +577,14 @@ } } template (value) RetrieveNotificationsListResponse +ts_retrieveNotificationsListResponse_other(template (value) OtherSignedNotification otherSignedNotification) := { + notificationList := { + { + otherSignedNotification := otherSignedNotification + } + } +} +template (value) RetrieveNotificationsListResponse ts_retrieveNotificationsListResponse_empty := { notificationList := { } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index e431313..839df9c 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -661,26 +661,32 @@ } /* GSMA SGP.32, section 6.3.2.6 */ +template (present) EuiccPackageSigned +tr_euiccPackageSigned(template (present) EuiccPackage euiccPackage := tr_euiccPackage_enablePsmo) := { + eimId := ?, + eidValue := ?, + counterValue := ?, + eimTransactionId := *, + euiccPackage := euiccPackage +} + +template (value) EuiccPackageSigned +ts_euiccPackageSigned(template (value) EuiccPackage euiccPackage := ts_euiccPackage_enablePsmo) := { + eimId := "myEim", + eidValue := '00112233445566778899AABBCCDDEEFF'O, + counterValue := 123, + eimTransactionId := omit, + euiccPackage := euiccPackage +} + template (present) EuiccPackageRequest -tr_euiccPackageRequest(template (present) EuiccPackage euiccPackage := tr_euiccPackage_enablePsmo) := { - euiccPackageSigned := { - eimId := ?, - eidValue := ?, - counterValue := ?, - eimTransactionId := *, - euiccPackage := euiccPackage - }, +tr_euiccPackageRequest(template (present) EuiccPackageSigned euiccPackageSigned := tr_euiccPackageSigned) := { + euiccPackageSigned := euiccPackageSigned, eimSignature := ? } template (value) EuiccPackageRequest -ts_euiccPackageRequest(template (value) EuiccPackage euiccPackage := ts_euiccPackage_enablePsmo) := { - euiccPackageSigned := { - eimId := "myEim", - eidValue := '00112233445566778899AABBCCDDEEFF'O, - counterValue := 123, - eimTransactionId := omit, - euiccPackage := euiccPackage - }, +ts_euiccPackageRequest(template (value) EuiccPackageSigned euiccPackageSigned := ts_euiccPackageSigned) := { + euiccPackageSigned := euiccPackageSigned, eimSignature := '5252525252525252525252525252525252525252525252525252525252525252 5353535353535353535353535353535353535353535353535353535353535353'O } diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index 82f908f..17f1c72 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -98,4 +98,9 @@ external function enc_GetConnectivityParametersResponse(in GetConnectivityParametersResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_EuiccPackageRequest(in octetstring stream) return EuiccPackageRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_EuiccPackageRequest(in EuiccPackageRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I38cccc34456eb7654b15582d952b6a1957305a74 Gerrit-Change-Number: 43276 Gerrit-PatchSet: 8 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[S] Change in osmo-ttcn3-hacks[master]: IPAd: Add test to verify the correct setting of Device Capabilites
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email ) ( 4 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test to verify the correct setting of Device Capabilites ...................................................................... IPAd: Add test to verify the correct setting of Device Capabilites Specify Device Capabilities via command line option and expect them in the TERMINAL CAPABILIES message towards eUICC. Related: SYS#8101 Change-Id: I72d2235d3a9f287ea2af2fae3a83ffe6e54fec44 --- M ipad/IPAd_Tests.ttcn 1 file changed, 25 insertions(+), 3 deletions(-) Approvals: laforge: Looks good to me, but someone else must approve jolly: Looks good to me, approved osmith: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index 2ba50e3..f591495 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -317,8 +317,10 @@ /* Handle the opening of logical channel 1 and the selection of the ISD-R */ private function f_es10x_init(boolean iot := true, - boolean eim_init := true) runs on IPAd_ConnHdlr { + boolean eim_init := true, + OCT1 dev_capa := '00'O) runs on IPAd_ConnHdlr { var charstring eim_fqdn := mp_esipa_ip & ":" & int2str(mp_esipa_port); + var octetstring term_capa; /* If we decide not to use vpcd, then we must not initialize anything here */ if (mp_use_vpcd == false) { @@ -329,10 +331,12 @@ * (For RSP Device see also: 3GPP TS 102.221, section 11.1.19.2.4 and SGP.22, section 3.4.2) * (For IoT Device see also: SGP.32, section 3.8.2) */ if (iot) { - f_vpcd_exp(tr_VPCD_DATA('80AA000008A906830107840101'O)); + term_capa := '80AA000008A906830107840101'O; } else { - f_vpcd_exp(tr_VPCD_DATA('80AA000005A903830107'O)); + term_capa := '80AA000005A903830107'O; } + term_capa[9] := term_capa[9] or4b dev_capa[0]; + f_vpcd_exp(tr_VPCD_DATA(term_capa)); f_vpcd_send(ts_VPCD_DATA('9000'O)); /* Expect a MANAGE CHANNEL request that opens logical channel 1 */ @@ -936,6 +940,23 @@ setverdict(pass); } +/* A testcase to verify if the given device capabilities are set (the lower 3 bits are always set). */ +private function f_TC_set_device_capabilities(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("-D 0xF1"); + f_es10x_init(dev_capa := 'F1'O); + f_stop_ipad(); + setverdict(pass); +} +testcase TC_set_device_capabilities() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_set_device_capabilities), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -948,6 +969,7 @@ execute ( TC_func_dis_emerg_prfle() ); execute ( TC_func_get_conn_params() ); execute ( TC_func_get_conn_params_error() ); + execute ( TC_set_device_capabilities() ); } } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I72d2235d3a9f287ea2af2fae3a83ffe6e54fec44 Gerrit-Change-Number: 43275 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[S] Change in osmo-ttcn3-hacks[master]: IPAd: Add 2nd test for function ES10b.GetConnectivityParameters
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43274?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add 2nd test for function ES10b.GetConnectivityParameters ...................................................................... IPAd: Add 2nd test for function ES10b.GetConnectivityParameters Simply test the failure case and expect the error result. Related: SYS#8101 Change-Id: Ic6f9547cbb1fa5e3138c178e39c448933885ffc9 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn 2 files changed, 37 insertions(+), 0 deletions(-) Approvals: Jenkins Builder: Verified dexter: Looks good to me, approved osmith: Looks good to me, but someone else must approve diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index c2c5385..2ba50e3 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -908,6 +908,34 @@ setverdict(pass); } +/* A testcase to tigger the 'get connectivity parameters' via ES10b interface, but return an error */ +private function f_TC_func_get_conn_params_error(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("get-connectivity-parameters"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_GetConnectivityParametersResponse(valueof(ts_getConnectivityParametersResponse_error(1))), ''O); + var GetConnectivityParametersRequest req := dec_GetConnectivityParametersRequest(asn); + if (not match(req, tr_getConnectivityParametersRequest)) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + f_expect_in_logfile("error.code.1=parametersNotAvailable"); + + setverdict(pass); +} +testcase TC_func_get_conn_params_error() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_get_conn_params_error), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -919,6 +947,7 @@ execute ( TC_func_en_emerg_prfle() ); execute ( TC_func_dis_emerg_prfle() ); execute ( TC_func_get_conn_params() ); + execute ( TC_func_get_conn_params_error() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 92696f1..e431313 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1722,6 +1722,14 @@ httpParams := httpParams } } +template (present) GetConnectivityParametersResponse +tr_getConnectivityParametersResponse_error(template (present) integer errorCode := ?) := { + connectivityParametersError := errorCode +} +template (value) GetConnectivityParametersResponse +ts_getConnectivityParametersResponse_error(template (value) integer errorCode := 127) := { + connectivityParametersError := errorCode +} /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43274?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: Ic6f9547cbb1fa5e3138c178e39c448933885ffc9 Gerrit-Change-Number: 43274 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: Add test for function ES10b.GetConnectivityParameters
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43273?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test for function ES10b.GetConnectivityParameters ...................................................................... IPAd: Add test for function ES10b.GetConnectivityParameters Related: SYS#8101 Change-Id: I4010e324f61827dc5d230fc907ad6d49e3129736 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 3 files changed, 67 insertions(+), 0 deletions(-) Approvals: dexter: Looks good to me, approved Jenkins Builder: Verified osmith: Looks good to me, but someone else must approve diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index 70be30d..c2c5385 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -480,6 +480,14 @@ unmap(self:PIPE, system:PIPE); } +/* Grep through log file and expect given pattern. + * Note: PIPEasp does not allow quotes, so 'string' must be a string without spaces. */ +private function f_expect_in_logfile(charstring string) runs on IPAd_ConnHdlr { + map(self:PIPE, system:PIPE); + f_PIPEasp_exec_sync(PIPE, "grep " & string & " /tmp/single_log", 0); + unmap(self:PIPE, system:PIPE); +} + /* ********************************************* */ /* ********** BELOW ONLY TESTCASES! ************ */ /* ********************************************* */ @@ -872,6 +880,34 @@ setverdict(pass); } +/* A testcase to tigger the 'get connectivity parameters' via ES10b interface */ +private function f_TC_func_get_conn_params(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("get-connectivity-parameters"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_GetConnectivityParametersResponse(valueof(ts_getConnectivityParametersResponse_httpParams('12345678'O))), ''O); + var GetConnectivityParametersRequest req := dec_GetConnectivityParametersRequest(asn); + if (not match(req, tr_getConnectivityParametersRequest)) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + f_expect_in_logfile("HTTP.paramms:.12345678"); + + setverdict(pass); +} +testcase TC_func_get_conn_params() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_get_conn_params), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -882,6 +918,7 @@ execute ( TC_func_ret_from_fallback() ); execute ( TC_func_en_emerg_prfle() ); execute ( TC_func_dis_emerg_prfle() ); + execute ( TC_func_get_conn_params() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 7c14667..92696f1 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1703,6 +1703,26 @@ disableEmergencyProfileResult := errorCode } +/* GSMA SGP.32, section 5.9.24 */ +template (present) GetConnectivityParametersRequest +tr_getConnectivityParametersRequest := { +} +template (value) GetConnectivityParametersRequest +ts_getConnectivityParametersRequest := { +} +template (present) GetConnectivityParametersResponse +tr_getConnectivityParametersResponse_httpParams(template octetstring httpParams := *) := { + connectivityParameters := { + httpParams := httpParams + } +} +template (value) GetConnectivityParametersResponse +ts_getConnectivityParametersResponse_httpParams(template (omit) octetstring httpParams := omit) := { + connectivityParameters := { + httpParams := httpParams + } +} + /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse tr_addInitialEimResponse := { diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index 2f9de2a..82f908f 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -88,4 +88,14 @@ external function enc_DisableEmergencyProfileResponse(in DisableEmergencyProfileResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_GetConnectivityParametersRequest(in octetstring stream) return GetConnectivityParametersRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_GetConnectivityParametersRequest(in GetConnectivityParametersRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + +external function dec_GetConnectivityParametersResponse(in octetstring stream) return GetConnectivityParametersResponse +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_GetConnectivityParametersResponse(in GetConnectivityParametersResponse msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43273?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I4010e324f61827dc5d230fc907ad6d49e3129736 Gerrit-Change-Number: 43273 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: Add test for function ES10b.DisableEmergencyProfile
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43272?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test for function ES10b.DisableEmergencyProfile ...................................................................... IPAd: Add test for function ES10b.DisableEmergencyProfile Related: SYS#8101 Change-Id: I274633d11b5c48a2b7c31f6f7c8e9ae3d15db9f9 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 3 files changed, 55 insertions(+), 0 deletions(-) Approvals: dexter: Looks good to me, approved osmith: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index 7d63660..70be30d 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -846,6 +846,32 @@ setverdict(pass); } +/* A testcase to tigger the 'disable emergency profile' via ES10b interface */ +private function f_TC_func_dis_emerg_prfle(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("disable-emergency-profile"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_DisableEmergencyProfileResponse(valueof(ts_disableEmergencyProfileResponse(0))), ''O); + var DisableEmergencyProfileRequest req := dec_DisableEmergencyProfileRequest(asn); + if (not match(req, tr_disableEmergencyProfileRequest())) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + setverdict(pass); +} +testcase TC_func_dis_emerg_prfle() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_dis_emerg_prfle), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -855,6 +881,7 @@ execute ( TC_func_exec_fallback_mech() ); execute ( TC_func_ret_from_fallback() ); execute ( TC_func_en_emerg_prfle() ); + execute ( TC_func_dis_emerg_prfle() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index be2b41b..7c14667 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1685,6 +1685,24 @@ enableEmergencyProfileResult := errorCode } +/* GSMA SGP.32, section 5.9.23 */ +template (present) DisableEmergencyProfileRequest +tr_disableEmergencyProfileRequest(template (present) boolean refreshFlag := ?) := { + refreshFlag := refreshFlag +} +template (value) DisableEmergencyProfileRequest +ts_disableEmergencyProfileRequest(template (value) boolean refreshFlag := false) := { + refreshFlag := refreshFlag +} +template (present) DisableEmergencyProfileResponse +tr_disableEmergencyProfileResponse(template (present) integer errorCode := ?) := { + disableEmergencyProfileResult := errorCode +} +template (value) DisableEmergencyProfileResponse +ts_disableEmergencyProfileResponse(template (value) integer errorCode := 127) := { + disableEmergencyProfileResult := errorCode +} + /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse tr_addInitialEimResponse := { diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index 40ec409..2f9de2a 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -78,4 +78,14 @@ external function enc_EnableEmergencyProfileResponse(in EnableEmergencyProfileResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_DisableEmergencyProfileRequest(in octetstring stream) return DisableEmergencyProfileRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_DisableEmergencyProfileRequest(in DisableEmergencyProfileRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + +external function dec_DisableEmergencyProfileResponse(in octetstring stream) return DisableEmergencyProfileResponse +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_DisableEmergencyProfileResponse(in DisableEmergencyProfileResponse msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43272?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I274633d11b5c48a2b7c31f6f7c8e9ae3d15db9f9 Gerrit-Change-Number: 43272 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: Add test for function ES10b.EnableEmergencyProfile
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43271?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test for function ES10b.EnableEmergencyProfile ...................................................................... IPAd: Add test for function ES10b.EnableEmergencyProfile Related: SYS#8101 Change-Id: I7868c08e5355f0d31863bc71d065ddfae4006695 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 3 files changed, 55 insertions(+), 0 deletions(-) Approvals: osmith: Looks good to me, but someone else must approve Jenkins Builder: Verified dexter: Looks good to me, approved diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index b5215e0..7d63660 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -820,6 +820,32 @@ setverdict(pass); } +/* A testcase to tigger the 'enable emergency profile' via ES10b interface */ +private function f_TC_func_en_emerg_prfle(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("enable-emergency-profile"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_EnableEmergencyProfileResponse(valueof(ts_enableEmergencyProfileResponse(0))), ''O); + var EnableEmergencyProfileRequest req := dec_EnableEmergencyProfileRequest(asn); + if (not match(req, tr_enableEmergencyProfileRequest())) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + setverdict(pass); +} +testcase TC_func_en_emerg_prfle() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_en_emerg_prfle), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -828,6 +854,7 @@ execute ( TC_get_eim_pkg_req_rej() ); execute ( TC_func_exec_fallback_mech() ); execute ( TC_func_ret_from_fallback() ); + execute ( TC_func_en_emerg_prfle() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 05cb7d7..be2b41b 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1667,6 +1667,24 @@ returnFromFallbackResult := errorCode } +/* GSMA SGP.32, section 5.9.22 */ +template (present) EnableEmergencyProfileRequest +tr_enableEmergencyProfileRequest(template (present) boolean refreshFlag := ?) := { + refreshFlag := refreshFlag +} +template (value) EnableEmergencyProfileRequest +ts_enableEmergencyProfileRequest(template (value) boolean refreshFlag := false) := { + refreshFlag := refreshFlag +} +template (present) EnableEmergencyProfileResponse +tr_enableEmergencyProfileResponse(template (present) integer errorCode := ?) := { + enableEmergencyProfileResult := errorCode +} +template (value) EnableEmergencyProfileResponse +ts_enableEmergencyProfileResponse(template (value) integer errorCode := 127) := { + enableEmergencyProfileResult := errorCode +} + /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse tr_addInitialEimResponse := { diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index 28e5b23..40ec409 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -68,4 +68,14 @@ external function enc_ReturnFromFallbackResponse(in ReturnFromFallbackResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_EnableEmergencyProfileRequest(in octetstring stream) return EnableEmergencyProfileRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_EnableEmergencyProfileRequest(in EnableEmergencyProfileRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + +external function dec_EnableEmergencyProfileResponse(in octetstring stream) return EnableEmergencyProfileResponse +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_EnableEmergencyProfileResponse(in EnableEmergencyProfileResponse msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43271?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I7868c08e5355f0d31863bc71d065ddfae4006695 Gerrit-Change-Number: 43271 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: Add test for function ES10b.ReturnFromFallback
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43270?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test for function ES10b.ReturnFromFallback ...................................................................... IPAd: Add test for function ES10b.ReturnFromFallback Related: SYS#8101 Change-Id: I37446a9a59792c86d9c110420a8eb96a05ab64d5 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 3 files changed, 55 insertions(+), 0 deletions(-) Approvals: osmith: Looks good to me, but someone else must approve dexter: Looks good to me, approved Jenkins Builder: Verified diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index a126dd5..b5215e0 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -794,6 +794,32 @@ setverdict(pass); } +/* A testcase to tigger the 'return from fallback' via ES10b interface */ +private function f_TC_func_ret_from_fallback(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("return-from-fallback"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_ReturnFromFallbackResponse(valueof(ts_returnFromFallbackResponse(0))), ''O); + var ReturnFromFallbackRequest req := dec_ReturnFromFallbackRequest(asn); + if (not match(req, tr_returnFromFallbackRequest())) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + setverdict(pass); +} +testcase TC_func_ret_from_fallback() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_ret_from_fallback), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); @@ -801,6 +827,7 @@ execute ( TC_proc_euicc_data_req() ); execute ( TC_get_eim_pkg_req_rej() ); execute ( TC_func_exec_fallback_mech() ); + execute ( TC_func_ret_from_fallback() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index a3e5914..05cb7d7 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1649,6 +1649,24 @@ executeFallbackMechanismResult := errorCode } +/* GSMA SGP.32, section 5.9.21 */ +template (present) ReturnFromFallbackRequest +tr_returnFromFallbackRequest(template (present) boolean refreshFlag := ?) := { + refreshFlag := refreshFlag +} +template (value) ReturnFromFallbackRequest +ts_returnFromFallbackRequest(template (value) boolean refreshFlag := false) := { + refreshFlag := refreshFlag +} +template (present) ReturnFromFallbackResponse +tr_returnFromFallbackResponse(template (present) integer errorCode := ?) := { + returnFromFallbackResult := errorCode +} +template (value) ReturnFromFallbackResponse +ts_returnFromFallbackResponse(template (value) integer errorCode := 127) := { + returnFromFallbackResult := errorCode +} + /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse tr_addInitialEimResponse := { diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index 4dc53f9..28e5b23 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -58,4 +58,14 @@ external function enc_ExecuteFallbackMechanismResponse(in ExecuteFallbackMechanismResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_ReturnFromFallbackRequest(in octetstring stream) return ReturnFromFallbackRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_ReturnFromFallbacRequest(in ReturnFromFallbackRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + +external function dec_ReturnFromFallbackResponse(in octetstring stream) return ReturnFromFallbackResponse +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_ReturnFromFallbackResponse(in ReturnFromFallbackResponse msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43270?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I37446a9a59792c86d9c110420a8eb96a05ab64d5 Gerrit-Change-Number: 43270 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

[M] Change in osmo-ttcn3-hacks[master]: IPAd: Add test for function ES10b.ExecuteFallbackMechanism
by jolly 28 Aug '26

28 Aug '26

jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43269?usp=email ) ( 6 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: IPAd: Add test for function ES10b.ExecuteFallbackMechanism ...................................................................... IPAd: Add test for function ES10b.ExecuteFallbackMechanism Related: SYS#8101 Change-Id: I66745a24e227ac5c638f6dc5228f7f3fbe2deea1 --- M ipad/IPAd_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn M library/euicc/SGP32Definitions_Types.ttcn 3 files changed, 70 insertions(+), 8 deletions(-) Approvals: dexter: Looks good to me, approved osmith: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn index d93297b..a126dd5 100644 --- a/ipad/IPAd_Tests.ttcn +++ b/ipad/IPAd_Tests.ttcn @@ -297,23 +297,27 @@ /* Expect a pre-defined request (optional), and send a pre-defined response. This is a shortcut that only works in case * the response does not depend on the request. */ -private function f_vpcd_transceive(octetstring response, octetstring expected_request := ''O) runs on IPAd_ConnHdlr { +private function f_vpcd_transceive(octetstring response, + octetstring expected_request := ''O) runs on IPAd_ConnHdlr return octetstring { + var octetstring request; /* In case we do not use the VPCD (because we have some other kind of eUICC emulation or even a real card * present), we just skip. */ if (mp_use_vpcd == false) { - return; + return ''O; } - f_vpcd_store_data(expected_request); + request := f_vpcd_store_data(expected_request); f_vpcd_store_data_final_ack(lengthof(response)); if (response != ''O) { f_vpcd_get_response_multi(response); } + return request; } /* Handle the opening of logical channel 1 and the selection of the ISD-R */ -private function f_es10x_init(boolean iot := true) runs on IPAd_ConnHdlr { +private function f_es10x_init(boolean iot := true, + boolean eim_init := true) runs on IPAd_ConnHdlr { var charstring eim_fqdn := mp_esipa_ip & ":" & int2str(mp_esipa_port); /* If we decide not to use vpcd, then we must not initialize anything here */ @@ -342,11 +346,14 @@ /* Expect the IPAd to query the eID from the eUICC */ f_vpcd_transceive(enc_GetEuiccDataResponse(valueof(ts_getEuiccDataResponse)), 'BF3E035C015A'O); - /* Expect the IPAd to query the eIM configuration data from the eUICC */ - f_vpcd_transceive(enc_GetEimConfigurationDataResponse(valueof(ts_getEimConfigurationDataResponse(eim_fqdn))), 'BF5500'O); + /* Not all tests expect IPAd to query eUICC data and notfications before talking to eIM. */ + if (eim_init) { + /* Expect the IPAd to query the eIM configuration data from the eUICC */ + f_vpcd_transceive(enc_GetEimConfigurationDataResponse(valueof(ts_getEimConfigurationDataResponse(eim_fqdn))), 'BF5500'O); - /* Expect the IPAd to query the eUICC for pending notifications, we respond with an empty list */ - f_vpcd_transceive(enc_RetrieveNotificationsListResponse(valueof(ts_retrieveNotificationsListResponse_empty)), 'BF2B00'O); + /* Expect the IPAd to query the eUICC for pending notifications, we respond with an empty list */ + f_vpcd_transceive(enc_RetrieveNotificationsListResponse(valueof(ts_retrieveNotificationsListResponse_empty)), 'BF2B00'O); + } } /* Handle the closing of logical channel 1 */ @@ -761,12 +768,39 @@ setverdict(pass); } +/* A testcase to tigger the 'execute fallback mechanism' via ES10b interface */ +private function f_TC_func_exec_fallback_mech(charstring id) runs on IPAd_ConnHdlr { + f_exec_ipad("execute-fallback-mechanism"); + f_es10x_init(eim_init := false); + + var octetstring asn := f_vpcd_transceive(enc_ExecuteFallbackMechanismResponse(valueof(ts_executeFallbackMechanismResponse(0))), ''O); + var ExecuteFallbackMechanismRequest req := dec_ExecuteFallbackMechanismRequest(asn); + if (not match(req, tr_executeFallbackMechanismRequest())) { + setverdict(fail, "Unexpected ES10b request: ", req); + } + + f_es10x_close(); + f_stop_ipad(); + + setverdict(pass); +} +testcase TC_func_exec_fallback_mech() runs on MTC_CT { + var charstring id := testcasename(); + var IPAd_ConnHdlrPars pars := f_init_pars(); + var IPAd_ConnHdlr vc_conn; + f_init(id); + vc_conn := f_start_handler(refers(f_TC_func_exec_fallback_mech), pars); + vc_conn.done; + setverdict(pass); +} + control { execute ( TC_proc_indirect_prfle_dwnld() ); execute ( TC_proc_euicc_pkg_dwnld_exec() ); execute ( TC_proc_euicc_pkg_dwnld_exec_rollback() ); execute ( TC_proc_euicc_data_req() ); execute ( TC_get_eim_pkg_req_rej() ); + execute ( TC_func_exec_fallback_mech() ); } } diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 7bd36bd..a3e5914 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -1631,6 +1631,24 @@ } } +/* GSMA SGP.32, section 5.9.20 */ +template (present) ExecuteFallbackMechanismRequest +tr_executeFallbackMechanismRequest(template (present) boolean refreshFlag := ?) := { + refreshFlag := refreshFlag +} +template (value) ExecuteFallbackMechanismRequest +ts_executeFallbackMechanismRequest(template (value) boolean refreshFlag := false) := { + refreshFlag := refreshFlag +} +template (present) ExecuteFallbackMechanismResponse +tr_executeFallbackMechanismResponse(template (present) integer errorCode := ?) := { + executeFallbackMechanismResult := errorCode +} +template (value) ExecuteFallbackMechanismResponse +ts_executeFallbackMechanismResponse(template (value) integer errorCode := 127) := { + executeFallbackMechanismResult := errorCode +} + /* GSMA SGP.32, section 5.9.4 */ template (present) AddInitialEimResponse tr_addInitialEimResponse := { diff --git a/library/euicc/SGP32Definitions_Types.ttcn b/library/euicc/SGP32Definitions_Types.ttcn index c344823..4dc53f9 100644 --- a/library/euicc/SGP32Definitions_Types.ttcn +++ b/library/euicc/SGP32Definitions_Types.ttcn @@ -48,4 +48,14 @@ external function enc_ProfileRollbackResponse(in ProfileRollbackResponse msg) return octetstring with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; +external function dec_ExecuteFallbackMechanismRequest(in octetstring stream) return ExecuteFallbackMechanismRequest +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_ExecuteFallbackMechanismRequest(in ExecuteFallbackMechanismRequest msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + +external function dec_ExecuteFallbackMechanismResponse(in octetstring stream) return ExecuteFallbackMechanismResponse +with { extension "prototype(convert) decode(BER:BER_ACCEPT_ALL)" }; +external function enc_ExecuteFallbackMechanismResponse(in ExecuteFallbackMechanismResponse msg) return octetstring +with { extension "prototype(convert) encode(BER:BER_ENCODE_DER)" }; + } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43269?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I66745a24e227ac5c638f6dc5228f7f3fbe2deea1 Gerrit-Change-Number: 43269 Gerrit-PatchSet: 7 Gerrit-Owner: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>

1 0

2026

2025

2024

2023

2022

gerrit-log August 2026