Newer
Older
module ItsPki_TestControl {
// LibItsPki
import from LibItsPki_Pics all;
// AtsPki
import from ItsPki_TestCases all;
control {
if (PICS_IUT_ITS_S_ROLE) {
execute(TC_SEC_PKI_ITSS_ENR_BV_01());
}
if (PICS_IUT_EA_ROLE) {
execute(TC_SEC_PKI_SND_EA_BV_01());
execute(TC_SEC_PKI_SND_EA_BV_02());
execute(TC_SEC_PKI_SND_EA_BV_03());
execute(TC_SEC_PKI_SND_EA_BV_04());
execute(TC_SEC_PKI_SND_EA_BV_05());
execute(TC_SEC_PKI_SND_EA_BV_06());
execute(TC_SEC_PKI_SND_EA_BV_07());
execute(TC_SEC_PKI_SND_EA_BV_08());
execute(TC_SEC_PKI_SND_EA_BV_09());
execute(TC_SEC_PKI_SND_EA_BV_10());
}
if (PICS_IUT_AA_ROLE) {
execute(TC_SEC_PKI_SND_AA_BV_01());
execute(TC_SEC_PKI_SND_AA_BV_02());
execute(TC_SEC_PKI_SND_AA_BV_03());
}
} // End of 'control' statement
} // End of module module ItsPki_TestControl