Commit ae909704 authored by kovacsa's avatar kovacsa
Browse files

Annex B update

parent 6ce61c3f

B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions/Sem_B010401_length_restrictions_001.ttcn

0 → 100644
+69 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of value length definitions

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module Sem_B010401_length_restrictions_001 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3,

  	 charstring  	field4, 

  	 bitstring		field5,

  	 hexstring		field6

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010401_length_restrictions_001() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := pattern "test s*g" length (6 .. 13),

  field2 := '10*'B  length (3 .. 5), 

  field3 := '89*ABC'H  length (5),

  field4 := pattern "tes?" length (4 .. 13),

  field5 := '10?'B  length (3 .. 5), 

  field6 := '89?ABC'H  length (6)

 } 



 v_testMessage:=  {  

  field1 := "test string",

  field2 := '10101'B, 

  field3 := '89ABC'H,

  field4 := "test",

  field5 := '101'B, 

  field6 := '899ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(pass);

     }

     [] messagePort.receive {

        setverdict(fail);

     }

    }

}



control{

    execute(TC_Sem_B010401_length_restrictions_001());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions/Sem_B010401_length_restrictions_002.ttcn

0 → 100644
+65 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of value length definitions

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module Sem_B010401_length_restrictions_002 { 





	type record MessageType {

  	 record of integer  	field1, 

  	 record of integer 		field2,

  	 record of integer 		field3,

  	 record of integer   	field4, 

  	 record of integer 		field5,

  	 record of integer 		field6

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010401_length_restrictions_002() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := { permutation ( 1, 2, 3 ), * } length (3 .. 4),

  field2 := { (1,2),* }  length (2 .. 5), 

  field3 := { permutation ( 1, 2, 3 ), ? } length (4),

  field4 := { (1,2),? }  length (2 .. 5)

 } 



 v_testMessage:=  {  

  field1 := {2,1,3},

  field2 := {2,1,3,5}, 

  field3 := {2,1,3,5},

  field4 := {1,1}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(pass);

     }

     [] messagePort.receive {

        setverdict(fail);

     }

    }

}



control{

    execute(TC_Sem_B010401_length_restrictions_002());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions/Sem_B010401_length_restrictions_003.ttcn

0 → 100644
+69 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of value length definitions

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module Sem_B010401_length_restrictions_003 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3,

  	 charstring  	field4, 

  	 bitstring		field5,

  	 hexstring		field6

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010401_length_restrictions_003() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := pattern "test s*g" length (6 .. 8),		//input is too long

  field2 := '10*'B  length (3 .. 5), 

  field3 := '89*ABC'H  length (5),

  field4 := pattern "tes?" length (4 .. 13),

  field5 := '10?'B  length (3 .. 5), 

  field6 := '89?ABC'H  length (6)

 } 



 v_testMessage:=  {  

  field1 := "test string",

  field2 := '10101'B, 

  field3 := '89ABC'H,

  field4 := "test",

  field5 := '101'B, 

  field6 := '899ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010401_length_restrictions_003());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions/Sem_B010401_length_restrictions_004.ttcn

0 → 100644
+69 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of value length definitions

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module Sem_B010401_length_restrictions_004 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3,

  	 charstring  	field4, 

  	 bitstring		field5,

  	 hexstring		field6

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010401_length_restrictions_004() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := pattern "test s*g" length (6 .. 15),		

  field2 := '10*'B  length (3 .. 5), 

  field3 := '89*ABC'H  length (6),		//input is too short

  field4 := pattern "tes?" length (4 .. 13),

  field5 := '10?'B  length (3 .. 5), 

  field6 := '89?ABC'H  length (6)

 } 



 v_testMessage:=  {  

  field1 := "test string",

  field2 := '10101'B, 

  field3 := '89ABC'H,

  field4 := "test",

  field5 := '101'B, 

  field6 := '899ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010401_length_restrictions_004());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0104_matching_attributes_of_values/B010401_length_restrictions/Sem_B010401_length_restrictions_005.ttcn

0 → 100644
+65 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of value length definitions

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module Sem_B010401_length_restrictions_005 { 





	type record MessageType {

  	 record of integer  	field1, 

  	 record of integer 		field2,

  	 record of integer 		field3,

  	 record of integer   	field4, 

  	 record of integer 		field5,

  	 record of integer 		field6

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010401_length_restrictions_005() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := { permutation ( 1, 2, 3 ), * } length (4),	// message length is too short

  field2 := { (1,2),* }  length (2 .. 5), 

  field3 := { permutation ( 1, 2, 3 ), ? } length (4),	

  field4 := { (1,2),? }  length (2 .. 5)

 } 



 v_testMessage:=  {  

  field1 := {2,1,3},

  field2 := {2,1,3,5}, 

  field3 := {2,1,3,5},

  field4 := {1,1}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010401_length_restrictions_005());

}



}

 
 No newline at end of file