Commit 29e91bcd authored by garciay's avatar garciay
Browse files

Add TestSystem messages

parent c1583797
Loading
Loading
Loading
Loading
+27 −0
Original line number Diff line number Diff line
@@ -19,6 +19,7 @@ module LibItsSecurity_Functions {
    import from LibCommon_Sync all;
    
    // LibItsSecurity
    import from LibItsSecurity_Templates all;
    import from LibItsSecurity_TestSystem all;
    
    group configurationFunctions {
@@ -72,6 +73,32 @@ module LibItsSecurity_Functions {
    
    group securityAltsteps {
        
        /**
         * @desc The base default behavior.
         */
        altstep a_default() runs on ItsGnSecurity {
            [] gnSecurityPort.receive(mw_gnSecurityInd(?)) {
                log("*** a_default: WARNING: Received an unexpected message ***");
                repeat;
            }
            [] gnSecurityPort.receive {
                log("*** a_default: WARNING: Received an unexpected message ***");
                repeat;
            }
            [] tc_wait.timeout {
                log("*** a_default: ERROR: Timeout while awaiting reaction of the IUT prior to Upper Tester action ***");
                f_selfOrClientSyncAndVerdict("error", e_timeout);
            }
            [] tc_ac.timeout {
                log("*** a_default: ERROR: Timeout while awaiting the reception of a message ***");
                f_selfOrClientSyncAndVerdict("error", e_timeout);
            }
            [] a_shutdown() {
                log("*** a_default: INFO: TEST COMPONENT NOW STOPPING ITSELF! ***");
                stop;
            }
        } // End of 'altstep' statement
        
        altstep a_cf01Down() runs on ItsGnSecurity {
            [] a_shutdown() {
                f_cf01Down();
+19 −0
Original line number Diff line number Diff line
@@ -16,6 +16,22 @@ module LibItsSecurity_Templates {
    // LibItsSecurity
    import from LibItsSecurity_TypesAndValues all;
    import from LibItsSecurity_Pixits all;
    import from LibItsSecurity_TestSystem {
	    type
            GnSecurityReq, GnSecurityInd
	}
    
    template (value) GnSecurityReq m_gnSecurityReq(
                                                   in template (value) SecuredMessage p_msgReq
    ) := {
        msgReq := p_msgReq
    } // End of template m_gnSecurityReq
    
    template (present) GnSecurityInd mw_gnSecurityInd(
                                                      in template (present) SecuredMessage p_msgInd
    ) := {
        msgInd := p_msgInd
    } // End of template mw_gnSecurityIng
    
    /**
     * @desc Constants declaration
@@ -101,6 +117,9 @@ module LibItsSecurity_Templates {
            } // End of group algorithms
            
            /**
             * @desc Generic send/receive templates for Signature description
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.5   EccPoint
             * @see Draft ETSI TS 103 097 V1.1.6 Table 2: Derivation of field sizes depending on the used algorithm
             */
            group signatures {
                
+2 −2
Original line number Diff line number Diff line
@@ -129,11 +129,11 @@ module LibItsSecurity_TestSystem {
                SecuredMessage msgReq
            } // End of type GnSecurityReq
            
        } // End of nt2Primitives
        } // End of group nt2Primitives
        
    } // End of group networkAndTransportPrimitives
    with {
        encode "LibIts_Interface"
    } // End of interfacePrimitives
    } // End of group interfacePrimitives
    
} // End of module LibItsSecurity_TestSystem
 No newline at end of file
+2 −0
Original line number Diff line number Diff line
@@ -762,9 +762,11 @@ module LibItsSecurity_TypesAndValues {
    group acPrimitives {
        
        type union AcGnSecurityPrimitive {
            octetstring null_ // TODO To be refined
        } // End of type AcGnSecurityPrimitive
        
        type union AcGnSecurityResponse {
            octetstring null_ // TODO To be refined
        } // End of type AcGnSecurityResponse
        
    } // End of group acPrimitives