Newer
Older
4001
4002
4003
4004
4005
4006
4007
4008
4009
4010
4011
4012
4013
4014
4015
4016
4017
4018
4019
4020
4021
4022
4023
4024
4025
4026
4027
4028
4029
4030
4031
4032
4033
4034
4035
4036
4037
4038
4039
4040
4041
4042
4043
4044
4045
4046
4047
4048
4049
4050
4051
4052
4053
4054
4055
4056
4057
4058
4059
4060
4061
4062
4063
4064
4065
4066
4067
4068
4069
4070
4071
4072
4073
4074
4075
4076
4077
4078
4079
4080
4081
4082
4083
4084
4085
4086
4087
4088
4089
4090
4091
4092
4093
4094
4095
4096
4097
4098
4099
4100
4101
4102
4103
4104
4105
4106
4107
4108
4109
4110
4111
4112
4113
4114
4115
4116
4117
4118
4119
4120
4121
4122
4123
4124
4125
4126
4127
4128
4129
4130
4131
4132
4133
4134
4135
4136
4137
4138
4139
4140
4141
4142
4143
4144
4145
4146
4147
4148
4149
4150
4151
4152
4153
4154
4155
4156
4157
4158
4159
4160
4161
4162
4163
4164
4165
4166
4167
4168
4169
4170
4171
4172
4173
4174
4175
4176
4177
4178
4179
4180
4181
4182
4183
4184
4185
4186
4187
4188
4189
4190
4191
4192
4193
4194
4195
4196
4197
4198
4199
// )) {
// tc_ac.stop;
// log("*** TC_FNTP_CIP_FP_BV_07: INFO: Received NF-COMM.indication primitive as expected ***");
// }
// [] utPort.receive {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// log("*** TC_FNTP_CIP_FP_BV_07: FAIL: Unexpected basic FNTP NPDU ***");
// }
// [] tc_ac.timeout {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
// log("*** TC_FNTP_CIP_FP_BV_07: INCONC: Unexpected basic FNTP NPDU ***");
// }
// } // End of 'alt' statement
// // 2) the IUT retransmits the received packet in broadcast mode with...
// tc_ac.start;
// alt {
// [] fntpPort.receive(
// mw_fntpInSapPrimitiveReq(
// mdw_inUnitDataReqCip(
// mw_linkId(f_getIutWlRemoteCiidBc(), f_getIutWlLocalCiid()),
// mw_linkId(f_getIutRemoteDestCiidBc(), f_getIutDestLocalCiid()),
// f_getIutRxCipValue() // And with access_parameters not set equal to the received CIP
// ))) -> value v_inSapPrimitivesDown {
// tc_ac.stop;
// f_oct2npdu(v_inSapPrimitivesDown.primitives.inUnitdataRq.data, c_tbDone, v_extendedNpdu);
// if (match(
// v_extendedNpdu,
// mdw_fntpExtendedNpdu(
// ?,
// ?
// ))) {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// log("*** TC_FNTP_CIP_FP_BV_07: INFO: IUT transmits the received packet in BC mode ***");
// } else {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// log("*** TC_FNTP_CIP_FP_BV_07: FAIL: Unexpected extended N-hops FNTP NPDU ***");
// }
// }
// [] tc_ac.timeout {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
// log("*** TC_FNTP_CIP_FP_BV_07: INCONC: Expected message not received ***");
// }
// } // End of 'alt' statement
// log("*** TC_FNTP_CIP_FP_BV_07: INFO: test body done ***");
//
// // Postamble
// f_poDefault();
// f_cf02Down();
//
// } // End of testcase TC_FNTP_CIP_FP_BV_07
//
// /**
// * @desc RX of an FNTP extended NPDU with CIP at ITS-S router which is due to a retransmission (N-hop)
// * <pre>
// * Pics Selection: PICS_CIP and PICS_ITS_S_INW and PICS_ROLE_RH
// * Config Id: CF02
// * Initial conditions:
// * with {
// * the IUT having set up properly the FNTP forwarding table,
// * the IUT is enabled to transmit CIPs in a frame to remote ITS-S
// * }
// * Expected behaviour:
// * ensure that {
// * when {
// * the IUT having received a correctly formatted broadcast packet from the peer station via the IN-SAP with FNTP hop count set to a value larger than 0
// * }
// * then {
// * the IUT forwards the CIP information to the implementation-specific destination in the ITS-S router,
// * the IUT retransmits the received packet in broadcast mode with FNTP hop count decremented by one,
// * and with no CIP contained in the NPDU,
// * and with access_parameters not set equal to the received CIP,
// * the IUT forwards the "FNTP extended NPDU" to the proper ITS host
// * }
// * }
// * </pre>
// *
// * @version 1.1.2
// * @see ETSI TS 102 985-2 v1.1.2 FNTP/CIP/FP/BV/08
// */
// testcase TC_FNTP_CIP_FP_BV_08() runs on ItsCalm system ItsCalmSystem {
// // Local variables
// var INsapPrimitivesDown v_inSapPrimitivesDown;
// var FNTPNPDU v_extendedNpdu;
//
// // Test control
// if (not(PICS_CIP and PICS_ITS_S_INW and PICS_ROLE_RH)) {
// log("*** TC_FNTP_CIP_FP_BV_08: ERROR: 'PICS_CIP and PICS_ITS_S_INW and PICS_ROLE_RH' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Test adapter configuration
//
// // Preamble
// // Clause 'Initial conditions'
// f_initializeFntpForwardingTable(f_getIutAppPortValue());
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// log("*** TC_FNTP_CIP_FP_BV_08: INFO: Preamble: FNTP forwarding Table was setup properly ***");
//
// // Test Body
// // Clause 'when'
// f_sendExtendedFntpNpdu(
// f_getIutLocalPortNumberValue(),
// f_getIutRemotePortNumberValue(),
// m_llServiceAddr(m_linkId(f_getIutWlRemoteCiidBc(), f_getIutWlLocalCiid())),
// m_llServiceAddr(m_linkId(f_getIutRemoteDestCiidBc(), f_getIutDestLocalCiid())),
// f_getIutNhopsValue()
// );
// log("*** TC_FNTP_CIP_FP_BV_08: INFO: Request to send an FNTP extended NPDU containing CIP done ***");
// // Clause 'then'
// // 1) The IUT forwards the "FNTP extended NPDU" to the proper ITS host
// tc_ac.start;
// alt {
// [] utPort.receive(
// mdw_checkNfFntpCommIndicationCip(
// f_getIutRemotePortNumberValue(), // Destination port of DL-UNITDATA.request primitive
// f_getIutLocalPortNumberValue(), // Source port of DL-UNITDATA.request primitive
// m_linkId(f_getIutRemoteDestCiidBc(), f_getIutDestLocalCiid()), // Source address of DL-UNITDATA.request primitive
// mdw_nHopNfFntpOptions_cip(
// f_getIutNhopsValue(),
// f_getIutTxCipValue(),
// f_getIutRxCipValue()
// )
// )) {
// tc_ac.stop;
// log("*** TC_FNTP_CIP_FP_BV_08: INFO: Received NF-COMM.indication primitive as expected ***");
// }
// [] utPort.receive {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// log("*** TC_FNTP_CIP_FP_BV_08: FAIL: Unexpected basic FNTP NPDU ***");
// }
// [] tc_ac.timeout {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
// log("*** TC_FNTP_CIP_FP_BV_08: INCONC: Unexpected basic FNTP NPDU ***");
// }
// } // End of 'alt' statement
// // 2) the IUT retransmits the received packet in broadcast mode with...
// tc_ac.start;
// alt {
// [] fntpPort.receive(
// mw_fntpInSapPrimitiveReq(
// mdw_inUnitDataReqCip(
// mw_linkId(f_getIutRemoteDestCiidBc(), f_getIutDestLocalCiid()),
// mw_linkId(f_getIutLanRemoteCiidBc(), f_getIutLanLocalCiid()),
// f_getIutRxCipValue() // and with access_parameters not set equal to the received CIP
// ))) -> value v_inSapPrimitivesDown {
// tc_ac.stop;
// f_oct2npdu(v_inSapPrimitivesDown.primitives.inUnitdataRq.data, c_tbDone, v_extendedNpdu);
// if (match(
// v_extendedNpdu,
// mdw_fntpExtendedNpdu(
// ?,
// ?
// ))) {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// log("*** TC_FNTP_CIP_FP_BV_08: INFO: IUT transmits the received packet in BC mode ***");
// } else {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// log("*** TC_FNTP_CIP_FP_BV_08: FAIL: Unexpected extended N-hops FNTP NPDU ***");
// }
// }
// [] tc_ac.timeout {
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
// log("*** TC_FNTP_CIP_FP_BV_08: INCONC: Expected message not received ***");
// }
// } // End of 'alt' statement
// log("*** TC_FNTP_CIP_FP_BV_08: INFO: test body done ***");
//
// // Postamble
// f_poDefault();
// f_cf02Down();
//
// } // End of testcase TC_FNTP_CIP_FP_BV_08
} // End of group validBehavior
group invalidBehavior {
} // End of group invalidBehavior
} // End of group forwardedProcedure
} // End of group cipManagement
// x.x.x Extended procedure
group secureCommunications {
group validBehavior {
} // End of group validBehavior
group invalidBehavior {
} // End of group invalidBehavior
} // End of group secureCommunications