AKovacs revision (f304b21b) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

ATS/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_030.ttcn

0 → 100644

+43 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 487
		** @version 0.0.1
		** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		/*NOTE:
		* "UTF-16LE","UTF-16BE", "UTF-32LE" and "UTF-32BE" in not working with TestCast v.6.8.2.5 */

		/* The following requirements are tested:
		* This function converts an UTF-16 universal charstring value to a Little endian octetstring.*/

		module Sem_160102_predefined_functions_030 {


		type component GeneralComp {
		}


		testcase TC_Sem_160102_predefined_functions_030 () runs on GeneralComp {

		// universal charstring:
		var universal charstring v_0 := "ABC";

		// predefined function for universal charstring to octetstring conversion:
		var octetstring v_encoded := unichar2oct(v_0, "UTF-16LE"); //"UTF-16" little endian, expected value:'0041 0042 0043'O;
		var octetstring v_1 := '004100420043'O;


		if( match(v_encoded,v_1)
		) {
		setverdict(pass,"Encoded value for: ",v_0, " is ", v_encoded);
		}
		else {
		setverdict(fail,"encoded value is: ", v_encoded, " expected ", v_1);
		}
		}

		control{
		execute(TC_Sem_160102_predefined_functions_030());
		}
		}
		No newline at end of file

0 → 100644

+43 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 487
		** @version 0.0.1
		** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		/*NOTE:
		* "UTF-16LE","UTF-16BE", "UTF-32LE" and "UTF-32BE" in not working with TestCast v.6.8.2.5 */

		/* The following requirements are tested:
		* This function converts an UTF-32 universal charstring value to a Little endian octetstring.*/

		module Sem_160102_predefined_functions_031 {


		type component GeneralComp {
		}


		testcase TC_Sem_160102_predefined_functions_031 () runs on GeneralComp {

		// universal charstring:
		var universal charstring v_0 := "ABC";

		// predefined function for universal charstring to octetstring conversion:
		var octetstring v_encoded := unichar2oct(v_0, "UTF-32LE"); //"UTF-32" little endian, expected value:'0000 0041 0000 0042 0000 0043'O
		var octetstring v_1 := '000000410000004200000043'O;


		if( match(v_encoded,v_1)
		) {
		setverdict(pass,"Encoded value for: ",v_0, " is ", v_encoded);
		}
		else {
		setverdict(fail,"encoded value is: ", v_encoded, " expected ", v_1);
		}
		}

		control{
		execute(TC_Sem_160102_predefined_functions_031());
		}
		}
		No newline at end of file

0 → 100644

+43 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 487
		** @version 0.0.1
		** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		/*NOTE:
		* "UTF-16LE","UTF-16BE", "UTF-32LE" and "UTF-32BE" in not working with TestCast v.6.8.2.5 */

		/* The following requirements are tested:
		* This function converts an UTF-16 universal charstring value to a Big endian octetstring.*/

		module Sem_160102_predefined_functions_032 {


		type component GeneralComp {
		}


		testcase TC_Sem_160102_predefined_functions_032 () runs on GeneralComp {

		// universal charstring:
		var universal charstring v_0 := "AB";

		// predefined function for universal charstring to octetstring conversion:
		var octetstring v_encoded := unichar2oct(v_0, "UTF-16BE"); //"UTF-16" Big endian, expected value:'42004100'O;
		var octetstring v_1 := '42004100'O;


		if( match(v_encoded,v_1)
		) {
		setverdict(pass,"Encoded value for: ",v_0, " is ", v_encoded);
		}
		else {
		setverdict(fail,"encoded value is: ", v_encoded, " expected ", v_1);
		}
		}

		control{
		execute(TC_Sem_160102_predefined_functions_032());
		}
		}
		No newline at end of file

0 → 100644

+43 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 487
		** @version 0.0.1
		** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		/*NOTE:
		* "UTF-16LE","UTF-16BE", "UTF-32LE" and "UTF-32BE" in not working with TestCast v.6.8.2.5 */

		/* The following requirements are tested:
		* This function converts an UTF-32 universal charstring value to a Big endian octetstring.*/

		module Sem_160102_predefined_functions_033 {


		type component GeneralComp {
		}


		testcase TC_Sem_160102_predefined_functions_033 () runs on GeneralComp {

		// universal charstring:
		var universal charstring v_0 := "AB";

		// predefined function for universal charstring to octetstring conversion:
		var octetstring v_encoded := unichar2oct(v_0, "UTF-32BE"); //"UTF-32" Big endian, expected value:'42 00 00 00 41 00 00 00'O
		var octetstring v_1 := '4200000041000000'O;


		if( match(v_encoded,v_1)
		) {
		setverdict(pass,"Encoded value for: ",v_0, " is ", v_encoded);
		}
		else {
		setverdict(fail,"encoded value is: ", v_encoded, " expected ", v_1);
		}
		}

		control{
		execute(TC_Sem_160102_predefined_functions_033());
		}
		}
		No newline at end of file

0 → 100644

+40 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 487
		** @version 0.0.1
		** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/

		/* The following requirements are tested:
		* This function converts an octetstring to an UTF-16 Little Endian byte order universal charstring.*/


		module Sem_160102_predefined_functions_038 {


		type component GeneralComp {
		}


		testcase TC_Sem_160102_predefined_functions_038 () runs on GeneralComp {

		//octetstring:
		var octetstring v_0 := '004100420043'O;

		// predefined function for universal charstring to octetstring conversion:
		var universal charstring v_decode := oct2unichar(v_0,"UTF-16LE"); //expected value: ABC
		var universal charstring v_1 := "ABC";

		if( match(v_decode,v_1)
		) {
		setverdict(pass,"Decoded value for: ",v_0, " is ", v_decode);
		}
		else {
		setverdict(fail,"encoded value is: ", v_decode, " expected ", v_1);
		}
		}

		control{
		execute(TC_Sem_160102_predefined_functions_038());
		}
		}
		No newline at end of file