ItsDenm_TestCases.ttcn 94.3 KB
Newer Older
filatov's avatar
filatov committed
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value DURATION_1 more than 3 times greater than TRANS_INTERVAL1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1 at a point of time corresponding to
         *          min ( 2*transmissionInterval + rnd ( 0, 150ms ), validityDuration )
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/TI-03
         * @reference ETSI EN 302 637-3, clause 8.2.1.4
        testcase TC_DEN_KAFW_TI_03() runs on ItsDenm system ItsDenmSystem {
        } // end TC_DEN_KAFW_TI_03
         * @desc    Check that Forwarding ITS-S replaces the ITS PDU header of forwarded DENMs
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value more than 3 times greater than TRANS_INTERVAL1
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *              containing ITS PDU header
         *                  containing StationID
         *                      indicating its own stationID
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-04
         * @reference ETSI EN 302 637-3, clause 8.2.1.6
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_04() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_04

        /**
         * @desc    Check that forwarding ITS-S does not change actionID
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value more than 3 times greater than TRANS_INTERVAL1
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM 
         *              containing management container
         *                  containing actionID
         *                      indicating ACTION_ID1
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-05
         * @reference ETSI EN 302 637-3, clause 8.2.1.1
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_05() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_05
        
        /**
         * @desc    Check that forwarding ITS-S does not change referenceTime
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value DURATION_1 more than 3 times greater than TRANS_INTERVAL1
         *          and containing referenceTime
         *              indicating REFERENCETIME_1
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *              containing management container
         *                  containing referenceTime
         *                      indicating REFERENCETIME_1
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-06
         * @reference ETSI EN 302 637-3, clause 8.2.1.2
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_06() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_06

        /**
         * @desc    Check that forwarding ITS-S does not change termination
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing actionID
         *              indicating ACTION_ID1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
         *          and containing validityDuration
         *              indicating value DURATION_1 more than 3 times greater than TRANS_INTERVAL1
         *          and containing termination
         *              indicating isNegation
filatov's avatar
filatov committed
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *              containing management container
         *                  containing termination
         *                      indicating isNegation
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-07
         * @reference ETSI EN 302 637-3, clause 8.2.1.3
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_07() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_07

        /**
         * @desc    Check that Forwarding ITS-S does not modify management, situation, location and alacarte containers 
filatov's avatar
filatov committed
         *          when forwarding a DENM
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received a DENM
         *          containing management container
         *              indicating MANACEMENTCONTAINER_1
         *          and containing situation container
         *              indicating SITUATION_1
         *          and containing location container
         *              indicating LOCATION_1
         *          and containing alacarte container
         *              indicating ALACARTE_1
         *          and containing transmissionInterval
         *              indicating TRANS_INTERVAL1
filatov's avatar
filatov committed
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the timer T_Forwarding expires
         *      }
         *      then {
         *          the IUT reconstructs and sends the DENM associated to ACTION_ID1
         *              containing management container
         *                  indicating MANACEMENTCONTAINER_1
         *              and containing situation container
         *                  indicating SITUATION_1
         *              and containing location container
         *                  indicating LOCATION_1
         *              and containing alacarte container
         *                  indicating ALACARTE_1
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-08
         * @reference ETSI EN 302 637-3, clause 8.2.1.6
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_08() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_08

        /**
         * @desc    Check that forwarding ITS-S stops forwarding DENM after validity expiration
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received an event
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *              and containing validityDuration
         *                  indicating DURATION_1
         *          	and containing transmissionInterval
         *              	indicating TRANS_INTERVAL1
filatov's avatar
filatov committed
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT is alerted of expiration of the time associated with DURATION_1
         *      }
         *      then {
         *          the IUT stops to reconstruct and to send the DENM associated with ACTION_ID1
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-09
         * @reference ETSI EN 302 637-3, clause 8.2.2
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_09() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_09
                                  
        /**
         * @desc    Check that forwarding ITS-S stops forwarding DENM if it is outside relevance area
filatov's avatar
filatov committed
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *      and the IUT having received an event
         *          containing management container
         *              containing actionID
         *                  indicating ACTION_ID1
         *          	and containing transmissionInterval
         *              	indicating TRANS_INTERVAL1
filatov's avatar
filatov committed
         *      and the IUT having starting timer T_Forwarding for this DENM
         *      and the IUT not having received further DENM 
         *          containing actionID
         *              indicating ACTION_ID1
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when { 
         *          the IUT is alerted that its position is now outside of the relevance area associated with ACTION_ID1
         *      }
         *      then {
         *          the IUT stops to reconstruct and to send the DENM associated with ACTION_ID1
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-10
         * @reference ETSI EN 302 637-3, clause 8.2.2
filatov's avatar
filatov committed
         */
        testcase TC_DEN_KAFW_BV_10() runs on ItsDenm system ItsDenmSystem {
            
filatov's avatar
filatov committed
            
        } // end TC_DEN_KAFW_BV_10
        
        /**
         * @desc    Check that forwarding ITS-S does not forward DENM is transmissionInterval is not present
         * <pre>
         * PICS Selection: PICS_KAF 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT receives a DENM
         *          	containing actionID
         *          		indicating ACTION_ID1
         *          	and not containing transmissionInterval
         *      }
         *      then {
         *          the IUT does not reconstruct and send the DENM associated with ACTION_ID1
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI TS 102 869-2 v1.5.1 TP/DEN/KAFW/BV-10
         * @reference ETSI EN 302 637-3, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_11() runs on ItsDenm system ItsDenmSystem {

filatov's avatar
filatov committed
    } // end denKeepAliveForwarding
    
} // end ItsDenm_TestCases