Commit c1494376 authored by baire's avatar baire
Browse files

set the verdict to inconc (when sucessfully decoded) and to pass when the content was verified

parent 8220c8a0

LibSip/trunk/codec/validation/TortureTests/SipCodecTest_TortureTestCases.ttcn

+54 −50
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -35,7 +35,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -55,7 +55,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -75,7 +75,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -95,7 +95,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -115,7 +115,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -133,10 +133,14 @@ module SipTorture_TestCases 
		tc_defaultTimeout.start;

		alt

		{

			[]sipPort.receive(Response:?)

			[]sipPort.receive(Response: {statusLine := {sipVersion := "SIP/2.0", statusCode := 200, reasonPhrase := "OK"}, 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 := "bcast.0384840201234ksdfak3j2erwedfsASdf"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "host28.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 154}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 35, method := "INVITE"}, 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 := "11141343"}}, headers := omit}}, fromParams := omit}, historyInfo := omit, inReplyTo := omit, maxForwards := omit, 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.edu", portField := omit}, urlParameters := {{id := "tag", paramValue := "2229"}}, headers := omit}}, toParams := omit}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UDP"}, sentBy := {host := "192.0.2.198", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK1324923"}}}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UDP"}, sentBy := {host := "255.255.255.255", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK1saber23"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})			

			{

				setverdict(pass);

			}

			[]sipPort.receive(Response:?)

			{

				setverdict(inconc);

			}

			[]sipPort.receive

			{

				setverdict(fail);
@@ -155,7 +159,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -175,7 +179,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Response:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -195,7 +199,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -215,7 +219,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -235,7 +239,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -255,7 +259,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -275,7 +279,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -295,7 +299,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -315,7 +319,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -335,7 +339,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -355,7 +359,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -375,7 +379,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -395,7 +399,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -415,7 +419,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -435,7 +439,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -455,7 +459,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -475,7 +479,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -495,7 +499,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -515,7 +519,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -535,7 +539,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -555,7 +559,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -575,7 +579,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -595,7 +599,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(MESSAGE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -615,7 +619,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -635,7 +639,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -655,7 +659,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Response:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -675,7 +679,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -695,7 +699,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -715,7 +719,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -735,7 +739,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -755,7 +759,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -775,7 +779,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -795,7 +799,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Response:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -815,7 +819,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -835,7 +839,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -855,7 +859,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -875,7 +879,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -895,7 +899,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -915,7 +919,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -935,7 +939,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(REGISTER_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -955,7 +959,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(Response:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -975,7 +979,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(INVITE_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{
@@ -995,7 +999,7 @@ module SipTorture_TestCases 
		{

			[]sipPort.receive(OPTIONS_Request:?)

			{

				setverdict(pass);

				setverdict(inconc);

			}

			[]sipPort.receive

			{