Commit dc910ff4 authored by garciay's avatar garciay
Browse files

Merge STF455 staff

parent 9fbe575b
This source diff could not be displayed because it is too large. You can view the blob instead.
/**
* @author ETSI / STF455
* @version $URL$
* $Id$
* @desc Test Control file for Access Technology Support ISO 21218 (TP version: 0.0.1)
*
*/
module ItsAtsp_TestControl {
// ItsAtsp
import from ItsAtsp_TestCases {testcase all};
// LibIts
import from LibItsAtsp_Pics all;
// Test Execution
control {
// State Event Transistions (SE)
// SE - Valid Behaviour
if (PICS_DYNREG and PICS_MAC48) {
execute(TC_ATSP_SE_BV_01());
}
if (PICS_DYNREG and not(PICS_MAC48)) {
execute(TC_ATSP_SE_BV_02());
}
if (PICS_DYNREG) {
execute(TC_ATSP_SE_BV_03());
execute(TC_ATSP_SE_BV_10());
}
if (PICS_CIC_l2) {
execute(TC_ATSP_SE_BV_04());
execute(TC_ATSP_SE_BV_16());
}
if (PICS_CIC_l3) {
execute(TC_ATSP_SE_BV_05());
}
if (PICS_CIC_l4) {
execute(TC_ATSP_SE_BV_06());
}
if (PICS_CIC_l1) {
execute(TC_ATSP_SE_BV_07());
}
if (PICS_CIC_l3 and PICS_MCVCI) {
execute(TC_ATSP_SE_BV_08());
}
if ((PICS_CIC_l1 or PICS_CIC_il1) and PICS_MCVCI) {
execute(TC_ATSP_SE_BV_09());
}
if (PICS_INACT) {
execute(TC_ATSP_SE_BV_11());
}
if (PICS_ACT) {
execute(TC_ATSP_SE_BV_12());
}
if (PICS_SUSP) {
execute(TC_ATSP_SE_BV_13());
}
if (PICS_RES) {
execute(TC_ATSP_SE_BV_14());
}
if (PICS_CIC_l2 and PICS_CIAC2) {
execute(TC_ATSP_SE_BV_15());
}
if ((PICS_CIAC2 or PICS_CIAC3) and PICS_DISCONN) {
execute(TC_ATSP_SE_BV_17());
}
// SE - Invalid Valid Behaviour
if (PICS_DYNREG or PICS_INACT or PICS_ACT or PICS_SUSP or PICS_RES or PICS_CONN or PICS_DISCONN) {
execute(TC_ATSP_SE_BI_01());
}
if ((PICS_CIAC2 or PICS_CIAC3) and PICS_CONN) {
execute(TC_ATSP_SE_BI_02());
}
// MIB I-Parameters (MB)
// MB - Valid Behaviour
if (PICS_IPRW or PICS_IPRO) {
execute(TC_ATSP_MB_BV_01());
}
if (PICS_IPRW or PICS_IPWO) {
execute(TC_ATSP_MB_BV_02());
}
if (PICS_IPRW or PICS_IPRO or PICS_IPNO) {
execute(TC_ATSP_MB_BV_03());
}
// MB - Invalid Valid Behaviour
execute (TC_ATSP_MB_BI_01());
execute (TC_ATSP_MB_BI_02());
if (PICS_IPRO or PICS_IPNO) {
execute(TC_ATSP_MB_BI_03());
}
// Handling of CIs (HC)
// HC - Valid Behaviour
execute (TC_ATSP_HC_BV_03());
execute (TC_ATSP_HC_BV_05());
if (PICS_WAKEUP) {
execute(TC_ATSP_HC_BV_01());
}
if (PICS_RIM) {
execute(TC_ATSP_HC_BV_02());
}
if (PICS_DELET) {
execute(TC_ATSP_HC_BV_04());
}
// HC - Invalid Valid Behaviour
execute(TC_ATSP_HC_BI_01());
// Handling of data plane (DP)
// DP - Valid Behaviour
if ((PICS_MAC48 and PICS_BCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_01());
}
if ((PICS_MAC48 and PICS_MCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_02());
}
if ((PICS_MAC48 and PICS_UCVCI) and not(PICS_CIC_l4) and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_03());
}
if (PICS_MAC48 and not(PICS_CIC_l5)) {
execute(TC_ATSP_DP_BV_04());
execute(TC_ATSP_DP_BV_05());
execute(TC_ATSP_DP_BV_06());
}
if (PICS_MAC48 and not(PICS_CIC_l4) and PICS_SUSP and PICS_RES) {
execute(TC_ATSP_DP_BV_07());
}
if (PICS_CRCIP_V) {
execute(TC_ATSP_DP_BV_08());
execute(TC_ATSP_DP_BV_09());
execute(TC_ATSP_DP_BV_10());
execute(TC_ATSP_DP_BV_11());
execute(TC_ATSP_DP_BV_12());
}
if (PICS_CRCIP_I) {
execute(TC_ATSP_DP_BV_13());
execute(TC_ATSP_DP_BV_14());
}
// DP - Invalid Valid Behaviour
if (PICS_INUDS and not(PICS_CIC_l4)) {
execute(TC_ATSP_DP_BI_01());
}
if (not(PICS_INUDS) and not(PICS_CIC_l4)) {
execute(TC_ATSP_DP_BI_02());
}
} // End of control
} // End of module ItsAtsp_TestControl
This source diff could not be displayed because it is too large. You can view the blob instead.
/**
* @author ETSI / STF422_EETS
* @version $URL:$
* $Id:$
* @desc test control file for Fast Networking & Transport layer Protocol (ISO 29281-2)
*/
module ItsFntp_TestControl {
// ATS FNTP
import from ItsFntp_TestCases {testcase all};
// LibIts
import from LibItsFntp_Pics all;
// Test Execution
control {
// 7.6 Transmitting Packets
// 7.6.2 Basic procedure - valid behavior
if (PICS_ROLE_RH) {
execute(TC_FNTP_TXP_BP_BV_01());
execute(TC_FNTP_TXP_BP_BV_02());
}
// 7.6.2 Basic procedure - invalid behavior
if (PICS_ROLE_RH) {
// execute(TC_FNTP_TXP_BP_BI_01());
// execute(TC_FNTP_TXP_BP_BI_02());
}
// 7.6.3 Extended procedure - valid behavior
if (PICS_EXT and PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_TXP_EP_BV_01());
}
// 7.6.3 Extended procedure - invalid behavior
if (PICS_EXT and PICS_ROLE_RH and PICS_NHOPBC) {
// execute(TC_FNTP_TXP_EP_BI_01());
execute(TC_FNTP_TXP_EP_BI_02());
}
// 7.6.4 Forwarding procedure - valid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_TXP_FP_BV_01());
execute(TC_FNTP_TXP_FP_BV_02());
execute(TC_FNTP_TXP_FP_BV_03());
}
// 7.6.4 Forwarding procedure - invalid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
// FIXME Implementation shall be reviewed during ATS validation execute(TC_FNTP_TXP_FP_BI_01());
}
// 7.7 Receiving Packets
// 7.7.3 Basic procedure - valid behavior
if (PICS_ROLE_RH) {
execute(TC_FNTP_RXP_BP_BV_01());
execute(TC_FNTP_RXP_BP_BV_02());
execute(TC_FNTP_RXP_BP_BV_03());
}
// 7.7.3 Basic procedure - invalid behavior
if (PICS_ROLE_RH or PICS_ROLE_HONLY or PICS_ROLE_RONLY) {
execute(TC_FNTP_RXP_BP_BI_01());
execute(TC_FNTP_RXP_BP_BI_02());
execute(TC_FNTP_RXP_BP_BI_03());
execute(TC_FNTP_RXP_BP_BI_04());
execute(TC_FNTP_RXP_BP_BI_05());
execute(TC_FNTP_RXP_BP_BI_06());
}
// 7.7.3 Extended procedure - valid behavior
if (PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_RXP_EP_BV_01());
execute(TC_FNTP_RXP_EP_BV_02());
execute(TC_FNTP_RXP_EP_BV_03());
execute(TC_FNTP_RXP_EP_BV_04());
}
// 7.7.3 Extended procedure - invalid behavior
if (PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_RXP_EP_BI_01());
}
if (PICS_EXT and PICS_ROLE_RH) {
execute(TC_FNTP_RXP_EP_BI_02());
}
// 7.7.6 Forwarded delivery procedure - valid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_RONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_RXP_FP_BV_01());
execute(TC_FNTP_RXP_FP_BV_02());
execute(TC_FNTP_RXP_FP_BV_03());
execute(TC_FNTP_RXP_FP_BV_04());
}
// 7.7.6 Forwarded delivery procedure - invalid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_RONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_RXP_FP_BI_01());
}
// 7.10 CI parameter management: Not applicable
// 7.10.x Extended procedure - valid behavior
if ((PICS_CIP and PICS_ROLE_RH)) {
execute(TC_FNTP_CIP_EP_BV_01());
execute(TC_FNTP_CIP_EP_BV_02());
execute(TC_FNTP_CIP_EP_BV_03());
execute(TC_FNTP_CIP_EP_BV_04());
}
// 7.10.x Forwarded procedure - invalid behavior
if (PICS_CIP and PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_CIP_FP_BV_01());
execute(TC_FNTP_CIP_FP_BV_02());
execute(TC_FNTP_CIP_FP_BV_03());
execute(TC_FNTP_CIP_FP_BV_04());
execute(TC_FNTP_CIP_FP_BV_05());
execute(TC_FNTP_CIP_FP_BV_06());
}
if (PICS_CIP and PICS_ITS_S_INW and PICS_ROLE_RH) {
execute(TC_FNTP_CIP_FP_BV_07());
execute(TC_FNTP_CIP_FP_BV_08());
}
} // End of control
/**
* @author ETSI / STF422_EETS
* @version $URL:$
* $Id:$
* @desc test control file for Fast Networking & Transport layer Protocol (ISO 29281-2)
*/
module ItsFntp_TestControl {
// LibCommon
// ATS FNTP
import from ItsFntp_TestCases {testcase all};
// LibIts
import from LibItsFntp_Pics all;
// Test Execution
control {
if (not PICS_ROLE_RONLY and not PICS_ROLE_HONLY and not PICS_ROLE_RH) {
log("ETSI TS 102 985-1 v1.1.2 A.2: It is mandatory to support at least one of these items");
stop;
}
// 6.1.1 Transmitting Packets
// 6.1.1.1 Basic procedure - valid behavior
if (PICS_ROLE_RH) {
execute(TC_FNTP_TXP_BP_BV_01());
execute(TC_FNTP_TXP_BP_BV_02());
}
// 6.1.1.2 Basic procedure - invalid behavior
// Invalid test purposes will be defined in the next version of the present document once ISO has implemented the concept of flows in the architecture standard ISO 21217 [i.7], and subsequently in ISO 29281-1 [1]
// 6.1.2.1 Extended procedure - valid behavior
if (PICS_EXT and PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_TXP_EP_BV_01());
}
// 6.1.2.2 Extended procedure - invalid behavior
if (PICS_EXT and PICS_ROLE_RH and PICS_NHOPBC) {
// execute(TC_FNTP_TXP_EP_BI_01());
execute(TC_FNTP_TXP_EP_BI_02());
}
// 6.1.3.1 Forwarding procedure - valid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_TXP_FP_BV_01());
execute(TC_FNTP_TXP_FP_BV_02());
execute(TC_FNTP_TXP_FP_BV_03());
}
// 6.1.3.2 Forwarding procedure - invalid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
// FIXME Implementation shall be reviewed during ATS validation execute(TC_FNTP_TXP_FP_BI_01());
}
// 6.2 Receiving Packets
// 6.2.1.1 Basic procedure - valid behavior
if (PICS_ROLE_RH) {
execute(TC_FNTP_RXP_BP_BV_01());
execute(TC_FNTP_RXP_BP_BV_02());
execute(TC_FNTP_RXP_BP_BV_03());
}
// 6.2.1.2 Basic procedure - invalid behavior
if (PICS_ROLE_RH or PICS_ROLE_HONLY or PICS_ROLE_RONLY) {
execute(TC_FNTP_RXP_BP_BI_01());
execute(TC_FNTP_RXP_BP_BI_02());
execute(TC_FNTP_RXP_BP_BI_03());
execute(TC_FNTP_RXP_BP_BI_04());
execute(TC_FNTP_RXP_BP_BI_05());
execute(TC_FNTP_RXP_BP_BI_06());
}
// 6.2.2.1 Extended procedure - valid behavior
if (PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_RXP_EP_BV_01());
execute(TC_FNTP_RXP_EP_BV_02());
execute(TC_FNTP_RXP_EP_BV_03());
execute(TC_FNTP_RXP_EP_BV_04());
}
// 6.2.2.2 Extended procedure - invalid behavior
if (PICS_ROLE_RH and PICS_NHOPBC) {
execute(TC_FNTP_RXP_EP_BI_01());
}
if (PICS_EXT and PICS_ROLE_RH) {
execute(TC_FNTP_RXP_EP_BI_02());
}
/*******************************************************************************************************
// 6.3.1.1 Forwarded delivery procedure - valid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_RONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_RXP_FP_BV_01());
execute(TC_FNTP_RXP_FP_BV_02());
execute(TC_FNTP_RXP_FP_BV_03());
execute(TC_FNTP_RXP_FP_BV_04());
}
// 6.3.1.2 Forwarded delivery procedure - invalid behavior
if (PICS_ITS_S_INW and (PICS_ROLE_RONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_RXP_FP_BI_01());
}
// 6.4 CI parameter management: Not applicable
// 6.4.1.1 Extended procedure - valid behavior
if ((PICS_CIP and PICS_ROLE_RH)) {
execute(TC_FNTP_CIP_EP_BV_01());
execute(TC_FNTP_CIP_EP_BV_02());
execute(TC_FNTP_CIP_EP_BV_03());
execute(TC_FNTP_CIP_EP_BV_04());
}
// 6.4.1.2 Forwarded procedure - invalid behavior
if (PICS_CIP and PICS_ITS_S_INW and (PICS_ROLE_HONLY or PICS_ROLE_RH)) {
execute(TC_FNTP_CIP_FP_BV_01());
execute(TC_FNTP_CIP_FP_BV_02());
execute(TC_FNTP_CIP_FP_BV_03());
execute(TC_FNTP_CIP_FP_BV_04());
execute(TC_FNTP_CIP_FP_BV_05());
execute(TC_FNTP_CIP_FP_BV_06());
}
if (PICS_CIP and PICS_ITS_S_INW and PICS_ROLE_RH) {
execute(TC_FNTP_CIP_FP_BV_07());
execute(TC_FNTP_CIP_FP_BV_08());
}
*******************************************************************************************************/
} // End of control
} // End of module ItsNt_TestControl
\ No newline at end of file
This source diff could not be displayed because it is too large. You can view the blob instead.
/**
* @author ETSI / STF422_EETS
* @version $URL:$
* $Id:$
* @desc test control file for Fast service advertisement protocol (ISO 24102-5)
*/
module ItsFsap_TestControl {
// ATS FSAP
import from ItsFsap_TestCases {
testcase all
};
// LibIts
import from LibItsFsap_Pics all;
// Test Execution
control {
// 9.1 Service provider
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - valid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BV_01());
execute(TC_FSAP_SP_HR_BV_02());
execute(TC_FSAP_SP_HR_BV_03());
execute(TC_FSAP_SP_HR_BV_04());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HR_BV_05());
}
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - invalid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BI_01());
execute(TC_FSAP_SP_HR_BI_02());
}
// 9.1.2 ITS-S host only - valid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BV_01());
execute(TC_FSAP_SP_HO_BV_02());
execute(TC_FSAP_SP_HO_BV_03());
execute(TC_FSAP_SP_HO_BV_04());
}
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HO_BV_05());
}
// 9.1.2 ITS-S host only - invalid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BI_01());
execute(TC_FSAP_SP_HO_BI_02());
}
// 9.2 ITS-S router only - valid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_RO_BV_01());
execute(TC_FSAP_SP_RO_BV_02());
execute(TC_FSAP_SP_RO_BV_03());
}
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_RO_BV_04());
execute(TC_FSAP_SP_RO_BV_05());
}
// 9.x ITS-S router only - invalid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_RO_BI_01());
execute(TC_FSAP_SP_RO_BI_02());
}
// 9.2 Service user
// 9.2.1 Combined ITS-S host and ITS-S router - valid behavior
if (PICS_FSAP_ROLE_SU and PICS_ROLE_RH) {
execute(TC_FSAP_SU_HR_BV_01());
execute(TC_FSAP_SU_HR_BV_04());
execute(TC_FSAP_SU_HR_BV_05());
}
if (PICS_FSAP_ROLE_SU and PICS_ROLE_RH and PICS_SIP_W_CTX) {
execute(TC_FSAP_SU_HR_BV_02());
execute(TC_FSAP_SU_HR_BV_03());
}
// 9.2.2 ITS-S host only - valid behavior
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SU_HO_BV_01());
execute(TC_FSAP_SU_HO_BV_02());
}
// 9.2.3 ITS-S router only - valid behavior
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SU_RO_BV_01());
}
if (PICS_FSAP_ROLE_SU and (PICS_ROLE_RONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SU_RO_BV_02());
execute(TC_FSAP_SU_RO_BV_03());
}
} // End of control
/**
* @author ETSI / STF422_EETS
* @version $URL:$
* $Id:$
* @desc test control file for Fast service advertisement protocol (ISO 24102-5)
*/
module ItsFsap_TestControl {
// LibCommon
// ATS FSAP
import from ItsFsap_TestCases {
testcase all
};
// LibIts
import from LibItsFsap_Pics all;
// Test Execution
control {
// 9.1 Service provider
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - valid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BV_01());
execute(TC_FSAP_SP_HR_BV_02());
execute(TC_FSAP_SP_HR_BV_03());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_FSAP_MULTIPLE_AL_TECHNOLOGIES) {
execute(TC_FSAP_SP_HR_BV_04());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HR_BV_05());
}
// 9.1.1,4,5 Combined ITS-S host and ITS-S router - invalid behavior
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH) {
execute(TC_FSAP_SP_HR_BI_01());
}
if (PICS_FSAP_ROLE_SP and PICS_ROLE_RH and PICS_FSAP_MULTIPLE_AL_TECHNOLOGIES) {
execute(TC_FSAP_SP_HR_BI_02());
}
// 9.1.2 ITS-S host only - valid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BV_01());
execute(TC_FSAP_SP_HO_BV_02());
execute(TC_FSAP_SP_HO_BV_03());
execute(TC_FSAP_SP_HO_BV_04());
}
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW)) and PICS_SIP_W_CTX) {
execute(TC_FSAP_SP_HO_BV_05());
}
// 9.1.2 ITS-S host only - invalid behavior
if (PICS_FSAP_ROLE_SP and (PICS_ROLE_HONLY or (PICS_ROLE_RH and PICS_ITS_S_INW))) {
execute(TC_FSAP_SP_HO_BI_01());
execute(TC_FSAP_SP_HO_BI_02());
}
// 9.2 ITS-S router only - valid behavior