Skip to content
GitLab
Find file Normal viewHistoryPermalink
ItsDenm_TestCases.ttcn 93.3 KB
Newer Older
filatov's avatar
fix eol-styles, executable permissions, etc  
filatov committed
2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 
         * PICS Selection: PICS_DENM_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
         *  }
         * 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 v1.2.2, clause 8.2.1.4
         */
        testcase TC_DEN_KAFW_TI_03() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_TI_03();
            
        } // end TC_DEN_KAFW_TI_03
            
        /**
         * @desc    Check that Forwarding ITS-S replaces the ITS PDU header of forwarded DENMs
         * <pre>
         * PICS Selection: PICS_DENM_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 v1.2.2, clause 8.2.1.6
         */
        testcase TC_DEN_KAFW_BV_04() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_04();
            
        } // end TC_DEN_KAFW_BV_04

        /**
         * @desc    Check that forwarding ITS-S does not change actionID
         * <pre>
         * PICS Selection: PICS_DENM_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 v1.2.2, clause 8.2.1.1
         */
        testcase TC_DEN_KAFW_BV_05() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_05();
            
        } // end TC_DEN_KAFW_BV_05
        
        /**
         * @desc    Check that forwarding ITS-S does not change referenceTime
         * <pre>
         * PICS Selection: PICS_DENM_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 v1.2.2, clause 8.2.1.2
         */
        testcase TC_DEN_KAFW_BV_06() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_06();
            
        } // end TC_DEN_KAFW_BV_06

        /**
         * @desc    Check that forwarding ITS-S does not change termination
         * <pre>
         * PICS Selection: PICS_DENM_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
         *      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
         *      }
         *  }
         * </pre>
         * 
         * @see       ETSI 102 869-2 v1.5.1 TP/DEN/KAFW/BV-07
         * @reference ETSI EN 302 637-3 v1.2.2, clause 8.2.1.3
         */
        testcase TC_DEN_KAFW_BV_07() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_07();
            
        } // end TC_DEN_KAFW_BV_07

        /**
         * @desc    Check that Forwarding ITS-S does not modify management, situation, location and alacarte containers 
         *          when forwarding a DENM
         * <pre>
         * PICS Selection: PICS_DENM_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
         *      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 v1.2.2, clause 8.2.1.6
         */
        testcase TC_DEN_KAFW_BV_08() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_08();
            
        } // end TC_DEN_KAFW_BV_08

        /**
         * @desc    Check that forwarding ITS-S stops forwarding DENM after validity expiration
         * <pre>
         * PICS Selection: PICS_DENM_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
         *      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 v1.2.2, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_09() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_09();
            
        } // end TC_DEN_KAFW_BV_09
                                  
        /**
         * @desc    Check that forwarding ITS-S stops forwarding DENM if it is outside relevance area
         * <pre>
         * PICS Selection: PICS_DENM_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
         *      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 v1.2.2, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_10() runs on ItsDenm system ItsDenmSystem {
            
            f_DEN_KAFW_BV_10();
            
        } // 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_DENM_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 v1.2.2, clause 8.2.2
         */
        testcase TC_DEN_KAFW_BV_11() runs on ItsDenm system ItsDenmSystem {

            f_DEN_KAFW_BV_11();
            
        } // end TC_DEN_KAFW_BV_11
        
    } // end denKeepAliveForwarding
    
} // end ItsDenm_TestCases
Show full blame