Commit ca6bf41d authored by kovacsa's avatar kovacsa
Browse files

Chapter 16 update

parent 2ab7ca88
Loading
Loading
Loading
Loading
+27 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev$
 ** @purpose  1:5.4, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_001 {

type component GeneralComp {	
}
	

testcase TC_NegSem_160102_predefined_functions_001 () runs on GeneralComp {
	var charstring v_i;

 	v_i:=int2char(128);	
 
}


control{

    execute(TC_NegSem_160102_predefined_functions_001());

}

}
+27 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev$
 ** @purpose  1:5.4, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_002 {

type component GeneralComp {	
}
	

testcase TC_NegSem_160102_predefined_functions_002 () runs on GeneralComp {
	var charstring v_i;

 	v_i:=int2char(-1);	
 
}


control{

    execute(TC_NegSem_160102_predefined_functions_002());

}

}
+27 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev$
 ** @purpose  1:5.4, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_003 {

type component GeneralComp {	
}
	

testcase TC_NegSem_160102_predefined_functions_003 () runs on GeneralComp {
	var universal charstring v_i;

 	v_i:=int2char(2147483648);	
 
}


control{

    execute(TC_NegSem_160102_predefined_functions_003());

}

}
+27 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev$
 ** @purpose  1:5.4, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_004 {

type component GeneralComp {	
}
	

testcase TC_NegSem_160102_predefined_functions_004 () runs on GeneralComp {
	var hexstring v_i;

 	v_i:=int2hex(256,2);		//mismatch of string length	
 
}


control{

    execute(TC_NegSem_160102_predefined_functions_004());

}

}
+27 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409 
 ** @version  $Rev$
 ** @purpose  1:5.4, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ***************************************************/
module NegSem_160102_predefined_functions_005 {

type component GeneralComp {	
}
	

testcase TC_NegSem_160102_predefined_functions_005 () runs on GeneralComp {
	var integer v_i;

 	v_i:=char2int("blabla");		//mismatch of string length	
 
}


control{

    execute(TC_NegSem_160102_predefined_functions_005());

}

}
Loading