Commit e49c513b authored by kovacsa's avatar kovacsa
Browse files

Chapter 19 update

parent 8dd89bf4

16_functions_altsteps_testcases/1603_testcases/Syn_1603_testcases_001.ttcn

+1 −0
Original line number Diff line number Diff line
@@ -10,6 +10,7 @@ type component GeneralComp { 
}

	

testcase TC_Syn_1603_testcases_001 () runs on GeneralComp system GeneralComp {



 setverdict(pass);

}

19_basic_program_statements/1901_assignments/NegSem_1901_assignments_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:19.1, Ensure that the IUT properly evaluates assignment statements

 ** @verdict  pass  reject

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

module NegSem_1901_assignments_001 {

	

type component GeneralComp {	

}

	

testcase TC_NegSem_1901_assignments_001 () runs on GeneralComp system GeneralComp {

 var integer v_i;

 var integer v_j;



 v_j:=v_i;	//assignment of unbounded expression

 

}



control{



    execute(TC_NegSem_1901_assignments_001());



}



}

19_basic_program_statements/1901_assignments/NegSem_1901_assignments_002.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:19.1, Ensure that the IUT properly evaluates assignment statements

 ** @verdict  pass  reject

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

module NegSem_1901_assignments_002 {

	

type component GeneralComp {	

}

	

testcase TC_NegSem_1901_assignments_002 () runs on GeneralComp system GeneralComp {

 var integer v_i;



 v_i:=1.5;	//assignment of incompatible expression

 

}



control{



    execute(TC_NegSem_1901_assignments_002());



}



}

19_basic_program_statements/1901_assignments/NegSem_1901_assignments_003.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:19.1, Ensure that the IUT properly evaluates assignment statements

 ** @verdict  pass  reject

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

module NegSem_1901_assignments_003 {

	

type component GeneralComp {	

}

	

testcase TC_NegSem_1901_assignments_003 () runs on GeneralComp system GeneralComp {

 var charstring v_i;



 v_i:=pattern "a??b";	//assignment of incompatible expression

 

}



control{



    execute(TC_NegSem_1901_assignments_003());



}



}

19_basic_program_statements/1901_assignments/NegSyn_1901_assignments_001.ttcn

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

 ** @author   STF 409 

 ** @version  $Rev$

 ** @purpose  1:19.1, Ensure that the IUT properly evaluates assignment statements

 ** @verdict  pass  reject

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

module NegSyn_1901_assignments_001 {

	

type component GeneralComp {	

}

	

testcase TC_NegSyn_1901_assignments_001 () runs on GeneralComp system GeneralComp {

 var integer v_i;

 var integer v_j;

 var integer v_k;

 v_i:=1;	

 v_k:=(v_j:=v_i);	//such sequential assignments are not allowed by the syntax

 

}





control{



    execute(TC_NegSyn_1901_assignments_001());



}



}