Loading ttcn/BTP/LibItsBtp_Functions.ttcn +25 −1 Original line number Original line Diff line number Diff line Loading @@ -21,7 +21,7 @@ */ */ function f_prInitialState() { function f_prInitialState() { // TODO: any specific action ? f_utInitialzeIUT(); setverdict(pass); setverdict(pass); } } Loading @@ -31,6 +31,30 @@ group upperTester { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtBtpInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtBtpResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer * @param p_event The event to trigger. * @param p_event The event to trigger. Loading ttcn/BTP/LibItsBtp_TypesAndValues.ttcn +3 −0 Original line number Original line Diff line number Diff line Loading @@ -84,6 +84,9 @@ module LibItsBtp_TypesAndValues { group utPrimitives { group utPrimitives { type record UtBtpInitialize { } type record UtBtpTrigger { type record UtBtpTrigger { UtBtpEvent utEvent UtBtpEvent utEvent } } Loading ttcn/CAM/LibItsCam_Functions.ttcn +28 −2 Original line number Original line Diff line number Diff line Loading @@ -53,12 +53,14 @@ module LibItsCam_Functions { * @desc Initialize the IUT * @desc Initialize the IUT * @remark No specific actions specified in the base standard * @remark No specific actions specified in the base standard */ */ function f_initialState() runs on ItsFa { function f_prInitialState() runs on ItsFa { // basic default altstep // basic default altstep activate(a_basicDefault()); activate(a_basicDefault()); } // end f_initialState f_utInitialzeIUT(); } // end f_prInitialState } // end of preambles } // end of preambles Loading Loading @@ -102,6 +104,30 @@ module LibItsCam_Functions { group upperTester { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtCamInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtCamResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer * @param p_event The event to trigger. * @param p_event The event to trigger. Loading ttcn/CAM/LibItsCam_TypesAndValues.ttcn +3 −0 Original line number Original line Diff line number Diff line Loading @@ -67,6 +67,9 @@ module LibItsCam_TypesAndValues { group utPrimitives { group utPrimitives { type record UtCamInitialize { } type record UtCamTrigger { type record UtCamTrigger { UtCamEvent utEvent UtCamEvent utEvent } } Loading ttcn/DENM/LibItsDenm_Functions.ttcn +27 −3 Original line number Original line Diff line number Diff line Loading @@ -100,7 +100,7 @@ module LibItsDenm_Functions { f_prDefault(); f_prDefault(); //TODO raise action or send message via port f_utInitialzeIUT(); f_setVerdictPreOrPostamble(v_ret); f_setVerdictPreOrPostamble(v_ret); Loading Loading @@ -150,7 +150,31 @@ module LibItsDenm_Functions { } // end group postambles } // end group postambles group eventFunctions { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtDenmInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtDenmResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer Loading Loading @@ -195,7 +219,7 @@ module LibItsDenm_Functions { return v_ret; return v_ret; } } } // end group eventFunctions } // end group upperTester group sendFunctions { group sendFunctions { Loading Loading
ttcn/BTP/LibItsBtp_Functions.ttcn +25 −1 Original line number Original line Diff line number Diff line Loading @@ -21,7 +21,7 @@ */ */ function f_prInitialState() { function f_prInitialState() { // TODO: any specific action ? f_utInitialzeIUT(); setverdict(pass); setverdict(pass); } } Loading @@ -31,6 +31,30 @@ group upperTester { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtBtpInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtBtpResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer * @param p_event The event to trigger. * @param p_event The event to trigger. Loading
ttcn/BTP/LibItsBtp_TypesAndValues.ttcn +3 −0 Original line number Original line Diff line number Diff line Loading @@ -84,6 +84,9 @@ module LibItsBtp_TypesAndValues { group utPrimitives { group utPrimitives { type record UtBtpInitialize { } type record UtBtpTrigger { type record UtBtpTrigger { UtBtpEvent utEvent UtBtpEvent utEvent } } Loading
ttcn/CAM/LibItsCam_Functions.ttcn +28 −2 Original line number Original line Diff line number Diff line Loading @@ -53,12 +53,14 @@ module LibItsCam_Functions { * @desc Initialize the IUT * @desc Initialize the IUT * @remark No specific actions specified in the base standard * @remark No specific actions specified in the base standard */ */ function f_initialState() runs on ItsFa { function f_prInitialState() runs on ItsFa { // basic default altstep // basic default altstep activate(a_basicDefault()); activate(a_basicDefault()); } // end f_initialState f_utInitialzeIUT(); } // end f_prInitialState } // end of preambles } // end of preambles Loading Loading @@ -102,6 +104,30 @@ module LibItsCam_Functions { group upperTester { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtCamInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtCamResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer * @param p_event The event to trigger. * @param p_event The event to trigger. Loading
ttcn/CAM/LibItsCam_TypesAndValues.ttcn +3 −0 Original line number Original line Diff line number Diff line Loading @@ -67,6 +67,9 @@ module LibItsCam_TypesAndValues { group utPrimitives { group utPrimitives { type record UtCamInitialize { } type record UtCamTrigger { type record UtCamTrigger { UtCamEvent utEvent UtCamEvent utEvent } } Loading
ttcn/DENM/LibItsDenm_Functions.ttcn +27 −3 Original line number Original line Diff line number Diff line Loading @@ -100,7 +100,7 @@ module LibItsDenm_Functions { f_prDefault(); f_prDefault(); //TODO raise action or send message via port f_utInitialzeIUT(); f_setVerdictPreOrPostamble(v_ret); f_setVerdictPreOrPostamble(v_ret); Loading Loading @@ -150,7 +150,31 @@ module LibItsDenm_Functions { } // end group postambles } // end group postambles group eventFunctions { group upperTester { /** * @desc Requests to bring the IUT in an initial state * @return */ function f_utInitialzeIUT() runs on ItsNt { utPort.send(UtDenmInitialize:{}); tc_ac.start; alt { [] utPort.receive(UtDenmResult:true) { setverdict (pass, "IUT initialized"); } [] utPort.receive { setverdict (inconc, "IUT could not be initialized"); stop; } [] tc_ac.timeout { setverdict (inconc, "IUT could not be initialized in time"); stop; } } } /** /** * @desc Triggers event from the application layer * @desc Triggers event from the application layer Loading Loading @@ -195,7 +219,7 @@ module LibItsDenm_Functions { return v_ret; return v_ret; } } } // end group eventFunctions } // end group upperTester group sendFunctions { group sendFunctions { Loading