Newer
Older
module ItsPki_TestControl {
// LibItsPki
import from LibItsPki_Pics all;
// AtsPki
import from ItsPki_TestCases all;
control {
if (PICS_IUT_ITS_S_ROLE) {
if (PICS_SECPKI_ENROLMENT) {
execute(TC_SECPKI_ITSS_ENR_01_BV());
execute(TC_SECPKI_ITSS_ENR_02_BV());
if (PICS_SECPKI_REENROLMENT) {
execute(TC_SECPKI_ITSS_ENR_03_BV());
execute(TC_SECPKI_ITSS_ENR_06_BV());
execute(TC_SECPKI_ITSS_ENR_12_BV());
}
if (PICS_SECPKI_CRL) {
execute(TC_SECPKI_ITSS_ENR_04_BV())
}
execute(TC_SECPKI_ITSS_ENR_05_BV());
execute(TC_SECPKI_ITSS_ENR_07_BV());
execute(TC_SECPKI_ITSS_ENR_08_BV());
execute(TC_SECPKI_ITSS_ENR_09_BV());
execute(TC_SECPKI_ITSS_ENR_10_BV());
execute(TC_SECPKI_ITSS_ENR_11_BV());
execute(TC_SECPKI_ITSS_ENR_RECV_01_BV());
execute(TC_SECPKI_ITSS_ENR_RECV_02_BV());
}
if (PICS_SECPKI_AUTHORIZATION) {
// TODO
}
if (PICS_IUT_EA_ROLE or PICS_IUT_COMBINED_EA_AA_ROLE) {
execute(TC_SECPKI_EA_ENR_RCV_01_BV());
execute(TC_SECPKI_EA_ENR_RCV_02_BI());
execute(TC_SECPKI_EA_ENR_01_BV());
execute(TC_SECPKI_EA_ENR_02_BV());
execute(TC_SECPKI_EA_ENR_03_BV());
execute(TC_SECPKI_EA_ENR_04_BV());
execute(TC_SECPKI_EA_ENR_05_BV());
execute(TC_SECPKI_EA_ENR_06_BV());
execute(TC_SECPKI_EA_ENR_07_BV());
execute(TC_SECPKI_EA_ENR_08_BV());
execute(TC_SECPKI_EA_ENR_09_BV());
execute(TC_SECPKI_EA_ENR_10_BV());
execute(TC_SECPKI_EA_ENR_11_BV());
execute(TC_SECPKI_EA_ENR_12_BV());
if (not PICS_IUT_COMBINED_EA_AA_ROLE) {
execute(TC_SECPKI_EA_AUTHVAL_RCV_01_BV());
execute(TC_SECPKI_EA_AUTHVAL_RCV_02_BI());
}
execute(TC_SECPKI_SND_EA_AA_BV_01());
execute(TC_SECPKI_SND_AA_BV_01());
execute(TC_SECPKI_SND_AA_BV_02());
execute(TC_SECPKI_SND_AA_BV_03());
}
} // End of 'control' statement
} // End of module module ItsPki_TestControl