Commit 017c33d2 authored by baire's avatar baire
Browse files

transformed TC_REGBADCT into a negative test

parent c44fd8d3

codec/validation/TortureTests/SipCodecTest_TortureTestCases.ttcn

+4 −8
Original line number Diff line number Diff line
@@ -799,22 +799,18 @@ module SipTorture_TestCases 
		}

	}



	testcase TC_REGBADCT_V() runs on SipSimuEx

	testcase TC_REGBADCT_I() runs on SipSimuEx

	{

		tc_defaultTimeout.start;

		alt

		{

			[]sipPort.receive(REGISTER_Request:{requestLine := {method := REGISTER_E, requestUri := {scheme := "sip", userInfo := omit, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/2.0"}, msgHeader := {accept := omit, acceptContact := omit, acceptEncoding := omit, acceptLanguage := omit, alertInfo := omit, allow := omit, allowEvents := omit, authenticationInfo := omit, authorization := omit, callId := {fieldName := CALL_ID_E, callid := "regbadct.k345asrl3fdbv@10.0.0.1"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := {{id := "Route", paramValue := "%3Csip:sip.example.com%3E"}}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 1, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := {{id := "tag", paramValue := "998332"}}, headers := omit}}, fromParams := omit}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 70}, mimeVersion := omit, minExpires := omit, minSE := omit, organization := omit, pAccessNetworkInfo := omit, pAssertedID := omit, pAssertedService := omit, pAssociatedURI := omit, path := omit, pCalledPartyID := omit, pChargingFunctionAddresses := omit, pChargingVector := omit, pEarlyMedia := omit, pMediaAuthorization := omit, pPreferredID := omit, priority := omit, privacy := omit, proxyAuthenticate := omit, proxyAuthorization := omit, proxyRequire := omit, pVisitedNetworkID := omit, rAck := omit, rSeq := omit, reason := omit, recordRoute := omit, referredBy := omit, referTo := omit, replyTo := omit, require := omit, retryAfter := omit, route := omit, securityClient := omit, securityServer := omit, securityVerify := omit, server := omit, serviceRoute := omit, sessionExpires := omit, subject := omit, subscriptionState := omit, supported := omit, timestamp := omit, toField := {fieldName := TO_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}, toParams := omit}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UDP"}, sentBy := {host := "135.180.130.133", portField := 5060}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})

			{

				setverdict(pass);

			}

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(inconc);

				setverdict(fail);

			}

			[]sipPort.receive

			{

				setverdict(fail);

				setverdict(pass);

			}

			[]tc_defaultTimeout.timeout

			{
@@ -1165,7 +1161,7 @@ module SipTorture_TestCases 
		execute (TC_NOVELSC_V());

		execute (TC_QUOTBAL_I());

		execute (TC_REGAUT01_V());

		execute (TC_REGBADCT_V());

		execute (TC_REGBADCT_I());

		execute (TC_REGESCRT());

		execute (TC_SCALAR02_V());

		execute (TC_SCALARLG_V());

codec/validation/TortureTests/data/TC_REGBADCT_V.dat

deleted100644 → 0
+0 −10
Original line number Diff line number Diff line 
REGISTER sip:example.com SIP/2.0

To: sip:user@example.com

From: sip:user@example.com;tag=998332

Max-Forwards: 70

Call-ID: regbadct.k345asrl3fdbv@10.0.0.1

CSeq: 1 REGISTER

Via: SIP/2.0/UDP 135.180.130.133:5060;branch=z9hG4bKkdjuw

Contact: sip:user@example.com?Route=%3Csip:sip.example.com%3E

l: 0