Commit db11262b authored by garciay's avatar garciay
Browse files

Start UpperTester changes

parent 235872c6
Loading
Loading
Loading
Loading
+33 −0
Original line number Original line Diff line number Diff line
@@ -9,6 +9,7 @@ module TestCodec_DENM {
  import from LibItsCommon_ASN1_NamedNumbers all;
  import from LibItsCommon_ASN1_NamedNumbers all;
    
    
  // LibItsDenm
  // LibItsDenm
  import from LibItsDenm_TypesAndValues all;
  import from LibItsDenm_TestSystem all;
  import from LibItsDenm_TestSystem all;
  import from LibItsDenm_Templates all;
  import from LibItsDenm_Templates all;
    
    
@@ -41,6 +42,38 @@ module TestCodec_DENM {
            
            
    } // End of group testDenmPrimitiveMessages
    } // End of group testDenmPrimitiveMessages
        
        
    group testDenmUpperTester {

      /**
       * @desc Validate template GeoNetworking/UtDenmInitialize
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtDenmInitialize() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtDenmInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtDenmInitialize m_utDenmInitialize := { '0809AABBCCDDEEFF'O };
        var bitstring v_expEncMsg := oct2bit('000809AABBCCDDEEFF'O);
    
        // Encode template
        log("Encode template ", valueof(m_utDenmInitialize));
      v_encMsg := encvalue(m_utDenmInitialize);
        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_GeoNet_UtDenmInitialize

    } // End of group testDenmUpperTester
    
    group testDenmPort {
    group testDenmPort {
            
            
      /**
      /**
+283 −2
Original line number Original line Diff line number Diff line
@@ -633,7 +633,7 @@ module TestCodec_GeoNetworking {
        var UtGnInitialize v_decMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var integer v_res := 0;
        var template (value) UtGnChangePosition m_utGnChangePosition := { 1234, 5678, 9876 };
        var template (value) UtGnChangePosition m_utGnChangePosition := { 1234, 5678, 9876 };
        var bitstring v_expEncMsg := oct2bit('000809AABBCCDDEEFF'O);
        var bitstring v_expEncMsg := oct2bit('02000004D20000162E00002694'O);
    
    
        // Encode template
        // Encode template
        log("Encode template ", valueof(m_utGnChangePosition));
        log("Encode template ", valueof(m_utGnChangePosition));
@@ -652,6 +652,287 @@ module TestCodec_GeoNetworking {
        setverdict(pass, "Encoding passed.");
        setverdict(pass, "Encoding passed.");
      } // End of tc_GeoNet_UtGnChangePosition
      } // End of tc_GeoNet_UtGnChangePosition
      
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoUnicast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoUnicast_1() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoUnicastMessage(f_getTsGnLocalAddress(c_compNodeB));
        var bitstring v_expEncMsg := oct2bit('50940000000000000B2710800000'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoUnicast_1
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoUnicast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoUnicast_2() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoUnicastMessageWithPayload(f_getTsGnLocalAddress(c_compNodeB), 'CAFEDECA'O);
        var bitstring v_expEncMsg := oct2bit('50940000000000000B2710800004CAFEDECA'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoUnicast_2

      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoBroadcast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoBroadcast_1() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoBroadcastMessage(GeoArea: {e_geoRect, valueof(m_dummyArea1) });
        var bitstring v_expEncMsg := oct2bit('510127108000000000048D8800007FE904D2162E23A30000'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoBroadcast_1
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoBroadcast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoBroadcast_2() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoBroadcastMessageWithPayload(GeoArea: {e_geoElip, valueof(m_dummyArea2) }, 'CAFEDECA'O);
        var bitstring v_expEncMsg := oct2bit('5102271080000000000D544C00000B15223D10E111D70004CAFEDECA'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoBroadcast_2

      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoAnycast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoAnycast_1() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoAnycastMessage(GeoArea: {e_geoRect, valueof(m_dummyArea1) });
        var bitstring v_expEncMsg := oct2bit('520127108000000000048D8800007FE904D2162E23A30000'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoAnycast_1
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/GeoAnycast
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_GeoAnycast_2() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateGeoAnycastMessageWithPayload(GeoArea: {e_geoElip, valueof(m_dummyArea2) }, 'CAFEDECA'O);
        var bitstring v_expEncMsg := oct2bit('5202271080000000000D544C00000B15223D10E111D70004CAFEDECA'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_GeoAnycast_2
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/Shb
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_Shb_1() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateShbMessage;
        var bitstring v_expEncMsg := oct2bit('53800000'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_Shb_1
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/Shb
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_Shb_2() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateShbMessageWithPayload('CAFEDECA'O);
        var bitstring v_expEncMsg := oct2bit('53800004CAFEDECA'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_Shb_2
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/Tsb
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_Tsb_1() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateTsbMessage;
        var bitstring v_expEncMsg := oct2bit('540A2710800000'O);
    
        // Encode template
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_Tsb_1
      
      /**
       * @desc Validate template GeoNetworking/UtGnTrigger/Tsb
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_GeoNet_UtGnTrigger_Tsb_2() runs on TCType system TCType {
        var bitstring v_encMsg;
        var UtGnInitialize v_decMsg;
        var integer v_res := 0;
        var template (value) UtGnTrigger m_utGnTrigger := m_generateTsbMessageWithLifetime(12345);
        var bitstring v_expEncMsg := oct2bit('540A3039800004CAFEDECA'O);
    
        // Encode template
      m_utGnTrigger.tsb.payload := 'CAFEDECA'O;
        log("Encode template ", valueof(m_utGnTrigger));
      v_encMsg := encvalue(m_utGnTrigger);
        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_GeoNet_UtGnTrigger_Tsb_2
      
    } // End of group testGeoNetUpperTester
    } // End of group testGeoNetUpperTester
    
    
    group testGeoNetPort {
    group testGeoNetPort {