Commit e34ced0e authored by wattelet's avatar wattelet
Browse files

DENM Update

parent be00d8a1

ttcn/Common/LibItsCommon_TypesAndValues.ttcn

+12 −0
Original line number Diff line number Diff line
@@ -36,6 +36,18 @@ module LibItsCommon_TypesAndValues { 
         * @desc Upper Tester result message of change position request of IUT 

         */

        type boolean UtChangePositionResult;

        

        /**

         * @desc Upper Tester message to change the pseudonym of the DENM IUT 

         */

        type record UtChangePseudonym {

            // empty on purpose

        }

        

        /**

         * @desc Upper Tester result message of the change pseudonym request 

         */

        type boolean UtChangePseudonymResult;

    }

    with {

        encode "UpperTester"

ttcn/DENM/LibItsDenm_Functions.ttcn

+23 −0
Original line number Diff line number Diff line
@@ -46,6 +46,29 @@ module LibItsDenm_Functions { 
            }            

        }

             

        /**

         * @desc    Requests to change the IUT with a new pseudonym

         * @param   p_change The change to trigger.

         */

        function f_utChangePseudonym ( template (value) UtChangePseudonym p_change ) runs on ItsDenm {

            

            utPort.send(p_change);

            tc_wait.start;

            alt {

                [] utPort.receive(UtChangePseudonymResult:true) {

                    tc_wait.stop;

                    log("*** " & testcasename() & ": INFO: IUT pseudonym changed ***");

                }

                [] tc_wait.timeout {

	                log("*** " & testcasename() & ": INFO: Could not receive expected UT message from IUT in time ***");

	                f_selfOrClientSyncAndVerdict("error", e_timeout);

	            }

	            [else] { // Shortcut defaults

	                repeat; 

	            }

            }            

        }

        

        /**

         * @desc    Triggers an event from the application layer

         * @param   p_event The event to trigger.

ttcn/DENM/LibItsDenm_Templates.ttcn

+6 −0
Original line number Diff line number Diff line
@@ -62,6 +62,12 @@ module LibItsDenm_Templates { 
            template (value) UtInitialize m_denmInitialize := {

            }

            

            /**

             * @desc    Send template for Upper Tester event changePseudonym

             */

            template (value) UtChangePseudonym m_utChangePseudonym := {

            }

            

            /**

             * @desc    Send template for Upper Tester Trigger event

             * @param   p_situation                     The Situation Container

ttcn/DENM/LibItsDenm_TestSystem.ttcn

+3 −2
Original line number Diff line number Diff line
@@ -26,9 +26,10 @@ module LibItsDenm_TestSystem { 
         */

        type port UpperTesterPort message {

            out 

                UtInitialize, UtDenmTrigger, UtDenmUpdate, UtDenmTermination, UtChangePosition;

                UtInitialize, UtDenmTrigger, UtDenmUpdate, UtDenmTermination, UtChangePosition, UtChangePseudonym;

            in 

                UtInitializeResult, UtDenmTriggerResult, UtDenmUpdateResult, UtDenmTerminationResult, UtChangePositionResult, UtDenmEventInd;

                UtInitializeResult, UtDenmTriggerResult, UtDenmUpdateResult, UtDenmTerminationResult,

                UtChangePositionResult, UtChangePseudonymResult, UtDenmEventInd;

        } // end UpperTesterPort

        

    } // end portDefinitions