projects / deliverable / titan.core.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Sync with 5.4.0
[deliverable/titan.core.git] / regression_test / text2ttcn / octetstring_test.ttcn
CommitLineData
970ed795 1/******************************************************************************
3abe9331 2 * Copyright (c) 2000-2015 Ericsson Telecom AB
970ed795
EL		 3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
7 ******************************************************************************/
8/*
9//AUTHOR:
10//DATE:
11//VERSION:
12*/
13module octetstring_test
14{
15
16//=========================================================================
17// Import Part
18//=========================================================================
19import from types all;
20import from functions all;
21//=========================================================================
22// Module Parameters
23//=========================================================================
24
25modulepar {
26 //modulepar octetstrings not modified from cfg file
27 template octetstring tspt_os_v := 'ABBA'O;
28 template octetstring tspt_os_o := omit;
29 template octetstring tspt_os_a := *;
30 template octetstring tspt_os_q := ?;
31 template octetstring tspt_os_al1 := * length(2); //length restriction
32 template octetstring tspt_os_al2 := * length(2..4);
33 template octetstring tspt_os_ql1 := ? length(2);
34 template octetstring tspt_os_ql2 := ? length(2..4);
35 template octetstring tspt_os_vl1 := ('ABBA'O);
36 template octetstring tspt_os_vl2 := ('ABBA'O,'baba'O);
37 template octetstring tspt_os_vl3 := ('ABBA'O,'baba'O,'B120'O);
38 template octetstring tspt_os_c1 := complement('ABBA'O)
39 template octetstring tspt_os_c2 := complement('ABBA'O,'baba'O);
40 template octetstring tspt_os_c3 := complement('ABBA'O,'baba'O,'B120'O);
41 //template octetstring tspt_os_r1 := ('A'O..'B'O); //range not allowed
42 //template octetstring tspt_os_r2 := ('a'O..'c'O);
43 template octetstring tspt_os_pa := 'abcd*1234'O
44 template octetstring tspt_os_pq := 'abcd?1234'O
45
46 template octetstring tspt_os_vifp := 'ABBA'O ifpresent;
47 template octetstring tspt_os_oifp := omit ifpresent;
48 template octetstring tspt_os_aifp := * ifpresent;
49 template octetstring tspt_os_qifp := ? ifpresent;
50 template octetstring tspt_os_al1ifp := * length(2) ifpresent; //length restriction
51 template octetstring tspt_os_al2ifp := * length(2..4) ifpresent;
52 template octetstring tspt_os_ql1ifp := ? length(2) ifpresent;
53 template octetstring tspt_os_ql2ifp := ? length(2..4) ifpresent;
54 template octetstring tspt_os_vl1ifp := ('ABBA'O) ifpresent;
55 template octetstring tspt_os_vl2ifp := ('ABBA'O,'baba'O) ifpresent;
56 template octetstring tspt_os_vl3ifp := ('ABBA'O,'baba'O,'B120'O) ifpresent;
57 template octetstring tspt_os_c1ifp := complement('ABBA'O) ifpresent
58 template octetstring tspt_os_c2ifp := complement('ABBA'O,'baba'O) ifpresent;
59 template octetstring tspt_os_c3ifp := complement('ABBA'O,'baba'O,'B120'O) ifpresent;
60 //template octetstring tspt_os_r1ifp := ('A'O..'B'O) ifpresent; //range not allowed
61 //template octetstring tspt_os_r2ifp := ('a'O..'c'O) ifpresent; //range not allowed
62 template octetstring tspt_os_paifp := 'abcd*1234'O ifpresent
63 template octetstring tspt_os_pqifp := 'abcd?1234'O ifpresent
64
65 //modulepar octetstrings modified from cfg file
66 template octetstring tspt_os_mod4v := * //after mod:'ABBA';
67 template octetstring tspt_os_mod4o := * //omit;
68 template octetstring tspt_os_mod4a := 'AB'O //*;
69 template octetstring tspt_os_mod4q := ''O //?;
70 template octetstring tspt_os_mod4al1 := 'AB'O //* length(2); //length restriction
71 template octetstring tspt_os_mod4al2 := '1234'O //mofified for: * length(2..4);
72 template octetstring tspt_os_mod4ql1 := '1234'O //mofified for:? length(2);
73 template octetstring tspt_os_mod4ql2 := '1234'O //mofified for:? length(2..4);
74 template octetstring tspt_os_mod4vl1 := ('ABBA'O) //TODO: Adam //It should be mofified for: ('ABBA'O);
75 template octetstring tspt_os_mod4vl2 := '1234'O //mofified for:('ABBA'O,'baba'O);
76 template octetstring tspt_os_mod4vl3 := '1234'O //mofified for:('ABBA'O,'baba'O,'B12'O);
77 template octetstring tspt_os_mod4c1 := '1234'O //mofified for:complement('ABBA')
78 template octetstring tspt_os_mod4c2 := '1234'O //mofified for:complement('ABBA','baba');
79 template octetstring tspt_os_mod4c3 := '1234'O //mofified for:complement('ABBA','baba','Bye');
80 template octetstring tspt_os_mod4r1 := '1234'O //mofified for:('A'..'B'); //range
81 template octetstring tspt_os_mod4r2 := '1234'O //mofified for:('a'..'c');
82 template octetstring tspt_os_mod4pa := '1234'O //mofified for:pattern 'abc*123'
83 template octetstring tspt_os_mod4pq := '1234'O //mofified for:pattern 'abc?123'
84
85 template octetstring tspt_os_mod4vifp := '1234'O //mofified for:'ABBA' ifpresent;
86 template octetstring tspt_os_mod4oifp := '1234'O //mofified for:omit ifpresent;
87 template octetstring tspt_os_mod4aifp := '1234'O //mofified for:* ifpresent;
88 template octetstring tspt_os_mod4qifp := '1234'O //mofified for:? ifpresent;
89 template octetstring tspt_os_mod4al1ifp := '1234'O //mofified for:* length(2) ifpresent; //length restriction
90 template octetstring tspt_os_mod4al2ifp := '1234'O //mofified for:* length(2..4) ifpresent;
91 template octetstring tspt_os_mod4ql1ifp := '1234'O //mofified for:? length(2) ifpresent;
92 template octetstring tspt_os_mod4ql2ifp := '1234'O //mofified for:? length(2..4) ifpresent;
93 template octetstring tspt_os_mod4vl1ifp := ('ABBA'O) ifpresent //TODO: Adam //It should be mofified for: ('ABBA'O);
94 template octetstring tspt_os_mod4vl2ifp := '1234'O //mofified for:('ABBA','baba') ifpresent;
95 template octetstring tspt_os_mod4vl3ifp := '1234'O //mofified for:('ABBA','baba','B12') ifpresent;
96 template octetstring tspt_os_mod4c1ifp := '1234'O //mofified for:complement('ABBA') ifpresent
97 template octetstring tspt_os_mod4c2ifp := '1234'O //mofified for:complement('ABBA','baba') ifpresent;
98 template octetstring tspt_os_mod4c3ifp := '1234'O //mofified for:complement('ABBA','baba','Bye') ifpresent;
99 //template octetstring tspt_os_mod4r1ifp := '1234'O //mofified for:('A'O..'B'O) ifpresent; //range
100 //template octetstring tspt_os_mod4r2ifp := '1234'O //mofified for:('a'O..'c'O) ifpresent;
101 template octetstring tspt_os_mod4paifp := '1234'O //mofified for:pattern 'abc*xyz'O ifpresent
102 template octetstring tspt_os_mod4pqifp := '1234'O //mofified for:pattern 'abc?xyz'O ifpresent
103
104}
105
106//=========================================================================
107// Data Types
108//=========================================================================
109
110// Insert data type defintions here if applicable!
111// You can use the data_type skeleton!
112
113//=========================================================================
114// Signatures
115//=========================================================================
116
117// Insert signature definitions here if applicable!
118// You can use the signature skeleton!
119
120//=========================================================================
121//Port Types
122//=========================================================================
123
124// Insert port type defintions here if applicable!
125// You can use the port_type skeleton!
126
127//=========================================================================
128//Component Types
129//=========================================================================
130
131// Insert component type defintions here if applicable!
132// You can use the component_type skeleton!
133
134//=========================================================================
135// Constants
136//=========================================================================
137
138// Insert constants here if applicable!
139// You can use the constant skeleton!
140
141//=========================================================================
142// Templates
143//=========================================================================
144
145// Insert templates here if applicable!
146// You can use the template skeleton!
147
148//=========================================================================
149// Altsteps
150//=========================================================================
151
152// Insert altsteps here if applicable!
153// You can use the altstep skeleton!
154
155//=========================================================================
156// Functions
157//=========================================================================
158
159// Insert functions here if applicable!
160// You can use the function skeleton!
161
162//=========================================================================
163// Testcases
164//=========================================================================
165
166 testcase tc_os_ModulePar_emb() runs on MC {
167 log(t_ros(tspt_os_mod4v));
168 if(log2str(t_ros(tspt_os_mod4v)) != "{ os := \'ABBA\'O }") {setverdict(fail)} else {setverdict(pass)};
169 log(t_ros(tspt_os_mod4o));
170 if(log2str(t_ros(tspt_os_mod4o)) != "{ os := omit }") {setverdict(fail)} else {setverdict(pass)};
171 log(t_ros(tspt_os_mod4a));
172 if(log2str(t_ros(tspt_os_mod4a)) != "{ os := * }") {setverdict(fail)} else {setverdict(pass)};
173 log(t_ros(tspt_os_mod4q));
174 if(log2str(t_ros(tspt_os_mod4q)) != "{ os := ? }") {setverdict(fail)} else {setverdict(pass)};
175 log(t_ros(tspt_os_mod4al1));
176 if(log2str(t_ros(tspt_os_mod4al1)) != "{ os := * length (2) }") {setverdict(fail)} else {setverdict(pass)};
177 log(t_ros(tspt_os_mod4al2));
178 if(log2str(t_ros(tspt_os_mod4al2)) != "{ os := * length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};
179 log(t_ros(tspt_os_mod4ql1));
180 if(log2str(t_ros(tspt_os_mod4ql1)) != "{ os := ? length (2) }") {setverdict(fail)} else {setverdict(pass)};
181 log(t_ros(tspt_os_mod4ql2));
182 if(log2str(t_ros(tspt_os_mod4ql2)) != "{ os := ? length (2 .. 4) }") {setverdict(fail)} else {setverdict(pass)};
183 log(">",t_ros(tspt_os_mod4vl1),"<");
184 if(log2str(t_ros(tspt_os_mod4vl1)) != "{ os := \'ABBA\'O }") {setverdict(fail)} else {setverdict(pass)};
185 log(t_ros(tspt_os_mod4vl2));
186 if(log2str(t_ros(tspt_os_mod4vl2)) != "{ os := (\'ABBA\'O, \'BABA\'O) }") {setverdict(fail)} else {setverdict(pass)};
187 log(">{ os := (\'ABBA\'O, \'BABA\'O) }<");
188 log(t_ros(tspt_os_mod4vl3));
189 if(log2str(t_ros(tspt_os_mod4vl3)) != "{ os := (\'ABBA\'O, \'BABA\'O, \'B120\'O) }") {setverdict(fail)} else {setverdict(pass)};
190 log(t_ros(tspt_os_mod4c1));
191 if(log2str(t_ros(tspt_os_mod4c1)) != "{ os := complement (\'ABBA\'O) }") {setverdict(fail)} else {setverdict(pass)};
192 log(t_ros(tspt_os_mod4c2));
193 if(log2str(t_ros(tspt_os_mod4c2)) != "{ os := complement (\'ABBA\'O, \'BABA\'O) }") {setverdict(fail)} else {setverdict(pass)};
194 log(t_ros(tspt_os_mod4c3));
195 if(log2str(t_ros(tspt_os_mod4c3)) != "{ os := complement (\'ABBA\'O, \'BABA\'O, \'B120\'O) }") {setverdict(fail)} else {setverdict(pass)};
196 log(t_ros(tspt_os_mod4pa));
197 if(log2str(t_ros(tspt_os_mod4pa)) != "{ os := \'ABCD*1234\'O }") {setverdict(fail)} else {setverdict(pass)};
198 log(t_ros(tspt_os_mod4pq));
199 if(log2str(t_ros(tspt_os_mod4pq)) != "{ os := \'ABCD?1234\'O }") {setverdict(fail)} else {setverdict(pass)};
200 //==
201 log(t_ros(tspt_os_mod4vifp));
202 if(log2str(t_ros(tspt_os_mod4vifp)) != "{ os := \'ABBA\'O ifpresent }") {setverdict(fail)} else {setverdict(pass)};
203 log(t_ros(tspt_os_mod4oifp));
204 if(log2str(t_ros(tspt_os_mod4oifp)) != "{ os := omit ifpresent }") {setverdict(fail)} else {setverdict(pass)};
205 log(t_ros(tspt_os_mod4aifp));
206 if(log2str(t_ros(tspt_os_mod4aifp)) != "{ os := * ifpresent }") {setverdict(fail)} else {setverdict(pass)};
207 log(t_ros(tspt_os_mod4qifp));
208 if(log2str(t_ros(tspt_os_mod4qifp)) != "{ os := ? ifpresent }") {setverdict(fail)} else {setverdict(pass)};
209 log(t_ros(tspt_os_mod4al1ifp));
210 if(log2str(t_ros(tspt_os_mod4al1ifp)) != "{ os := * length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
211 log(t_ros(tspt_os_mod4al2ifp));
212 if(log2str(t_ros(tspt_os_mod4al2ifp)) != "{ os := * length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
213 log(t_ros(tspt_os_mod4ql1ifp));
214 if(log2str(t_ros(tspt_os_mod4ql1ifp)) != "{ os := ? length (2) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
215 log(t_ros(tspt_os_mod4ql2ifp));
216 if(log2str(t_ros(tspt_os_mod4ql2ifp)) != "{ os := ? length (2 .. 4) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
217 log(t_ros(tspt_os_mod4vl1ifp));
218 if(log2str(t_ros(tspt_os_mod4vl1ifp)) != "{ os := \'ABBA\'O ifpresent }") {setverdict(fail)} else {setverdict(pass)};
219 log(t_ros(tspt_os_mod4vl2ifp));
220 if(log2str(t_ros(tspt_os_mod4vl2ifp)) != "{ os := (\'ABBA\'O, \'BABA\'O) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
221 log(t_ros(tspt_os_mod4vl3ifp));
222 if(log2str(t_ros(tspt_os_mod4vl3ifp)) != "{ os := (\'ABBA\'O, \'BABA\'O, \'B120\'O) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
223 log(t_ros(tspt_os_mod4c1ifp));
224 if(log2str(t_ros(tspt_os_mod4c1ifp)) != "{ os := complement (\'ABBA\'O) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
225 log(t_ros(tspt_os_mod4c2ifp));
226 if(log2str(t_ros(tspt_os_mod4c2ifp)) != "{ os := complement (\'ABBA\'O, \'BABA\'O) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
227 log(t_ros(tspt_os_mod4c3ifp));
228 if(log2str(t_ros(tspt_os_mod4c3ifp)) != "{ os := complement (\'ABBA\'O, \'BABA\'O, \'B120\'O) ifpresent }") {setverdict(fail)} else {setverdict(pass)};
229 log(t_ros(tspt_os_mod4paifp));
230 if(log2str(t_ros(tspt_os_mod4paifp)) != "{ os := \'ABCD*1234'O ifpresent }") {setverdict(fail)} else {setverdict(pass)};
231 log(t_ros(tspt_os_mod4pqifp));
232 if(log2str(t_ros(tspt_os_mod4pqifp)) != "{ os := \'ABCD?1234\'O ifpresent }") {setverdict(fail)} else {setverdict(pass)};
233 }
234
235 //=========================================================================
236 // Control
237 //=========================================================================
238 control {
239 log("***octetstring tests****");
240 execute(tc_os_ModulePar_emb());
241 }
242
243} // end of module
Titan Core - Deliverables
This page took 0.140751 seconds and 5 git commands to generate.