Commit 4643c353 authored by kovacsa's avatar kovacsa
Browse files

Annex B update

parent 481b7389

B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B010101_omitting_values/NegSem_B010101_omitting_values_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev: 150 $

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of omitted values 

 ** @verdict  pass reject

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



module NegSem_B010101_omitting_values_001 { 



	type record RecordType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type set SetType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type record MessageType {

  	 RecordType		field1,

  	 SetType		field2

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_NegSem_B010101_omitting_values_001() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  

  field1 := {a:=1,b:=omit,c:=omit},		//omitting a mandatory field

  field2 := {a:=1,b:=omit,c:=omit}

 } 



 v_testMessage:=  {  

  field1 := {a:=1,b:=omit,c:=true}, 

  field2 := {a:=1,b:=omit,c:=true}

 } 

 

 messagePort.send(v_testMessage);



}



control{

    execute(TC_NegSem_B010101_omitting_values_001());

}



}

B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B010101_omitting_values/Sem_B010101_omitting_values_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev: 150 $

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of omitted values 

 ** @verdict  pass pass, ttcn3verdict:pass

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



module Sem_B010101_omitting_values_001 { 



	type record RecordType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type set SetType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type record MessageType {

  	 RecordType		field1,

  	 SetType		field2

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010101_omitting_values_001() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  

  field1 := {a:=1,b:=omit,c:=true},

  field2 := {a:=1,b:=omit,c:=true}

 } 



 v_testMessage:=  {  

  field1 := {a:=1,b:=omit,c:=true}, 

  field2 := {a:=1,b:=omit,c:=true}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(pass);

     }

     [] messagePort.receive {

        setverdict(fail);

     }

    }

}



control{

    execute(TC_Sem_B010101_omitting_values_001());

}



}

B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B010101_omitting_values/Sem_B010101_omitting_values_002.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev: 150 $

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of omitted values 

 ** @verdict  pass pass, ttcn3verdict:pass

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



module Sem_B010101_omitting_values_002 { 



	type record RecordType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type set SetType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type record MessageType {

  	 RecordType		field1,

  	 SetType		field2

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B010101_omitting_values_002() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  

  field1 := {a:=1,b:=omit,c:=true},	//value mismatch

  field2 := {a:=1,b:=omit,c:=true}

 } 



 v_testMessage:=  {  

  field1 := {a:=1,b:=2,c:=true}, 

  field2 := {a:=1,b:=omit,c:=true}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B010101_omitting_values_002());

}



}

B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B0101_toplevel/Sem_B0101_matching_specific_value_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev: 150 $

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of specific values 

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_B0101_matching_specific_value_001 { 



	type enumerated EnumeratedType {e_black, e_white};



	type record RecordType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type set SetType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type record length (1..2) of integer IntegerList;



	type set length (1..2) of integer IntegerUList;



	type union UnionType { 

 	 integer  a, 

 	 EnumeratedType  b, 

 	 boolean  c 

	} 



	type record MessageType {

  	 integer  		field1, 

  	 charstring  	field2, 

  	 boolean  		field3, 

  	 integer  		field4[4],

  	 EnumeratedType field5,

  	 RecordType		field6,

  	 SetType		field7,

  	 UnionType		field8,

  	 IntegerList	field9,

  	 IntegerUList	field10

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B0101_matching_specific_value_001() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  

  field1 := 1,

  field2 := "test string", 

  field3 := true, 

  field4 := {1,2,3,4},

  field5 := e_black,

  field6 := {a:=1,b:=2,c:=true}, 

  field7 := {a:=1,b:=2,c:=true}, 

  field8 := {a:=1},

  field9 := {1},

  field10 := {1,2}

 } 



 v_testMessage:=  {  

  field1 := 1,

  field2 := "test string", 

  field3 := true, 

  field4 := {1,2,3,4},

  field5 := e_black,

  field6 := {a:=1,b:=2,c:=true}, 

  field7 := {a:=1,b:=2,c:=true}, 

  field8 := {a:=1},

  field9 := {1},

  field10 := {1,2}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(pass);

     }

     [] messagePort.receive {

        setverdict(fail);

     }

    }

}



control{

    execute(TC_Sem_B0101_matching_specific_value_001());

}



}

B_matching_incoming_values/B01_template_matching/B0101_matching_specific_values/B0101_toplevel/Sem_B0101_matching_specific_value_002.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev: 150 $

 ** @purpose  1:B.1, Ensure that the IUT correctly handles template matching of specific values 

 ** @verdict  pass pass, ttcn3verdict:pass

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



module Sem_B0101_matching_specific_value_002 { 



	type enumerated EnumeratedType {e_black, e_white};



	type record RecordType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type set SetType { 

 	 integer  a optional, 

 	 integer  b optional, 

 	 boolean  c 

	} 



	type record length (1..2) of integer IntegerList;



	type set length (1..2) of integer IntegerUList;



	type union UnionType { 

 	 integer  a, 

 	 EnumeratedType  b, 

 	 boolean  c 

	} 



	type record MessageType {

  	 integer  		field1, 

  	 charstring  	field2, 

  	 boolean  		field3, 

  	 integer  		field4[4],

  	 EnumeratedType field5,

  	 RecordType		field6,

  	 SetType		field7,

  	 UnionType		field8,

  	 IntegerList	field9,

  	 IntegerUList	field10

	}



    type port loopbackPort message {

	  inout MessageType

	}

	



type component GeneralComp {	    	    

	  port loopbackPort messagePort

}	



testcase TC_Sem_B0101_matching_specific_value_002() runs on GeneralComp {



    var MessageType v_testMessage;



 template MessageType mw_matchingTemplate:= 

 {  

  field1 := 0,		//mismatching value

  field2 := "test string", 

  field3 := true, 

  field4 := {1,2,3,4},

  field5 := e_black,

  field6 := {a:=1,b:=2,c:=true}, 

  field7 := {a:=1,b:=2,c:=true}, 

  field8 := {a:=1},

  field9 := {1},

  field10 := {1,2}

 } 



 v_testMessage:=  {  

  field1 := 1,

  field2 := "test string", 

  field3 := true, 

  field4 := {1,2,3,4},

  field5 := e_black,

  field6 := {a:=1,b:=2,c:=true}, 

  field7 := {a:=1,b:=2,c:=true}, 

  field8 := {a:=1},

  field9 := {1},

  field10 := {1,2}

 } 

 

 messagePort.send(v_testMessage);



    alt {

     [] messagePort.receive(mw_matchingTemplate) {

        setverdict(fail);

     }

     [] messagePort.receive {

        setverdict(pass);

     }

    }

}



control{

    execute(TC_Sem_B0101_matching_specific_value_002());

}



}