No commit message (94e9854f) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART9

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070101_id/Pos_070101_id_001/Pos_070101_id_001.ttcn

deleted100644 → 0

+0 −87

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:7.1.1, Verify conversion of id attribute of global element
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		// The following requirements are tested:
		// The attribute id enables a unique identification of an XSD component. They
		// shall be mapped to TTCN-3 as simple type references, e.g. any component
		// mapping to a type with name typeName and an attribute id="ID" shall result in
		// an additional TTCN-3 type declaration.

		module Pos_070101_id_001 {

		import from schema_Pos_070101_id_001 language "XSD" all;

		template ProductType m_base := {name := "Moby Dick", price := "$12.4"};
		template MyType m_msg := m_base;



		/**
		* @desc The timeout given in seconds after which the test case will be stopped.
		*/
		modulepar float PX_TC_EXECUTION_TIMEOUT := 5.0;

		type universal charstring Raw;

		type universal charstring File;
		type record of File FileList;

		type port P message {
		inout all;
		}
		type component C {
		port P p;
		}

		/**
		* @desc lexical compare the charstring p_textToMatch with the contents of the reference XML file and returns true if they represent the same XML structure
		* @param p_textToMatch text to be compared with the UTF-8 contents of the XML file
		* @param p_referenceXmlFile the XML file
		* @param p_xsdFileList the list of XSD files
		* @param p_matchError the error result in case it did not match
		* @param p_referenceTTCN3File the file of the TTCN-3 test module. This path is used to find the reference XML file relative to this path, by keeping the TTCN-3 code file system independent.
		* @return true if p_textToMatch and the contents of p_referenceXmlFile represent the same XML structure
		*/
		external function matchFile(Raw p_textToMatch, File p_referenceXmlFile, FileList p_xsdFileList, out universal charstring p_matchError, File p_referenceTTCN3File := __FILE__) return boolean;

		testcase TC_Pos_070101_id_001() runs on C system C {
		var Raw v_rcv;
		var universal charstring v_matchError;

		map(self:p, system:p);

		// encode the message
		p.send(m_msg);

		alt {
		// compare the encoded message with the reference XML file
		[] p.check(receive(Raw:?) -> value v_rcv) {
		log("XML message ", v_rcv);
		if (matchFile(v_rcv, "Pos_070101_id_001.xml", { "Pos_070101_id_001.xsd" }, v_matchError)) {
		alt {
		// match decoded value to pass test
		[] p.receive(m_msg) {
		setverdict(pass, "Decoded value matches encoded template and reference XML");
		}
		[] p.receive {
		setverdict(fail, "XML decoding failure");
		}
		}
		} else {
		setverdict(fail, v_matchError);
		}
		}
		[] p.receive {
		setverdict(fail, "Raw decoding failure");
		}
		}
		}

		control {
		execute(TC_Pos_070101_id_001(), PX_TC_EXECUTION_TIMEOUT);
		}

		}

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070101_id/Pos_070101_id_001/Pos_070101_id_001.xml

deleted100644 → 0

+0 −5

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="utf-8"?>
		<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_070101_id_001">
		<name>Moby Dick</name>
		<price>$12.4</price>
		</ns:MyType>
		No newline at end of file

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070101_id/Pos_070101_id_001/Pos_070101_id_001.xsd

deleted100644 → 0

+0 −13

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="UTF-8"?>
		<schema xmlns="http://www.w3.org/2001/XMLSchema"
		targetNamespace="schema:Pos_070101_id_001"
		xmlns:ns="schema:Pos_070101_id_001">
		<element name="MyType">
		<complexType id="ProductType">
		<sequence>
		<element name="name" type="string"/>
		<element name="price" type="string"/>
		</sequence>
		</complexType>
		</element>
		</schema>
		No newline at end of file

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070101_id/Pos_070101_id_002/Pos_070101_id_002.ttcn

deleted100644 → 0

+0 −90

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:7.1.1, verify conversion of id attribute of local element
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		// The following requirements are tested:
		// The attribute id enables a unique identification of an XSD component. They
		// shall be mapped to TTCN-3 as simple type references, e.g. any component
		// mapping to a type with name typeName and an attribute id="ID" shall result in
		// an additional TTCN-3 type declaration.

		module Pos_070101_id_002 {

		import from schema_Pos_070101_id_002 language "XSD" all;

		template E01 m_base := "test";
		template MyType m_msg := {
		foo := m_base
		};



		/**
		* @desc The timeout given in seconds after which the test case will be stopped.
		*/
		modulepar float PX_TC_EXECUTION_TIMEOUT := 5.0;

		type universal charstring Raw;

		type universal charstring File;
		type record of File FileList;

		type port P message {
		inout all;
		}
		type component C {
		port P p;
		}

		/**
		* @desc lexical compare the charstring p_textToMatch with the contents of the reference XML file and returns true if they represent the same XML structure
		* @param p_textToMatch text to be compared with the UTF-8 contents of the XML file
		* @param p_referenceXmlFile the XML file
		* @param p_xsdFileList the list of XSD files
		* @param p_matchError the error result in case it did not match
		* @param p_referenceTTCN3File the file of the TTCN-3 test module. This path is used to find the reference XML file relative to this path, by keeping the TTCN-3 code file system independent.
		* @return true if p_textToMatch and the contents of p_referenceXmlFile represent the same XML structure
		*/
		external function matchFile(Raw p_textToMatch, File p_referenceXmlFile, FileList p_xsdFileList, out universal charstring p_matchError, File p_referenceTTCN3File := __FILE__) return boolean;

		testcase TC_Pos_070101_id_002() runs on C system C {
		var Raw v_rcv;
		var universal charstring v_matchError;

		map(self:p, system:p);

		// encode the message
		p.send(m_msg);

		alt {
		// compare the encoded message with the reference XML file
		[] p.check(receive(Raw:?) -> value v_rcv) {
		log("XML message ", v_rcv);
		if (matchFile(v_rcv, "Pos_070101_id_002.xml", { "Pos_070101_id_002.xsd" }, v_matchError)) {
		alt {
		// match decoded value to pass test
		[] p.receive(m_msg) {
		setverdict(pass, "Decoded value matches encoded template and reference XML");
		}
		[] p.receive {
		setverdict(fail, "XML decoding failure");
		}
		}
		} else {
		setverdict(fail, v_matchError);
		}
		}
		[] p.receive {
		setverdict(fail, "Raw decoding failure");
		}
		}
		}

		control {
		execute(TC_Pos_070101_id_002(), PX_TC_EXECUTION_TIMEOUT);
		}


		}

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070101_id/Pos_070101_id_002/Pos_070101_id_002.xml

deleted100644 → 0

+0 −4

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="utf-8"?>
		<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_070101_id_002">
		<foo>test</foo>
		</ns:MyType>
		No newline at end of file

Admin message