Loading AtsImsIot/AtsImsIot_TestConfiguration.ttcn +34 −22 Original line number Diff line number Diff line Loading @@ -15,9 +15,12 @@ module AtsImsIot_TestConfiguration { import from AtsImsIot_TestSystem {type CF_INT_CALL, CF_INT_AS, CF_ROAM_AS;} import from LibIot_PIXITS {modulepar PX_EUT_A, PX_EUT_B, PX_PRODUCTS, PX_MAX_MSG_WAIT;} import from LibIot_PIXITS { modulepar PX_EUT_A, PX_EUT_B, PX_PRODUCTS, PX_MAX_MSG_WAIT; } import from LibIot_Functions { import from LibIot_Functions language "TTCN-3:2008 Amendment 1" { altstep a_receiveIOTVerdict; function f_setConformanceVerdict, f_setE2EVerdict; } Loading @@ -34,7 +37,8 @@ module AtsImsIot_TestConfiguration { m_startTrafficCaptureReq, m_stopTrafficCaptureReq, m_startTrafficCaptureRsp_any, m_stopTrafficCaptureRsp_any;} m_stopTrafficCaptureRsp_any; } import from LibCommon_VerdictControl {type FncRetCode;} Loading Loading @@ -232,6 +236,8 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -355,6 +361,9 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -496,6 +505,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -636,6 +646,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -807,6 +818,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading
AtsImsIot/AtsImsIot_TestConfiguration.ttcn +34 −22 Original line number Diff line number Diff line Loading @@ -15,9 +15,12 @@ module AtsImsIot_TestConfiguration { import from AtsImsIot_TestSystem {type CF_INT_CALL, CF_INT_AS, CF_ROAM_AS;} import from LibIot_PIXITS {modulepar PX_EUT_A, PX_EUT_B, PX_PRODUCTS, PX_MAX_MSG_WAIT;} import from LibIot_PIXITS { modulepar PX_EUT_A, PX_EUT_B, PX_PRODUCTS, PX_MAX_MSG_WAIT; } import from LibIot_Functions { import from LibIot_Functions language "TTCN-3:2008 Amendment 1" { altstep a_receiveIOTVerdict; function f_setConformanceVerdict, f_setE2EVerdict; } Loading @@ -34,7 +37,8 @@ module AtsImsIot_TestConfiguration { m_startTrafficCaptureReq, m_stopTrafficCaptureReq, m_startTrafficCaptureRsp_any, m_stopTrafficCaptureRsp_any;} m_stopTrafficCaptureRsp_any; } import from LibCommon_VerdictControl {type FncRetCode;} Loading Loading @@ -232,6 +236,8 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -355,6 +361,9 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -496,6 +505,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -636,6 +646,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading Loading @@ -807,6 +818,7 @@ module AtsImsIot_TestConfiguration { // Initialize the Adapter (including the TrafficCapture process). timer tc_configureGuard; var StartTrafficCaptureRsp startResult; activate(a_receiveIOTVerdict()); tc_configureGuard.start(PX_MAX_MSG_WAIT); acPort.send(m_generalConfigurationReq_offline); alt { Loading