source: trunk/ETSI-Testsuites/ETSI_auto_IOT/codec/validation/TortureTests/SipTorture_TestCases.ttcn

Last change on this file was 22, checked in by rings, 14 years ago
  • Property svn:executable set to *
File size: 123.0 KB
Line 
1// urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "2234923"}}
2// urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "2234923"}}
3
4module SipTorture_TestCases
5{
6        import from LibSip_SIPTypesAndValues all;
7        import from TestSystem all;
8       
9        type component SipSimuEx extends SipSimu
10        {
11                timer tc_defaultTimeout := 3.0;
12        }
13       
14        testcase TC_BADASPEC_I() runs on SipSimuEx
15        {
16                tc_defaultTimeout.start;
17                alt
18                {
19                        []sipPort.receive(OPTIONS_Request:?)
20                        {
21                                setverdict(fail);
22                        }
23                        []sipPort.receive
24                        {
25                                setverdict(pass);
26                        }
27                        []tc_defaultTimeout.timeout
28                        {
29                                setverdict(fail);
30                        }
31                }
32        }
33
34        testcase TC_BADBRANCH_V() runs on SipSimuEx
35        {
36                tc_defaultTimeout.start;
37                alt
38                {
39                        []sipPort.receive(OPTIONS_Request: {requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/2.0"}, msgHeader := {accept := {fieldName := ACCEPT_E, acceptArgs := {{mediaRange := "application/sdp", acceptParam := omit}}}, acceptContact := omit, acceptEncoding := omit, acceptLanguage := omit, alertInfo := omit, allow := omit, allowEvents := omit, authenticationInfo := omit, authorization := omit, callId := {fieldName := CALL_ID_E, callid := "badbranch.sadonfo23i420jv0as0derf3j3n"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.org", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "33242"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 3}, 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 := "192.0.2.1", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
40                        {
41                                setverdict(pass);
42                        }
43                        []sipPort.receive(OPTIONS_Request:?)
44                        {
45                                setverdict(inconc);
46                        }
47                        []sipPort.receive
48                        {
49                                setverdict(fail);
50                        }
51                        []tc_defaultTimeout.timeout
52                        {
53                                setverdict(fail);
54                        }
55                }
56        }
57
58        testcase TC_BADDATE_V() runs on SipSimuEx
59        {
60                tc_defaultTimeout.start;
61                alt
62                {
63                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "baddate.239423mnsadf3j23lj42--sedfnm234"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host5.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 1392934, method := "INVITE"}, date := {fieldName := DATE_E, sipDate := "Fri, 01 Jan 2010 16:00:00 EST"}, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "2234923"}}}, 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 := "host.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
64                        {
65                                setverdict(pass);
66                        }
67                        []sipPort.receive(INVITE_Request:?)
68                        {
69                                setverdict(inconc);
70                        }
71                        []sipPort.receive
72                        {
73                                setverdict(fail);
74                        }
75                        []tc_defaultTimeout.timeout
76                        {
77                                setverdict(fail);
78                        }
79                }
80        }
81
82        testcase TC_BADDN_I() runs on SipSimuEx
83        {
84                tc_defaultTimeout.start;
85                alt
86                {
87                        []sipPort.receive(OPTIONS_Request:?)
88                        {
89                                setverdict(fail);
90                        }
91                        []sipPort.receive
92                        {
93                                setverdict(pass);
94                        }
95                        []tc_defaultTimeout.timeout
96                        {
97                                setverdict(fail);
98                        }
99                }
100        }
101
102        testcase TC_BADINV01_I() runs on SipSimuEx
103        {
104                tc_defaultTimeout.start;
105                alt
106                {
107                        []sipPort.receive(INVITE_Request:?)
108                        {
109                                setverdict(fail);
110                        }
111                        []sipPort.receive
112                        {
113                                setverdict(pass);
114                        }
115                        []tc_defaultTimeout.timeout
116                        {
117                                setverdict(fail);
118                        }
119                }
120        }
121
122        testcase TC_BADVERS_V() runs on SipSimuEx
123        {
124                tc_defaultTimeout.start;
125                alt
126                {
127                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "t.watson", password := omit}, hostPort := {host := "example.org", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/7.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 := "badvers.31417@c.example.com"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 1, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := "A. Bell", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "a.g.bell", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "qweoiqpe"}}}, 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 := {nameAddr := {displayName := "T. Watson", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "t.watson", password := omit}, hostPort := {host := "example.org", portField := omit}, urlParameters := omit, headers := omit}}}, toParams := omit}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "7.0", transport := "UDP"}, sentBy := {host := "c.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
128                        {
129                                setverdict(pass);
130                        }
131                        []sipPort.receive(OPTIONS_Request:?)
132                        {
133                                setverdict(inconc);
134                        }
135                        []sipPort.receive
136                        {
137                                setverdict(fail);
138                        }
139                        []tc_defaultTimeout.timeout
140                        {
141                                setverdict(fail);
142                        }
143                }
144        }
145
146        testcase TC_BCAST_V() runs on SipSimuEx
147        {
148                tc_defaultTimeout.start;
149                alt
150                {
151                        []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 := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "11141343"}}}, 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 := omit, headers := omit}}, toParams := {{id := "tag", paramValue := "2229"}}}, 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 := ?, payload := ?})                     
152                        {
153                                setverdict(pass);
154                        }
155                        []sipPort.receive(Response:?)
156                        {
157                                setverdict(inconc);
158                        }
159                        []sipPort.receive
160                        {
161                                setverdict(fail);
162                        }
163                        []tc_defaultTimeout.timeout
164                        {
165                                setverdict(fail);
166                        }
167                }
168        }
169
170        testcase TC_BEXT01_V() runs on SipSimuEx
171        {
172                tc_defaultTimeout.start;
173                alt
174                {
175                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "bext01.0ha0isndaksdj"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "242etr"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 6}, 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 := {fieldName := PROXY_REQUIRE_E, optionsTags := {"noProxiesSupportThis", "norDoAnyProxiesSupportThis"}}, pVisitedNetworkID := omit, rAck := omit, rSeq := omit, reason := omit, recordRoute := omit, referredBy := omit, referTo := omit, replyTo := omit, require := {fieldName := REQUIRE_E, optionsTags := {"nothingSupportsThis", "nothingSupportsThisEither"}}, 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 := "j_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 := "TLS"}, sentBy := {host := "fold-and-staple.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
176                        {
177                                setverdict(pass);
178                        }
179                        []sipPort.receive(OPTIONS_Request:?)
180                        {
181                                setverdict(inconc);
182                        }
183                        []sipPort.receive
184                        {
185                                setverdict(fail);
186                        }
187                        []tc_defaultTimeout.timeout
188                        {
189                                setverdict(fail);
190                        }
191                }
192        }
193
194        testcase TC_BIGCODE_V() runs on SipSimuEx
195        {
196                tc_defaultTimeout.start;
197                alt
198                {
199                        []sipPort.receive(Response:{statusLine := {sipVersion := "SIP/2.0", statusCode := 4294967301, reasonPhrase := "better not break the receiver"}, 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 := "bigcode.asdof3uj203asdnf3429uasdhfas3ehjasdfas9i"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "host105.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 353494, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "39ansfi3"}}}, 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 := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.edu", portField := omit}, urlParameters := omit, headers := omit}}}, toParams := {{id := "tag", paramValue := "902jndnke3"}}}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UDP"}, sentBy := {host := "192.0.2.105", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK2398ndaoe"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
200                        {
201                                setverdict(pass);
202                        }
203                        []sipPort.receive(Response:?)
204                        {
205                                setverdict(inconc);
206                        }
207                        []sipPort.receive
208                        {
209                                setverdict(fail);
210                        }
211                        []tc_defaultTimeout.timeout
212                        {
213                                setverdict(fail);
214                        }
215                }
216        }
217
218        testcase TC_CLERR_I() runs on SipSimuEx
219        {
220                tc_defaultTimeout.start;
221                alt
222                {
223                        []sipPort.receive(INVITE_Request:?)
224                        {
225                                setverdict(fail);
226                        }
227                        []sipPort.receive
228                        {
229                                setverdict(pass);
230                        }
231                        []tc_defaultTimeout.timeout
232                        {
233                                setverdict(fail);
234                        }
235                }
236        }
237
238        testcase TC_CPARAM01_V() runs on SipSimuEx
239        {
240                tc_defaultTimeout.start;
241                alt
242                {
243                        []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 := "cparam01.70710@saturn.example.com"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "+19725552222", password := omit}, hostPort := {host := "gw1.example.net", portField := omit}, urlParameters := omit, headers := omit}}, contactParams := {{id := "unknownparam", paramValue := omit}}}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 2, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "watson", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "DkfVgjkrtMwaerKKpe"}}}, 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 := "watson", 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 := "saturn.example.com", portField := 5060}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
244                        {
245                                setverdict(pass);
246                        }
247                        []sipPort.receive(REGISTER_Request:?)
248                        {
249                                setverdict(inconc);
250                        }
251                        []sipPort.receive
252                        {
253                                setverdict(fail);
254                        }
255                        []tc_defaultTimeout.timeout
256                        {
257                                setverdict(fail);
258                        }
259                }
260        }
261
262        testcase TC_CPARAM02_V() runs on SipSimuEx
263        {
264                tc_defaultTimeout.start;
265                alt
266                {
267                        []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 := "cparam02.70710@saturn.example.com"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "+19725552222", password := omit}, hostPort := {host := "gw1.example.net", portField := omit}, urlParameters := {{id := "unknownparam", paramValue := omit}}, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 3, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "watson", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "838293"}}}, 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 := "watson", 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 := "saturn.example.com", portField := 5060}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
268                        {
269                                setverdict(pass);
270                        }
271                        []sipPort.receive(REGISTER_Request:?)
272                        {
273                                setverdict(inconc);
274                        }
275                        []sipPort.receive
276                        {
277                                setverdict(fail);
278                        }
279                        []tc_defaultTimeout.timeout
280                        {
281                                setverdict(fail);
282                        }
283                }
284        }
285
286        testcase TC_DBLREQ() runs on SipSimuEx
287        {
288                tc_defaultTimeout.start;
289                alt
290                {
291                        []sipPort.receive(REGISTER_Request:?)
292                        {
293                                setverdict(inconc);
294                        }
295                        []sipPort.receive
296                        {
297                                setverdict(fail);
298                        }
299                        []tc_defaultTimeout.timeout
300                        {
301                                setverdict(fail);
302                        }
303                }
304        }
305
306        testcase TC_ESC01_V() runs on SipSimuEx
307        {
308                tc_defaultTimeout.start;
309                alt
310                {
311                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "sips:user@example.com", password := omit}, hostPort := {host := "example.net", 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 := "esc01.239409asdfakjkn23onasd0-3234"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host5.example.net", portField := omit}, urlParameters := {{id := "lr", paramValue := omit}, {id := "name", paramValue := "value%41"}}, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 234234, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "I have spaces", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "938"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 87}, 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 := "host5.example.net", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
312                        {
313                                setverdict(pass);
314                        }
315                        []sipPort.receive(INVITE_Request:?)
316                        {
317                                setverdict(inconc);
318                        }
319                        []sipPort.receive
320                        {
321                                setverdict(fail);
322                        }
323                        []tc_defaultTimeout.timeout
324                        {
325                                setverdict(fail);
326                        }
327                }
328        }
329
330        testcase TC_ESC02_V() runs on SipSimuEx
331        {
332                tc_defaultTimeout.start;
333                alt
334                {
335                        []sipPort.receive(REGISTER_Request:{requestLine := {method := UNKNOWN_METHOD_E, requestUri := {scheme := "sip", userInfo := omit, hostPort := {host := "registrar.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 := "esc02.asdfnqwo34rq23i34jrjasdcnl23nrlknsdf"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "alias1", password := omit}, hostPort := {host := "host1.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}, {addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "alias3", password := omit}, hostPort := {host := "host3.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 29344, method := "RE%47IST%45R"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := "%Z%45", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "resource", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "f232jadfj23"}}}, 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 := {nameAddr := {displayName := "%Z%45", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "resource", 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 := "TCP"}, sentBy := {host := "host.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK209%fzsnel234"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := {{headerName := "C%6Fntact", headerValue := "<sip:alias2@host2.example.com>"}}}, messageBody := omit, payload := ?})
336                        {
337                                setverdict(pass);
338                        }
339                        []sipPort.receive(REGISTER_Request:?)
340                        {
341                                setverdict(inconc);
342                        }
343                        []sipPort.receive
344                        {
345                                setverdict(fail);
346                        }
347                        []tc_defaultTimeout.timeout
348                        {
349                                setverdict(fail);
350                        }
351                }
352        }
353
354        testcase TC_ESCNULL_V() runs on SipSimuEx
355        {
356                tc_defaultTimeout.start;
357                alt
358                {
359                        []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 := "escnull.39203ndfvkjdasfkq3w4otrq0adsfdfnavd"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "%00", password := omit}, hostPort := {host := "host5.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}, {addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "%00%00", password := omit}, hostPort := {host := "host5.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 14398234, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "null-%00-null", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "839923423"}}}, 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 := "null-%00-null", 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 := "host5.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
360                        {
361                                setverdict(pass);
362                        }
363                        []sipPort.receive(REGISTER_Request:?)
364                        {
365                                setverdict(inconc);
366                        }
367                        []sipPort.receive
368                        {
369                                setverdict(fail);
370                        }
371                        []tc_defaultTimeout.timeout
372                        {
373                                setverdict(fail);
374                        }
375                }
376        }
377
378        // NOTE: TC_ESCRURI_V is defined as a negative test
379        // because "This INVITE is malformed, as the SIP Request-URI
380        //          contains escaped headers."
381        //
382        // However we could not find this restriction if RFC3261.
383        // RFC3261 states:
384        //     The Request-URI MUST NOT contain unescaped spaces or control
385        //     characters and MUST NOT be enclosed in "<>".
386
387        testcase TC_ESCRURI_V() runs on SipSimuEx
388        {
389                tc_defaultTimeout.start;
390                alt
391                {
392                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := {{id := "Route", paramValue := "<sip:example.com>"}}}, 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 := "escruri.23940-asdfhj-aje3br-234q098w-fawerh2q-h4n5"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host39923.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 149209342, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "341518"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 7}, 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 := "host-of-the-hour.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
393                        {
394                                setverdict(pass);
395                        }
396                        []sipPort.receive(INVITE_Request:?)
397                        {
398                                setverdict(inconc);
399                        }
400                        []sipPort.receive
401                        {
402                                setverdict(fail);
403                        }
404                        []tc_defaultTimeout.timeout
405                        {
406                                setverdict(fail);
407                        }
408                }
409        }
410
411        testcase TC_INSUF_I() runs on SipSimuEx
412        {
413                tc_defaultTimeout.start;
414                alt
415                {
416                        []sipPort.receive(INVITE_Request:?)
417                        {
418                                setverdict(fail);
419                        }
420                        []sipPort.receive
421                        {
422                                setverdict(pass);
423                        }
424                        []tc_defaultTimeout.timeout
425                        {
426                                setverdict(fail);
427                        }
428                }
429        }
430
431        testcase TC_INTMETH() runs on SipSimuEx
432        {
433                tc_defaultTimeout.start;
434                alt
435                {
436                        []sipPort.receive(Request:?)
437                        {
438                                setverdict(inconc);
439                        }
440                        []sipPort.receive
441                        {
442                                setverdict(fail);
443                        }
444                        []tc_defaultTimeout.timeout
445                        {
446                                setverdict(fail);
447                        }
448                }
449        }
450
451        testcase TC_INV2543_I() runs on SipSimuEx
452        {
453                tc_defaultTimeout.start;
454                alt
455                {
456                        []sipPort.receive(INVITE_Request:?)
457                        {
458                                setverdict(fail);
459                        }
460                        []sipPort.receive
461                        {
462                                setverdict(pass);
463                        }
464                        []tc_defaultTimeout.timeout
465                        {
466                                setverdict(fail);
467                        }
468                }
469        }
470
471        testcase TC_INVUT_V() runs on SipSimuEx
472        {
473                tc_defaultTimeout.start;
474                alt
475                {
476                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "invut.0ha0isndaksdjadsfij34n23d"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host5.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 40}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/unknownformat"}, cSeq := {fieldName := CSEQ_E, seqNumber := 235448, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "8392034"}}}, 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 := "j.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 := "somehost.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
477                        {
478                                setverdict(pass);
479                        }
480                        []sipPort.receive(INVITE_Request:?)
481                        {
482                                setverdict(inconc);
483                        }
484                        []sipPort.receive
485                        {
486                                setverdict(fail);
487                        }
488                        []tc_defaultTimeout.timeout
489                        {
490                                setverdict(fail);
491                        }
492                }
493        }
494
495        testcase TC_LONGREQ_V() runs on SipSimuEx
496        {
497                tc_defaultTimeout.start;
498                alt
499                {
500                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "longreq.onereallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallyreallylongcallid"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "amazinglylongcallernameamazinglylongcallernameamazinglylongcallernameamazinglylongcallernameamazinglylongcallername", password := omit}, hostPort := {host := "host5.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 3882340, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "amazinglylongcallernameamazinglylongcallernameamazinglylongcallernameamazinglylongcallernameamazinglylongcallername", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "12982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982982424"}, {id := "unknownheaderparamnamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamename", paramValue := "unknowheaderparamvaluevaluevaluevaluevaluevaluevaluevaluevaluevaluevaluevaluevaluevaluevalue"}, {id := "unknownValuelessparamnameparamnameparamnameparamnameparamnameparamnameparamnameparamnameparamnameparamname", paramValue := 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 := {nameAddr := {displayName := "I have a user name of extremeextremeextremeextremeextremeextremeextremeextremeextremeextreme proportion", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := 6000}, urlParameters := {{id := "unknownparam1", paramValue := "verylonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglongvalue"}, {id := "longparamnamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamenamename", paramValue := "shortvalue"}, {id := "verylonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglongParameterNameWithNoValue", paramValue := omit}}, headers := omit}}}, toParams := omit}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip33.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip32.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip31.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip30.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip29.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip28.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip27.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip26.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip25.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip24.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip23.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip22.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip21.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip20.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip19.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip18.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip17.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip16.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip15.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip14.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip13.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip12.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip11.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip10.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip9.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip8.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip7.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip6.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip5.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip4.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip3.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip2.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "sip1.example.com", portField := omit}, viaParams := omit}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "host.example.com", portField := omit}, viaParams := {{id := "received", paramValue := "192.0.2.5"}, {id := "branch", paramValue := "verylonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglongbranchvalue"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := {{headerName := "Unknown-LongLongLongLongLongLongLongLongLongLongLongLongLongLongLongLongLongLongLongLong-Name", headerValue := "unknown-longlonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglong-value; unknown-longlonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglong-parameter-name = unknown-longlonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglonglong-parameter-value"}}}, messageBody := ?, payload := ?})
501                        {
502                                setverdict(pass);
503                        }
504                        []sipPort.receive(INVITE_Request:?)
505                        {
506                                setverdict(inconc);
507                        }
508                        []sipPort.receive
509                        {
510                                setverdict(fail);
511                        }
512                        []tc_defaultTimeout.timeout
513                        {
514                                setverdict(fail);
515                        }
516                }
517        }
518
519        testcase TC_LTGTRURI_I() runs on SipSimuEx
520        {
521                tc_defaultTimeout.start;
522                alt
523                {
524                        []sipPort.receive(INVITE_Request:?)
525                        {
526                                setverdict(fail);
527                        }
528                        []sipPort.receive
529                        {
530                                setverdict(pass);
531                        }
532                        []tc_defaultTimeout.timeout
533                        {
534                                setverdict(fail);
535                        }
536                }
537        }
538
539        testcase TC_LWSDISP_V() runs on SipSimuEx
540        {
541                tc_defaultTimeout.start;
542                alt
543                {                       []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "lwsdisp.1234abcd@funky.example.com"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 60, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := "caller", addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "323"}}}, 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 := "funky.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
544                        {
545                                setverdict(pass);
546                        }
547                        []sipPort.receive(OPTIONS_Request:?)
548                        {
549                                setverdict(inconc);
550                        }
551                        []sipPort.receive
552                        {
553                                setverdict(fail);
554                        }
555                        []tc_defaultTimeout.timeout
556                        {
557                                setverdict(fail);
558                        }
559                }
560        }
561
562        testcase TC_LWSRURI_I() runs on SipSimuEx
563        {
564                tc_defaultTimeout.start;
565                alt
566                {
567                        []sipPort.receive(INVITE_Request:?)
568                        {
569                                setverdict(fail);
570                        }
571                        []sipPort.receive
572                        {
573                                setverdict(pass);
574                        }
575                        []tc_defaultTimeout.timeout
576                        {
577                                setverdict(fail);
578                        }
579                }
580        }
581
582        testcase TC_LWSSTART_V() runs on SipSimuEx
583        {
584                tc_defaultTimeout.start;
585                alt
586                {
587                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "lwsstart.dfknq234oi243099adsdfnawe3@example.com"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host1.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 1893884, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "8814"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 8}, 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 := "host1.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw3923"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
588                        {
589                                setverdict(pass);
590                        }
591                        []sipPort.receive(INVITE_Request:?)
592                        {
593                                setverdict(inconc);
594                        }
595                        []sipPort.receive
596                        {
597                                setverdict(fail);
598                        }
599                        []tc_defaultTimeout.timeout
600                        {
601                                setverdict(fail);
602                        }
603                }
604        }
605
606        testcase TC_MCL01_I() runs on SipSimuEx
607        {
608                tc_defaultTimeout.start;
609                alt
610                {
611                        []sipPort.receive(OPTIONS_Request:?)
612                        {
613                                setverdict(fail);
614                        }
615                        []sipPort.receive
616                        {
617                                setverdict(pass);
618                        }
619                        []tc_defaultTimeout.timeout
620                        {
621                                setverdict(fail);
622                        }
623                }
624        }
625
626        testcase TC_MISMATCH01_V() runs on SipSimuEx
627        {
628                tc_defaultTimeout.start;
629                alt
630                {
631                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "mismatch01.dj0234sxdfl3"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "34525"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 6}, 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 := "j.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 := "host.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
632                        {
633                                setverdict(pass);
634                        }
635                        []sipPort.receive(OPTIONS_Request:?)
636                        {
637                                setverdict(inconc);
638                        }
639                        []sipPort.receive
640                        {
641                                setverdict(fail);
642                        }
643                        []tc_defaultTimeout.timeout
644                        {
645                                setverdict(fail);
646                        }
647                }
648        }
649
650        testcase TC_MISMATCH02_V() runs on SipSimuEx
651        {
652                tc_defaultTimeout.start;
653                alt
654                {
655                        []sipPort.receive(Request:{requestLine := {method := UNKNOWN_METHOD_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "mismatch02.dj0234sxdfl3"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 138}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag",paramValue := "34525"}}}, historyInfo :=omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 6}, 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 := "j.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 := "host.example.net", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
656                        {
657                                setverdict(pass);
658                        }
659                        []sipPort.receive(Request:?)
660                        {
661                                setverdict(inconc);
662                        }
663                        []sipPort.receive
664                        {
665                                setverdict(fail);
666                        }
667                        []tc_defaultTimeout.timeout
668                        {
669                                setverdict(fail);
670                        }
671                }
672        }
673
674        testcase TC_MPART01() runs on SipSimuEx
675        {
676                tc_defaultTimeout.start;
677                alt
678                {
679                        []sipPort.receive(MESSAGE_Request:?)
680                        {
681                                setverdict(inconc);
682                        }
683                        []sipPort.receive
684                        {
685                                setverdict(fail);
686                        }
687                        []tc_defaultTimeout.timeout
688                        {
689                                setverdict(fail);
690                        }
691                }
692        }
693
694        testcase TC_MULTI01_I() runs on SipSimuEx
695        {
696                tc_defaultTimeout.start;
697                alt
698                {
699                        []sipPort.receive(INVITE_Request:?)
700                        {
701                                setverdict(fail);
702                        }
703                        []sipPort.receive
704                        {
705                                setverdict(pass);
706                        }
707                        []tc_defaultTimeout.timeout
708                        {
709                                setverdict(fail);
710                        }
711                }
712        }
713
714        testcase TC_NCL_I() runs on SipSimuEx
715        {
716                tc_defaultTimeout.start;
717                alt
718                {
719                        []sipPort.receive(INVITE_Request:?)
720                        {
721                                setverdict(fail);
722                        }
723                        []sipPort.receive
724                        {
725                                setverdict(pass);
726                        }
727                        []tc_defaultTimeout.timeout
728                        {
729                                setverdict(fail);
730                        }
731                }
732        }
733
734        testcase TC_NOREASON_V() runs on SipSimuEx
735        {
736                tc_defaultTimeout.start;
737                alt
738                {
739                        []sipPort.receive(Response:{statusLine := {sipVersion := "SIP/2.0", statusCode := 100, reasonPhrase := ""}, 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 := "noreason.asndj203insdf99223ndf"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "host105.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 35, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "39ansfi3"}}}, 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 := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.edu", portField := omit}, urlParameters := omit, headers := omit}}}, toParams := {{id := "tag", paramValue := "902jndnke3"}}}, unsupported := omit, userAgent := omit, via := {fieldName := VIA_E, viaBody := {{sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UDP"}, sentBy := {host := "192.0.2.105", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK2398ndaoe"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
740                        {
741                                setverdict(pass);
742                        }
743                        []sipPort.receive(Response:?)
744                        {
745                                setverdict(inconc);
746                        }
747                        []sipPort.receive
748                        {
749                                setverdict(fail);
750                        }
751                        []tc_defaultTimeout.timeout
752                        {
753                                setverdict(fail);
754                        }
755                }
756        }
757
758        testcase TC_NOVELSC_V() runs on SipSimuEx
759        {
760                tc_defaultTimeout.start;
761                alt
762                {
763                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "soap.beep", userInfo := {userOrTelephoneSubscriber := "//192.0.2.103:3002", password := omit}, hostPort := 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 := "novelsc.asdfasser0q239nwsdfasdkl34"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType:= omit, cSeq := {fieldName := CSEQ_E, seqNumber := 3923423, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "384"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 3}, 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 := "TCP"}, sentBy := {host := "host9.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw39234"}}}}},warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
764                        {
765                                setverdict(pass);
766                        }
767                        []sipPort.receive(OPTIONS_Request:?)
768                        {
769                                setverdict(inconc);
770                        }
771                        []sipPort.receive
772                        {
773                                setverdict(fail);
774                        }
775                        []tc_defaultTimeout.timeout
776                        {
777                                setverdict(fail);
778                        }
779                }
780        }
781
782        testcase TC_QUOTBAL_I() runs on SipSimuEx
783        {
784                tc_defaultTimeout.start;
785                alt
786                {
787                        []sipPort.receive(INVITE_Request:?)
788                        {
789                                setverdict(fail);
790                        }
791                        []sipPort.receive
792                        {
793                                setverdict(pass);
794                        }
795                        []tc_defaultTimeout.timeout
796                        {
797                                setverdict(fail);
798                        }
799                }
800        }
801
802        testcase TC_REGAUT01_V() runs on SipSimuEx
803        {
804                tc_defaultTimeout.start;
805                alt
806                {
807                        []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 := {fieldName := AUTHORIZATION_E, body := {otherResponse := {authScheme := "NoOneKnowsThisScheme", authParams := {{id := "opaque-data", paramValue := "here"}}}}}, callId := {fieldName := CALL_ID_E, callid := "regaut01.0ha0isndaksdj"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 9338, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "j.user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "87321hj23128"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 8}, 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 := "j.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 := "TCP"}, sentBy := {host := "192.0.2.253", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
808                        {
809                                setverdict(pass);
810                        }
811                        []sipPort.receive(REGISTER_Request:?)
812                        {
813                                setverdict(inconc);
814                        }
815                        []sipPort.receive
816                        {
817                                setverdict(fail);
818                        }
819                        []tc_defaultTimeout.timeout
820                        {
821                                setverdict(fail);
822                        }
823                }
824        }
825
826        testcase TC_REGBADCT_I() runs on SipSimuEx
827        {
828                tc_defaultTimeout.start;
829                alt
830                {
831                        []sipPort.receive(REGISTER_Request:?)
832                        {
833                                setverdict(fail);
834                        }
835                        []sipPort.receive
836                        {
837                                setverdict(pass);
838                        }
839                        []tc_defaultTimeout.timeout
840                        {
841                                setverdict(fail);
842                        }
843                }
844        }
845
846        testcase TC_REGESCRT_V() runs on SipSimuEx
847        {
848                tc_defaultTimeout.start;
849                alt
850                {
851                        []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 := "regescrt.k345asrl3fdbv@192.0.2.1"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := {{id := "Route", paramValue := "<sip:sip.example.com>"}}}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 14398234, 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 := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "8"}}}, 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 := "host5.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
852                        {
853                                setverdict(pass);
854                        }
855                        []sipPort.receive(REGISTER_Request:?)
856                        {
857                                setverdict(inconc);
858                        }
859                        []sipPort.receive
860                        {
861                                setverdict(fail);
862                        }
863                        []tc_defaultTimeout.timeout
864                        {
865                                setverdict(fail);
866                        }
867                }
868        }
869
870        testcase TC_SCALAR02_V() runs on SipSimuEx
871        {
872                log ("This testcase may produce an error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");
873       
874                tc_defaultTimeout.start;
875                alt
876                {
877                        []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 := "scalar02.23o0pd9vanlq3wnrlnewofjas9ui32"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber:= "user", password := omit}, hostPort := {host := "host129.example.com", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := {{id := "expires", paramValue := "280297596632815"}}}}}}, contentDisposition := omit,contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 36893488147419103232, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := {fieldName := EXPIRES_E, deltaSec := "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"}, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec :={scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password :=omit}, hostPort := {host := "example.com", portField := omit}, urlParameters :=omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "239232jh3"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 300}, 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 := {nameAddr := {displayName := omit, addrSpec := {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 := "TCP"}, sentBy := {host := "host129.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK342sdfoi3"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
878                        {
879                                setverdict(pass);
880                        }
881                        []sipPort.receive(REGISTER_Request:?)
882                        {
883                                setverdict(inconc);
884                        }
885                        []sipPort.receive
886                        {
887                                // It is acceptable to return a pass since it is not a strong requirement
888                                // to handle big integers in the codec. The main requirement is that the
889                                // CoDec must not crash
890                                setverdict(pass);
891                        }
892                        []tc_defaultTimeout.timeout
893                        {
894                                setverdict(fail);
895                        }
896                }
897        }
898
899        testcase TC_SCALARLG_V() runs on SipSimuEx
900        {
901                log ("This testcase may produce an error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");
902
903                tc_defaultTimeout.start;
904                alt
905                {
906                        []sipPort.receive(Response:{statusLine := {sipVersion := "SIP/2.0", statusCode := 503, reasonPhrase := "Service Unavailable"}, 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 := "scalarlg.noase0of0234hn2qofoaf0232aewf2394r"},callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 9292394834772304023312,method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "other", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "2easdjfejw"}}}, 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 := {fieldName := RETRY_AFTER_E, deltaSec := "949302838503028349304023988", comment := omit, retryParams := 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 := {nameAddr := {displayName := omit, addrSpec := {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 := "TCP"}, sentBy := {host := "host129.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKzzxdiwo34sw"}, {id := "received", paramValue := "192.0.2.129"}}}}}, warning := {fieldName := WARNING_E, warningValue := {{warnCode := 1812, warnAgent := {hostPort := {host := "overture", portField := omit}}, WarnText := "In Progress"}}}, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
907                        {
908                                setverdict(pass);
909                        }
910                        []sipPort.receive(Response:?)
911                        {
912                                setverdict(inconc);
913                        }
914                        []sipPort.receive
915                        {
916                                // It is acceptable to return a pass since it is not a strong requirement
917                                // to handle big integers in the codec. The main requirement is that the
918                                // CoDec must not crash
919                                setverdict(pass);
920                        }
921                        []tc_defaultTimeout.timeout
922                        {
923                                setverdict(fail);
924                        }
925                }
926        }
927
928        testcase TC_SDP01_V() runs on SipSimuEx
929        {
930                tc_defaultTimeout.start;
931                alt
932                {
933                        []sipPort.receive(INVITE_Request:{requestLine := {method := INVITE_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/2.0"}, msgHeader := {accept := {fieldName := ACCEPT_E, acceptArgs := {{mediaRange := "text/nobodyKnowsThis", acceptParam := omit}}}, acceptContact := omit, acceptEncoding := omit, acceptLanguage := omit, alertInfo := omit, allow := omit, allowEvents := omit, authenticationInfo := omit, authorization := omit, callId := {fieldName := CALL_ID_E, callid := "sdp01.ndaksdj9342dasdd"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "host15.example.net", portField := omit}, urlParameters := omit, headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 150}, contentType := {fieldName := CONTENT_TYPE_E, mediaType := "application/sdp"}, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "INVITE"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "234"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 5}, 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 := "j_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 := "192.0.2.15", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
934                        {
935                                setverdict(pass);
936                        }
937                        []sipPort.receive(INVITE_Request:?)
938                        {
939                                setverdict(inconc);
940                        }
941                        []sipPort.receive
942                        {
943                                setverdict(fail);
944                        }
945                        []tc_defaultTimeout.timeout
946                        {
947                                setverdict(fail);
948                        }
949                }
950        }
951
952        testcase TC_SEMIURI_V() runs on SipSimuEx
953        {
954                tc_defaultTimeout.start;
955                alt
956                {
957                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user;par=u@example.net", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/2.0"}, msgHeader := {accept := {fieldName := ACCEPT_E, acceptArgs := {{mediaRange := "application/sdp", acceptParam := omit}, {mediaRange := "application/pkcs7-mime", acceptParam := omit}, {mediaRange := "multipart/mixed", acceptParam := omit}, {mediaRange := "multipart/signed", acceptParam := omit}, {mediaRange := "message/sip", acceptParam := omit}, {mediaRange := "message/sipfrag", acceptParam := omit}}}, acceptContact := omit, acceptEncoding := omit, acceptLanguage := omit, alertInfo := omit, allow := omit, allowEvents := omit, authenticationInfo := omit, authorization := omit, callId := {fieldName := CALL_ID_E, callid := "semiuri.0ha0isndaksdj"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 8, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.org", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "33242"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 3}, 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 := "j_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 := "192.0.2.1", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
958                        {
959                                setverdict(pass);
960                        }
961                        []sipPort.receive(OPTIONS_Request:?)
962                        {
963                                setverdict(inconc);
964                        }
965                        []sipPort.receive
966                        {
967                                setverdict(fail);
968                        }
969                        []tc_defaultTimeout.timeout
970                        {
971                                setverdict(fail);
972                        }
973                }
974        }
975
976        testcase TC_TEST_I() runs on SipSimuEx
977        {
978                tc_defaultTimeout.start;
979                alt
980                {
981                        []sipPort.receive(INVITE_Request:?)
982                        {
983                                setverdict(fail);
984                        }
985                        []sipPort.receive
986                        {
987                                setverdict(pass);
988                        }
989                        []tc_defaultTimeout.timeout
990                        {
991                                setverdict(fail);
992                        }
993                }
994        }
995
996        testcase TC_TRANSPORTS_V() runs on SipSimuEx
997        {
998                tc_defaultTimeout.start;
999                alt
1000                {
1001                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}, sipVersion := "SIP/2.0"}, msgHeader := {accept := {fieldName := ACCEPT_E, acceptArgs := {{mediaRange := "application/sdp", acceptParam := omit}}}, acceptContact := omit, acceptEncoding := omit, acceptLanguage := omit, alertInfo := omit, allow := omit, allowEvents := omit, authenticationInfo := omit, authorization := omit, callId := {fieldName := CALL_ID_E, callid := "transports.kijh4akdnaqjkwendsasfdj"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 60, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.com", portField := omit}, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "323"}}}, 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 := "t1.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "SCTP"}, sentBy := {host := "t2.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKklasjdhf"}}}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TLS"}, sentBy := {host := "t3.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK2980unddj"}}}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "UNKNOWN"}, sentBy := {host := "t4.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKasd0f3en"}}}, {sentProtocol := {protocolName := "SIP", protocolVersion := "2.0", transport := "TCP"}, sentBy := {host := "t5.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bK0a9idfnee"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
1002                        {
1003                                setverdict(pass);
1004                        }
1005                        []sipPort.receive(OPTIONS_Request:?)
1006                        {
1007                                setverdict(inconc);
1008                        }
1009                        []sipPort.receive
1010                        {
1011                                setverdict(fail);
1012                        }
1013                        []tc_defaultTimeout.timeout
1014                        {
1015                                setverdict(fail);
1016                        }
1017                }
1018        }
1019
1020        testcase TC_TRWS_I() runs on SipSimuEx
1021        {
1022                tc_defaultTimeout.start;
1023                alt
1024                {
1025                        []sipPort.receive(OPTIONS_Request:?)
1026                        {
1027                                setverdict(fail);
1028                        }
1029                        []sipPort.receive
1030                        {
1031                                setverdict(pass);
1032                        }
1033                        []tc_defaultTimeout.timeout
1034                        {
1035                                setverdict(fail);
1036                        }
1037                }
1038        }
1039
1040        testcase TC_UNKSCM_V() runs on SipSimuEx
1041        {
1042                tc_defaultTimeout.start;
1043                alt
1044                {
1045                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "nobodyKnowsThisScheme", userInfo := {userOrTelephoneSubscriber := "totallyopaquecontent", password := omit}, hostPort := 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 := "unkscm.nasdfasser0q239nwsdfasdkl34"}, callInfo := omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 3923423, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit},hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "384"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 3}, 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 := "TCP"}, sentBy := {host := "host9.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw39234"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List :=omit}, messageBody := omit, payload := ?})
1046                        {
1047                                setverdict(pass);
1048                        }
1049                        []sipPort.receive(OPTIONS_Request:?)
1050                        {
1051                                setverdict(inconc);
1052                        }
1053                        []sipPort.receive
1054                        {
1055                                setverdict(fail);
1056                        }
1057                        []tc_defaultTimeout.timeout
1058                        {
1059                                setverdict(fail);
1060                        }
1061                }
1062        }
1063
1064        testcase TC_UNKSM2_V() runs on SipSimuEx
1065        {
1066                tc_defaultTimeout.start;
1067                alt
1068                {
1069                        []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 := "unksm2.daksdj@hyphenated-host.example.com"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "name", userInfo := {userOrTelephoneSubscriber := "John_Smith", password := omit}, hostPort := omit, urlParameters := omit,headers := omit}}}, contactParams := omit}}}}, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len := 0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 234902, method := "REGISTER"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "http", userInfo := {userOrTelephoneSubscriber := "//www.example.com", password := omit}, hostPort := omit, urlParameters := omit, headers := omit}}}, fromParams := {{id := "tag", paramValue := "3234233"}}}, 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 := "isbn", userInfo := {userOrTelephoneSubscriber := "2983792873", password := omit}, hostPort := 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 := "192.0.2.21", portField := 5060}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
1070                        {
1071                                setverdict(pass);
1072                        }
1073                        []sipPort.receive(REGISTER_Request:?)
1074                        {
1075                                setverdict(inconc);
1076                        }
1077                        []sipPort.receive
1078                        {
1079                                setverdict(fail);
1080                        }
1081                        []tc_defaultTimeout.timeout
1082                        {
1083                                setverdict(fail);
1084                        }
1085                }
1086        }
1087
1088        testcase TC_UNREASON_V() runs on SipSimuEx
1089        {
1090                tc_defaultTimeout.start;
1091                alt
1092                {
1093                        []sipPort.receive(Response:{statusLine := {sipVersion := "SIP/2.0", statusCode := 200, reasonPhrase := "= 2**3 * 5**2 %d0%bd%d0%be %d1%81%d1%82%d0%be %d0%b4%d0%b5%d0%b2%d1%8f%d0%bd%d0%be%d1%81%d1%82%d0%be %d0%b4%d0%b5%d0%b2%d1%8f%d1%82%d1%8c - %d0%bf%d1%80%d0%be%d1%81%d1%82%d0%be%d0%b5"}, 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 := "unreason.1234ksdfak3j2erwedfsASdf"}, callInfo := omit, contact := {fieldName := CONTACT_E, contactBody := {contactAddresses := {{addressField := {nameAddr := {displayName := omit, addrSpec := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := omit}, hostPort := {host := "host198.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 := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "11141343"}}}, 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 := omit, headers := omit}}, toParams := {{id := "tag", paramValue := "2229"}}}, 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"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := ?, payload := ?})
1094                        {
1095                                setverdict(pass);
1096                        }
1097                        []sipPort.receive(Response:?)
1098                        {
1099                                setverdict(inconc);
1100                        }
1101                        []sipPort.receive
1102                        {
1103                                setverdict(fail);
1104                        }
1105                        []tc_defaultTimeout.timeout
1106                        {
1107                                setverdict(fail);
1108                        }
1109                }
1110        }
1111
1112        testcase TC_WSINV() runs on SipSimuEx
1113        {
1114                tc_defaultTimeout.start;
1115                alt
1116                {
1117                        []sipPort.receive(INVITE_Request:?)
1118                        {
1119                                setverdict(inconc);
1120                        }
1121                        []sipPort.receive
1122                        {
1123                                setverdict(fail);
1124                        }
1125                        []tc_defaultTimeout.timeout
1126                        {
1127                                setverdict(fail);
1128                        }
1129                }
1130        }
1131
1132        testcase TC_ZEROMF_V() runs on SipSimuEx
1133        {
1134                tc_defaultTimeout.start;
1135                alt
1136                {
1137                        []sipPort.receive(OPTIONS_Request:{requestLine := {method := OPTIONS_E, requestUri := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "user", password := 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 := "zeromf.jfasdlfnm2o2l43r5u0asdfas"}, callInfo:= omit, contact := omit, contentDisposition := omit, contentEncoding := omit, contentLanguage := omit, contentLength := {fieldName := CONTENT_LENGTH_E, len :=0}, contentType := omit, cSeq := {fieldName := CSEQ_E, seqNumber := 39234321, method := "OPTIONS"}, date := omit, errorInfo := omit, event := omit, expires := omit, fromField := {fieldName := FROM_E, addressField := {addrSpecUnion := {scheme := "sip", userInfo := {userOrTelephoneSubscriber := "caller", password := omit}, hostPort := {host := "example.net", portField := omit}, urlParameters := omit, headers := omit}}, fromParams := {{id := "tag", paramValue := "3ghsd41"}}}, historyInfo := omit, inReplyTo := omit, maxForwards := {fieldName := MAX_FORWARDS_E, forwards := 0}, 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 := "host1.example.com", portField := omit}, viaParams := {{id := "branch", paramValue := "z9hG4bKkdjuw2349i"}}}}}, warning := omit, wwwAuthenticate := omit, undefinedHeader_List := omit}, messageBody := omit, payload := ?})
1138                        {
1139                                setverdict(pass);
1140                        }
1141                        []sipPort.receive(OPTIONS_Request:?)
1142                        {
1143                                setverdict(inconc);
1144                        }
1145                        []sipPort.receive
1146                        {
1147                                setverdict(fail);
1148                        }
1149                        []tc_defaultTimeout.timeout
1150                        {
1151                                setverdict(fail);
1152                        }
1153                }
1154        }
1155
1156        control {
1157                execute (TC_BADASPEC_I());
1158                execute (TC_BADBRANCH_V());
1159                execute (TC_BADDATE_V());
1160                execute (TC_BADDN_I());
1161                execute (TC_BADINV01_I());
1162                execute (TC_BADVERS_V());
1163                execute (TC_BCAST_V());
1164                execute (TC_BEXT01_V());
1165                execute (TC_BIGCODE_V());
1166                execute (TC_CLERR_I());
1167                execute (TC_CPARAM01_V());
1168                execute (TC_CPARAM02_V());
1169
1170                // TC_DBLREQ is disabled because splitting a message into multiple requests is not
1171                // a codec issue but a system adapter issue
1172                // execute (TC_DBLREQ());
1173                execute (TC_ESC01_V());
1174                execute (TC_ESC02_V());
1175                execute (TC_ESCNULL_V());
1176                execute (TC_ESCRURI_V());
1177                execute (TC_INSUF_I());
1178                execute (TC_INTMETH());
1179                execute (TC_INV2543_I());
1180                execute (TC_INVUT_V());
1181                execute (TC_LONGREQ_V());
1182                execute (TC_LTGTRURI_I());
1183                execute (TC_LWSDISP_V());
1184                execute (TC_LWSRURI_I());
1185                execute (TC_LWSSTART_V());
1186                execute (TC_MCL01_I());
1187                execute (TC_MISMATCH01_V());
1188                execute (TC_MISMATCH02_V());
1189                execute (TC_MPART01());
1190                execute (TC_MULTI01_I());
1191                execute (TC_NCL_I());
1192                execute (TC_NOREASON_V());
1193                execute (TC_NOVELSC_V());
1194                execute (TC_QUOTBAL_I());
1195                execute (TC_REGAUT01_V());
1196                execute (TC_REGBADCT_I());
1197                execute (TC_REGESCRT_V());
1198                execute (TC_SCALAR02_V());
1199                execute (TC_SCALARLG_V());
1200                execute (TC_SDP01_V());
1201                execute (TC_SEMIURI_V());
1202                execute (TC_TEST_I());
1203                execute (TC_TRANSPORTS_V());
1204                execute (TC_TRWS_I());
1205                execute (TC_UNKSCM_V());
1206                execute (TC_UNKSM2_V());
1207                execute (TC_UNREASON_V());
1208                execute (TC_WSINV());
1209                execute (TC_ZEROMF_V());
1210        }
1211}
Note: See TracBrowser for help on using the repository browser.