Commit 8b7bc5a7 authored by Yann Garcia's avatar Yann Garcia
Browse files

Finalyse TPs implementations

parent 86926bae
Loading
Loading
Loading
Loading
+1869 −254

File changed.

Preview size limit exceeded, changes collapsed.

+73 −2
Original line number Original line Diff line number Diff line
@@ -7,7 +7,7 @@ module AtsCise_TestControl {
  import from AtsCise_TestCases all;
  import from AtsCise_TestCases all;


  control {
  control {
    if (PICS_IUT_CDM_NODE) {
    if (PICS_IUT_CDM_NODE_EI_NA) {
    
    
      if (PICS_CDM_PULL) {
      if (PICS_CDM_PULL) {


@@ -24,6 +24,10 @@ module AtsCise_TestControl {
          execute(TC_CDM_NODE_EI_NA_PULL_REQUEST_BO_01_06());
          execute(TC_CDM_NODE_EI_NA_PULL_REQUEST_BO_01_06());


          execute(TC_CDM_NODE_EI_NA_PULL_DISC_BV_01());
          execute(TC_CDM_NODE_EI_NA_PULL_DISC_BV_01());

          execute(TC_CDM_NODE_EI_NA_MULTI_PULL_REQ_BV_01());

          execute(TC_CDM_NODE_EI_NA_ASYNC_ACK_BV_01());
        }
        }


        if (PICS_CDM_ACTION_SERVICE) {
        if (PICS_CDM_ACTION_SERVICE) {
@@ -33,6 +37,8 @@ module AtsCise_TestControl {
          execute(TC_CDM_NODE_EI_NA_PULL_REQUEST_BO_02_02());
          execute(TC_CDM_NODE_EI_NA_PULL_REQUEST_BO_02_02());


          execute(TC_CDM_NODE_EI_NA_PULL_DISC_BV_02());
          execute(TC_CDM_NODE_EI_NA_PULL_DISC_BV_02());

          execute(TC_CDM_NODE_EI_NA_MULTI_PULL_REQ_BV_02());
        }
        }


        if (PICS_CDM_ANOMALY_SERVICE) {
        if (PICS_CDM_ANOMALY_SERVICE) {
@@ -286,7 +292,72 @@ module AtsCise_TestControl {


      } // PICS_CDM_FEEDBACK
      } // PICS_CDM_FEEDBACK


    } // PICS_IUT_CDM_NODE
    } // PICS_IUT_CDM_NODE_EI_NA

    if (PICS_IUT_CDM_NODE_EI_NN) {
      if (PICS_CDM_PULL) {

        if (PICS_CDM_VESSEL_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_01_01());
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_01_02());
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_01_03());

          execute(TC_CDM_NODE_EI_NN_SUB_BV_01());

          execute(TC_CDM_NODE_EI_NN_PUSH_NOT_BV_01());

          execute(TC_CDM_NODE_EI_NN_FEEDBACK_BV_01());
        }

        if (PICS_CDM_ACTION_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_02());
        }

        if (PICS_CDM_ANOMALY_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_03());
        }

        if (PICS_CDM_CERTIFICATE_DOCUMENT_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_04());
        }

        if (PICS_CDM_INCIDENT_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_05());

          execute(TC_CDM_NODE_EI_NN_SUB_LOOK_BV_01());
        }

        if (PICS_CDM_IRREGULAR_MIGRATION_INCIDENT_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_06());
        }

        if (PICS_CDM_LAW_INFRINGEMENT_INCIDENT_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_07());
        }

        if (PICS_CDM_METEO_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_08());

          execute(TC_CDM_NODE_EI_NN_DISC_REQ_BV_01());
        }

        if (PICS_CDM_ORGANIZATION_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_09());
        }

        if (PICS_CDM_RISK_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_10());

          execute(TC_CDM_NODE_EI_NN_SUB_DELETE_BV_01());
        }

        if (PICS_CDM_CARGO_SERVICE) {
          execute(TC_CDM_NODE_EI_NN_PULL_REQ_BV_11());

          execute(TC_CDM_NODE_EI_NN_ASYNC_ACK_BV_01());
        }
      }
    } // PICS_IUT_CDM_NODE_EI_NN


    if (PICS_IUT_CDM_ADAPTOR) {
    if (PICS_IUT_CDM_ADAPTOR) {
      
      
+7 −1
Original line number Original line Diff line number Diff line
@@ -4,7 +4,13 @@ module LibCise_Pics {
   * @desc Set to true if the IUT is acting as a CISE node
   * @desc Set to true if the IUT is acting as a CISE node
   * @see CDM-0012 Table A1/1
   * @see CDM-0012 Table A1/1
   */
   */
  modulepar boolean PICS_IUT_CDM_NODE := true;
  modulepar boolean PICS_IUT_CDM_NODE_EI_NA := true;

  /**
   * @desc Set to true if the IUT is acting as a CISE node
   * @see CDM-0012 Table A1/1
   */
  modulepar boolean PICS_IUT_CDM_NODE_EI_NN := true;


  /**
  /**
   * @desc Set to true if the IUT is acting as a CISE adaptor
   * @desc Set to true if the IUT is acting as a CISE adaptor