Commit 76651869 authored by nikolajev's avatar nikolajev
Browse files

GTP validation script update

parent 5c4a6b8a
Loading
Loading
Loading
Loading
+20 −6
Original line number Diff line number Diff line
module GtpTortureTestCases
{
	import from LibGtp_TypesAndValues all;
	import from LibCommon_DataStrings all;
	
	type port GtpPort message {
      inout 
@@ -15,17 +16,22 @@ module GtpTortureTestCases
	
	//GTP
	altstep receiveGTPv1_MSG_NO_EXTENSIONS(
		in bitstring p_version,
		in octetstring p_messagetype,
		in octetstring p_len,
		in octetstring p_teid
		in Bit3 p_version,
		in Oct1 p_messagetype,
		in Oct2 p_len,
		in Oct4 p_teid
	) runs on GtpComponent
	{
		var GTPv1_MSG v_recv;
		[]p.receive(
			GTPv1_MSG: {
				header := {
					PT:=?,
					spare:=?,
					version := p_version,
					S_flag:=?,
					E_flag:=?,
					PN_flag:=?,
					messagetype := p_messagetype,
					len := p_len,
					teid := p_teid,
@@ -57,19 +63,27 @@ module GtpTortureTestCases
		[]p.receive(
			GTPv1_MSG: {
				header := {
					PT:=?,
					spare:=?,
					S_flag:=?,
					E_flag:=?,
					PN_flag:=?,
					version := p_version,
					messagetype := p_messagetype,
					len := p_len,
					teid := p_teid,
					seqnum := p_seqnum,
					npdu_num := '00'O,
					extensionheader := '00'O
					npdu_num := *,
					extensionheader := *
				}, // End of header field
				body := ?
			} // End of GTPv1_MSG template
		) {
			setverdict(pass);
		}
		[]p.receive(GTPv1_MSG:?) {
			setverdict(fail);
		}
		[]p.receive {
			setverdict(fail);
		}