Commit 855089b2 authored by kovacsa's avatar kovacsa
Browse files

Annex B update

parent 7b7040ef

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element/Sem_B010301_any_element_001.ttcn

0 → 100644
+60 −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 ? symbols in value elements

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B010301_any_element_001 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010301_any_element_001() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := pattern "test s?ring",

  field2 := '10???'B, 

  field3 := '8?A?C'H

 } 



 v_testMessage:=  {  

  field1 := "test string",

  field2 := '10101'B, 

  field3 := '89ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(pass);

     }

     [] messagePort.receive {

        setverdict(fail);

     }

    }

}



control{

    execute(TC_Sem_B010301_any_element_001());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element/Sem_B010301_any_element_002.ttcn

0 → 100644
+60 −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 ? symbols in value elements

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B010301_any_element_002 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010301_any_element_002() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := pattern "test s?ring",	//attempting to match a missing character

  field2 := '10???'B, 

  field3 := '8?A?C'H

 } 



 v_testMessage:=  {  

  field1 := "test sring",

  field2 := '10101'B, 

  field3 := '89ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010301_any_element_002());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element/Sem_B010301_any_element_003.ttcn

0 → 100644
+60 −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 ? symbols in value elements

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B010301_any_element_003 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010301_any_element_003() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := "test string",	

  field2 := '10???'B, 

  field3 := '8?A?C'H	//attempting to match several characters

 } 



 v_testMessage:=  {  

  field1 := "test sring",

  field2 := '10101'B, 

  field3 := '89ABBC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010301_any_element_003());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element/Sem_B010301_any_element_004.ttcn

0 → 100644
+60 −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 ? symbols in value elements

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B010301_any_element_004 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010301_any_element_004() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := "test string",	

  field2 := '10???'B, 	//mismatching string lengths

  field3 := '8?A?C'H

 } 



 v_testMessage:=  {  

  field1 := "test sring",

  field2 := '10'B, 

  field3 := '89ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010301_any_element_004());

}



}

 
 No newline at end of file

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010301_any_element/Sem_B010301_any_element_005.ttcn

0 → 100644
+60 −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 ? symbols in value elements

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B010301_any_element_005 { 





	type record MessageType {

  	 charstring  	field1, 

  	 bitstring		field2,

  	 hexstring		field3

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010301_any_element_005() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  	

  field1 := "test s?ring", 	//literally interpreted string without the pattern keyword

  field2 := '10???'B, 

  field3 := '8?A?C'H

 } 



 v_testMessage:=  {  

  field1 := "test string",

  field2 := '10101'B, 

  field3 := '89ABC'H

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010301_any_element_005());

}



}

 
 No newline at end of file