Commit d8200ed1 authored by garciay's avatar garciay
Browse files

UpperTester changes

parent 3b452716
Loading
Loading
Loading
Loading
+100 −1
Original line number Diff line number Diff line
@@ -12,6 +12,7 @@ module TestCodec_DENM {
  import from LibItsDenm_TypesAndValues all;
  import from LibItsDenm_TestSystem all;
  import from LibItsDenm_Templates all;
  import from LibItsDenm_Functions all;
    
  // TestCodec
  import from TestCodec_TestAndSystem all;
@@ -72,6 +73,62 @@ module TestCodec_DENM {
        setverdict(pass, "Encoding passed.");
      } // End of tc_Denm_UtDenmInitialize

      /**
       * @desc Validate template Denm/UtDenmChangePosition
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_Denm_UtDenmChangePosition() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtDenmInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtDenmChangePosition m_utDenmChangePosition := { 1234, 5678, 9876 };
        var bitstring v_expEncMsg := oct2bit('02000004D20000162E00002694'O);
    
        // Encode template
        log("Encode template ", valueof(m_utDenmChangePosition));
      v_encMsg := encvalue(m_utDenmChangePosition);
        log("Encoded message:  ", bit2oct(v_encMsg));
        // Check result
        if (not isbound(v_encMsg)) {
          setverdict(fail, "Encoding failed!");
          stop;
        }
        if (not match(v_encMsg, v_expEncMsg)) {
          log("Expected message: ", bit2oct(valueof(v_expEncMsg)));
          setverdict(fail, "Encoding failed, not the expected result!");
          stop;
        }
        setverdict(pass, "Encoding passed.");
      } // End of tc_Denm_UtDenmChangePosition
      
      /**
       * @desc Validate template Denm/UtDenmChangePseudonym
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_Denm_UtDenmChangePseudonym() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtDenmChangePseudonym v_decMsg;
        var integer v_res := 0;
        var template (value) UtDenmChangePseudonym m_utDenmChangePseudonym := { };
        var bitstring v_expEncMsg := oct2bit('04'O);
    
        // Encode template
        log("Encode template ", valueof(m_utDenmChangePseudonym));
      v_encMsg := encvalue(m_utDenmChangePseudonym);
        log("Encoded message:  ", bit2oct(v_encMsg));
        // Check result
        if (not isbound(v_encMsg)) {
          setverdict(fail, "Encoding failed!");
          stop;
        }
        if (not match(v_encMsg, v_expEncMsg)) {
          log("Expected message: ", bit2oct(valueof(v_expEncMsg)));
          setverdict(fail, "Encoding failed, not the expected result!");
          stop;
        }
        setverdict(pass, "Encoding passed.");
      } // End of tc_Denm_UtDenmChangePseudonym

    } // End of group testDenmUpperTester
    
    group testDenmPort {
@@ -112,7 +169,49 @@ module TestCodec_DENM {
                
        unmap(self:denmPort, system:denmPort);
	
      } // End of testcase tc_Denm_Port
            
      /**
       * @desc validate DenmReq
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_Denm_Port_utPort() runs on ItsDenm system ItsDenmSystem {
        var DenmReq v_denmReq;
        var template (value) SituationContainer v_situation := m_situation(CauseCodeType_vehicleBreakdown_, VehicleBreakdownSubCauseCode_unavailable_);
	
	
        map(self:utPort, system:utPort);
        map(self:denmPort, system:denmPort);
        
        f_utInitializeIut(m_denmInitialize);
                
      v_denmReq := valueof(
                           m_denmReq(
                                     m_denmPdu(
                                               m_denm(
                                                      m_denmMgmtCon(
                                                                    m_tsActionId
                                                                    ),
                                                      v_situation,
                                                      m_denmLocation_zeroDelta
                                                      ))
                                     )
                           );
        denmPort.send(v_denmReq);
        tc_ac.start;
        alt {
          [] denmPort.receive(DenmInd : ?) {
            setverdict(pass);
          }
          [] tc_ac.timeout {
            setverdict(fail, "Expected message not received1");
          }
        }
                
        unmap(self:denmPort, system:denmPort);
        unmap(self:utPort, system:utPort);
	
      } // End of testcase tc_Denm_Port_utPort
            
    } // End of group testDenmPort