Commit 893832dd authored by Yann Garcia's avatar Yann Garcia
Browse files

Add support of splitted ATSs (e,g, make ATS=ATsPki.Itss or make ATS=AtsPki.Pki)

parent 4dee8682

ItsPkiItss_TestCases.ttcn

0 → 100644
+8803 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsPkiItss_TestControl.ttcn

0 → 100644
+52 −0
Original line number Diff line number Diff line 
module ItsPkiItss_TestControl {

  

  // LibItsPki

  import from LibItsPki_Pics all;

  

  // AtsPki

  import from ItsPkiItss_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_1());

          execute(TC_SECPKI_ITSS_ENR_06_BV_2());

          execute(TC_SECPKI_ITSS_ENR_12_BV());

        }

        if (PICS_SECPKI_CRL) {

          execute(TC_SECPKI_ITSS_ENR_04_BV())

        }

        if (PICS_SECPKI_ENROLLMENT_RETRY) {

          execute(TC_SECPKI_ITSS_ENR_REP_01_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_02_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_03_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_04_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_05_BV());

        }

        execute(TC_SECPKI_ITSS_ENR_05_BV());

        execute(TC_SECPKI_ITSS_ENR_07_BV());

        execute(TC_SECPKI_ITSS_ENR_08_BV_1());

        execute(TC_SECPKI_ITSS_ENR_08_BV_2());

        execute(TC_SECPKI_ITSS_ENR_09_BV_1());

        execute(TC_SECPKI_ITSS_ENR_09_BV_2());

        execute(TC_SECPKI_ITSS_ENR_10_BV_1());

        execute(TC_SECPKI_ITSS_ENR_10_BV_2());

        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

      }

    }



  } // End of 'control' statement



}  // End of module module ItsPkiItss_TestControl

ItsPki_TestCases.ttcn

+1 −8719

File changed.

Preview size limit exceeded, changes collapsed.

ItsPki_TestControl.ttcn

+0 −39
Original line number Diff line number Diff line
@@ -8,45 +8,6 @@ module ItsPki_TestControl { 
  

  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_1());

          execute(TC_SECPKI_ITSS_ENR_06_BV_2());

          execute(TC_SECPKI_ITSS_ENR_12_BV());

        }

        if (PICS_SECPKI_CRL) {

          execute(TC_SECPKI_ITSS_ENR_04_BV())

        }

        if (PICS_SECPKI_ENROLLMENT_RETRY) {

          execute(TC_SECPKI_ITSS_ENR_REP_01_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_02_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_03_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_04_BV());

          execute(TC_SECPKI_ITSS_ENR_REP_05_BV());

        }

        execute(TC_SECPKI_ITSS_ENR_05_BV());

        execute(TC_SECPKI_ITSS_ENR_07_BV());

        execute(TC_SECPKI_ITSS_ENR_08_BV_1());

        execute(TC_SECPKI_ITSS_ENR_08_BV_2());

        execute(TC_SECPKI_ITSS_ENR_09_BV_1());

        execute(TC_SECPKI_ITSS_ENR_09_BV_2());

        execute(TC_SECPKI_ITSS_ENR_10_BV_1());

        execute(TC_SECPKI_ITSS_ENR_10_BV_2());

        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_CA_ROLE) {

      execute(TC_SECPKI_CA_CERTGEN_01_BV());

      execute(TC_SECPKI_CA_CERTGEN_02_BV_01());

module.mk

+11 −7
Original line number Diff line number Diff line 
suite := AtsPki

suite := $(AtsBTP)$(SUB_ATS)

pdu := EtsiTs103097Data EtsiTs102941Data



sources := ItsPki_Pixits.ttcn \

           ItsPki_TestCases.ttcn \

           ItsPki_TestControl.ttcn \

#           ../AtsCAM/lib/asn1/CAM_PDU_Descriptions.asn \

#           ../AtsDENM/lib/asn1/DENM_PDU_Descriptions.asn \



sources := ItsPki_Pixits.ttcn

ifeq (pki,$(SUB_ATS))

  sources += ItsPki_TestCases.ttcn ItsPki_TestControl.ttcn 

else 

  ifeq (itss,$(SUB_ATS))

    sources += ItsPkiItss_TestCases.ttcn ItsPkiItss_TestControl.ttcn 

  else

    sources += ItsPki_TestCases.ttcn ItsPki_TestControl.ttcn ItsPkiItss_TestCases.ttcn ItsPkiItss_TestControl.ttcn 

  endif

endif



modules :=  lib \

            lib_system \