Commit 7a7ae47d authored by urbant's avatar urbant
Browse files

Several "on-hold" tests resolved and moved to the ATS

parent 64350679
Loading
Loading
Loading
Loading
+33 −0
Original line number Original line Diff line number Diff line
/*****************************************************************
 ** @author   STF 470 (updated by STF 521)
 ** @version  0.0.2
 ** @purpose  1:15.11, Ensure that concatenations of record of charstrings work when parameterized.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014 {

type component GeneralComp { }

type record of charstring RecOfChar;

template RecOfChar m_myRec_par(integer p_num) := {"ABC"} & ? & * length(p_num) & {"EF"};

testcase TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014() runs on GeneralComp {
    var integer v_int := 3;
    var template RecOfChar v_recofChar;
    v_recofChar :={ "ABC" } & { "Z" } & { "Z" } & { "Z" } & { "EF" };

    if (match(valueof(v_recofChar), m_myRec_par(2))) {
        setverdict(pass);
    } else {
        setverdict(fail);
    }

}

control{
    execute(TC_Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_014());
}

}
 No newline at end of file
+1 −1
Original line number Original line Diff line number Diff line
@@ -21,7 +21,7 @@ module Sem_160102_predefined_functions_033 {
        var universal charstring v_0 := "AB";
        var universal charstring v_0 := "AB";
        
        
    // predefined function for universal charstring to octetstring conversion:     
    // predefined function for universal charstring to octetstring conversion:     
        var octetstring v_encoded := unichar2oct(v_0, "UTF-32BE");      //"UTF-32" Big endian, expected value:'00 00 00 00 41 00 00 00 42'O 
        var octetstring v_encoded := unichar2oct(v_0, "UTF-32BE");      //"UTF-32" Big endian, expected value:'00 00 00 41 00 00 00 42'O 
        var octetstring v_1 := '0000004100000042'O;
        var octetstring v_1 := '0000004100000042'O;
  
  


+30 −0
Original line number Original line Diff line number Diff line
/***************************************************
 ** @author   STF 487 (updated by STF 521)
 ** @version  0.0.2
 ** @purpose  1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C.3.5)
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/

module Sem_160102_predefined_functions_062 {
    
    type component GeneralComp {
    }

    type record of integer MyRecofInt;
    
    testcase TC_Sem_160102_predefined_functions_062() runs on GeneralComp {
        var template MyRecofInt v_1 := {1,2,3,4,5}; // specific value of integer type
        var template bitstring enc := decmatch v_1;    //encoded template
        
        if (match(istemplatekind(enc, "decmatch"), true)) {
            setverdict(pass, "decmatch: ", istemplatekind(enc, "decmatch"));
        } else {
            setverdict(fail, "decmatch: ", istemplatekind(enc, "decmatch"), "; expected result: true");
        } 
        
    }
    
    control {
        execute(TC_Sem_160102_predefined_functions_062());
    }
}
 No newline at end of file