Commit c8755eb5 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent a63753e8

26_module_control/2601_execute_statement/NegSem_2601_ExecuteStatement_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26, Ensure that non-float timeout parameters in the execute statement are rejected (in this case int).

 ** @verdict  pass reject

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



module NegSem_2601_ExecuteStatement_001 {



type component GeneralComp { }



testcase TC_NegSem_2601_ExecuteStatement_001() runs on GeneralComp {

	setverdict(pass);

}



control {

	execute(TC_NegSem_2601_ExecuteStatement_001(), 1); 

}



}

26_module_control/2601_execute_statement/NegSem_2601_ExecuteStatement_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:26, Ensure that non-float timeout parameters in the execute statement are rejected (in this case charstrings).

 ** @verdict  pass reject

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



module NegSem_2601_ExecuteStatement_002 {



type component GeneralComp { }



testcase TC_NegSem_2601_ExecuteStatement_002() runs on GeneralComp {

	setverdict(pass);

}



control {

	execute(TC_NegSem_2601_ExecuteStatement_002(), "foobar"); 

}



}

26_module_control/2601_execute_statement/Sem_2601_ExecuteStatement_001.ttcn

+2 −2
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ module Sem_2601_ExecuteStatement_001 { 


type component GeneralComp { }



testcase t_myTestCase(integer p_value) runs on GeneralComp {

testcase TC_Sem_2601_ExecuteStatement_001(integer p_value) runs on GeneralComp {

	if (p_value == 20) {

		setverdict(pass);

	} else {
@@ -19,7 +19,7 @@ testcase t_myTestCase(integer p_value) runs on GeneralComp { 


control {

	var integer v_test := 20;

	execute(t_myTestCase(v_test));

	execute(TC_Sem_2601_ExecuteStatement_001(v_test));

}



}
 
 No newline at end of file

26_module_control/2601_execute_statement/Sem_2601_ExecuteStatement_002.ttcn

+2 −2
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ module Sem_2601_ExecuteStatement_002 { 


type component GeneralComp { }



testcase t_myTestCase(integer p_value, charstring p_string, boolean p_bool) runs on GeneralComp {

testcase TC_Sem_2601_ExecuteStatement_002(integer p_value, charstring p_string, boolean p_bool) runs on GeneralComp {

	if ((p_value == 20) and

	    (p_string == "hello") and

	    (p_bool == true)
@@ -22,7 +22,7 @@ testcase t_myTestCase(integer p_value, charstring p_string, boolean p_bool) runs 


control {

	var integer v_test := 20;

	execute(t_myTestCase(v_test, "hello", true));

	execute(TC_Sem_2601_ExecuteStatement_002(v_test, "hello", true));

}



}
 
 No newline at end of file

26_module_control/2601_execute_statement/Sem_2601_ExecuteStatement_003.ttcn

+2 −2
Original line number Diff line number Diff line
@@ -9,14 +9,14 @@ module Sem_2601_ExecuteStatement_003 { 


type component GeneralComp { }



testcase t_myTestCase() runs on GeneralComp {

testcase TC_Sem_2601_ExecuteStatement_003() runs on GeneralComp {

	alt { // this alt is intentionally blocking!

	}

	setverdict(pass);

}



control {

	execute(t_myTestCase(), 20E-3); // let the testcase timeout after 20ms seconds

	execute(TC_Sem_2601_ExecuteStatement_003(), 20E-3); // let the testcase timeout after 20ms seconds

}



}
 
 No newline at end of file