Aktualisieren... (62cfd02b) · Commits · MTS - Methods for Testing and Specification / TTCN-3 Conformance Tests

ATS/core_language/19_basic_program_statements/1902_if_else_statement/Sem_1902_if_else_statement_003.ttcn

0 → 100644

+28 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author TTF T023
		** @version 0.0.1
		** @purpose 1:19.2, Ensure that the IUT properly evaluates init statement within conditions of if-else statements
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_1902_if_else_statement_002 {

		type component GeneralComp {
		}

		testcase TC_Sem_1902_if_else_statement_003 () runs on GeneralComp{

		if (var integer v_i:=1; match(v_i, 2) ) { // use of init statement
		setverdict(fail);
		}
		else if(match(v_i, 1)) { setverdict(pass) }; //else if shorthand notation
		}


		control{

		execute(TC_Sem_1902_if_else_statement_003());

		}

		}

0 → 100644

+39 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author TTF T023
		** @version 0.0.1
		** @purpose 1:19.3, Ensure that the IUT properly evaluates init statement within select-case statements
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_190301_select_case_statement_008 {

		type component GeneralComp {
		}

		testcase TC_Sem_190301_select_case_statement_008 () runs on GeneralComp{


		select (var integer v_i:=2; v_i) {
		case(1) {
		setverdict(fail);
		}
		case(2) {
		setverdict(pass);
		}
		case(3) {
		setverdict(fail);
		}
		case else {
		setverdict(fail);
		}
		}
		}


		control{

		execute(TC_Sem_190301_select_case_statement_008());

		}

		}

0 → 100644

+39 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author TTF T023
		** @version 0.0.1
		** @purpose 1:19.3.2, verify that it is possible to use a select union statement with init statement and with several branches
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		// The following requirement is tested:
		// The statement contains a header part and zero or more branches.

		module Sem_190302_select_union_statement_007 {

		type component GeneralComp {
		}

		type union U {
		integer intOption,
		charstring strOption,
		boolean boolOption
		}

		testcase TC_Sem_190302_select_union_statement_007() runs on GeneralComp {

		select union (var U v_un := { strOption := "abc" }; v_un) { // use of init statement
		case (intOption) {
		setverdict(fail);
		} case (strOption) {
		setverdict(pass);
		} case (boolOption) {
		setverdict(fail);
		}
		}
		}

		control {
		execute(TC_Sem_190302_select_union_statement_007());
		}
		}

0 → 100644

+31 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author TTF T023
		** @version 0.0.1
		** @purpose 1:19.5, Ensure that the IUT properly evaluates while statements
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Sem_1905_while_statement_004 {

		type component GeneralComp {
		}

		testcase TC_Sem_1905_while_statement_004 () runs on GeneralComp{

		while(var integer v_j:=1; v_j<10) { // use of init statement
		v_j:=v_j+1;
		}

		if( v_j==10 ) { setverdict(pass); }
		else { setverdict(fail); }

		}


		control{

		execute(TC_Sem_1905_while_statement_004());

		}

		}