First BTP TCs (790d93e5) · Commits · TTCN-3 Libraries / LibIts

ttcn/BTP/LibItsBtp_Functions.ttcn

+42 −1

Original line number	Diff line number	Diff line
		@@ -5,7 +5,48 @@
		* @desc Module containing functions for basic Transport Protocol
		*
		*/

		module LibItsBtp_Functions {

		import from LibIts_Interface all;
		import from LibItsBtp_TypesAndValues all;
		import from LibCommon_VerdictControl all;


		group preambles {

		/**
		* @desc Brings the IUT into an initial state.
		* @return
		*/
		function f_prInitialState() {

		// TODO: any specific action ?

		setverdict(pass);
		}

		} // end of group preambles


		group upperTester {

		function f_utGenerateBtpAMessage(in BtpPortId p_DestPort, in BtpPortId p_SrcPort) runs on ItsNt {
		//TODO
		};

		function f_utGenerateBtpBMessage(in BtpPortId p_DestPort, in BtpPortInfo p_DestPortInfo) runs on ItsNt {
		//TODO
		};

		function f_utCheckPayload(in BtpPayload p_payload) runs on ItsNt return FncRetCode {
		var FncRetCode v_ret := e_error;

		//TODO

		return v_ret;
		};

		} // end of group upper tester

		} // end LibItsBtp_Functions
		No newline at end of file

ttcn/BTP/LibItsBtp_Pixits.ttcn

+25 −1

Original line number	Diff line number	Diff line
		@@ -12,5 +12,29 @@ module LibItsBtp_Pixits {
		import from LibItsBtp_TypesAndValues all;


		/**
		* @desc BTP source port of the IUT
		*
		*/
		modulepar BtpPortId PX_SOURCE_PORT := 0;

		/**
		* @desc BTP Destination port of the IUT
		*
		*/
		modulepar BtpPortId PX_DESTINATION_PORT := 0;

		/**
		* @desc BTP Destination port Info of the IUT
		*
		*/
		modulepar BtpPortId PX_DESTINATION_PORT_INFO := 0;

		/**
		* @desc Payload to be sent to the IUT for testing matter
		*
		*/
		modulepar BtpPayload PX_PAYLOAD := '0102030405'O;


		} // end LibItsBtp_Pixits
		No newline at end of file

ttcn/BTP/LibItsBtp_Templates.ttcn

+46 −5

Original line number	Diff line number	Diff line
		@@ -10,25 +10,66 @@ module LibItsBtp_Templates {
		// LibIts
		import from LibIts_Interface all;
		import from LibItsBtp_TypesAndValues all;
		import from LibItsBtp_Pixits all;

		group btpPrimitivesTemplates {

		template (value) BtpReq m_geoNwReq(
		template (value) BtpPacket p_btpMsg
		template (value) BtpPacket p_btpPkt
		) := {
		msgOut := p_btpMsg
		msgOut := p_btpPkt
		}

		template BtpInd mw_geoNwInd(
		template (present) BtpPacket p_btpMsg
		template (present) BtpPacket p_btpPkt
		) := {
		msgIn := p_btpMsg
		msgIn := p_btpPkt
		}

		} // btpPrimitivesTemplates

		group btpPduTemplates {

		template(value) BtpPacket m_btpA ( template (value) BtpPortId p_DestPort,
		template (value) BtpPortId p_SrcPort,
		template (value) BtpPayload p_payload
		)
		:= {
		header := { btpAHeader := { destinationPort := p_DestPort,
		sourcePort := p_SrcPort}},
		payload := p_payload
		}

		template(value) BtpPacket m_btpB ( template (value) BtpPortId p_DestPort,
		template (value) BtpPortInfo p_DestPortInfo,
		template (value) BtpPayload p_payload
		)
		:= {
		header := { btpBHeader := { destinationPort := p_DestPort,
		destinationPortInfo := p_DestPortInfo}},
		payload := p_payload
		}

		template(present) BtpPacket mw_btpA ( template (present) BtpPortId p_DestPort,
		template (present) BtpPortId p_SrcPort,
		template BtpPayload p_payload
		)
		:= {
		header := { btpAHeader := { destinationPort := p_DestPort,
		sourcePort := p_SrcPort}},
		payload := p_payload
		}

		template(present) BtpPacket mw_btpB ( template (present) BtpPortId p_DestPort,
		template (present) BtpPortInfo p_DestPortInfo,
		template BtpPayload p_payload
		)
		:= {
		header := { btpBHeader := { destinationPort := p_DestPort,
		destinationPortInfo := p_DestPortInfo}},
		payload := p_payload
		}

		} // end btpPduTemplates

ttcn/BTP/LibItsBtp_TypesAndValues.ttcn

+4 −4

Original line number	Diff line number	Diff line
		@@ -51,8 +51,8 @@ module LibItsBtp_TypesAndValues {
		* @member sourcePort
		*/
		type record BtpAHeader {
		BtpPort destinationPort,
		BtpPort sourcePort
		BtpPortId destinationPort,
		BtpPortId sourcePort
		}

		/**
		@@ -64,11 +64,11 @@ module LibItsBtp_TypesAndValues {
		* @member destinationPortInfo
		*/
		type record BtpBHeader {
		BtpPort destinationPort,
		BtpPortId destinationPort,
		BtpPortInfo destinationPortInfo
		}

		type UInt16 BtpPort;
		type UInt16 BtpPortId;
		type UInt16 BtpPortInfo;

		} // end btpHeaders

Admin message