source: trunk/t3d-examples/t3dtest/commentTest.ttcn @ 8

Last change on this file since 8 was 7, checked in by phdmakk, 15 years ago
  • Property svn:executable set to *
File size: 9.2 KB
RevLine 
[7]1/**
2 *  @author     STF 339
3 *  @author     STF 341
4 *  @version    $Id: AtsDpmr_Types.ttcn 87 2008-02-22 15:53:29Z petersenj $
5 *  @desc       Data type @see functionalityTest.noelement BLA BLA BLA definitions for @see f_1 information elements for digital Public @see functionalityTest.f_1
6 *              Mobile Radio (dPMR) messages @see f_1
7 *  @see        s_test1
8 *  @see        f_1
9 *  @see        functionalityTest.f_1
10 *  @see        onality.f_1
11 *  @see        noelement
12 *  @see        functionalityTest.noelement
13 *  @see        functionalityTest.1
14 *  @see        1
15 *  @remark
16 */
17module comment_Test {
18// useless
19/*
20                 * @desc        desc1_line1 desc1_line1 desc1_line1 desc1_line1 desc1_line1  @see noelement @see functionalityTest.f_1 desc1_line1 desc1_line1 desc1_line1 desc1_line1 desc1_line1 desc1_line1 desc1_line1
21        *        *        desc1_line2 desc1_line2  @see functionalityTest.noelement BLA BLA BLA desc1_line2 @see functionalityTest.f_1 desc1_line2 desc1_line2 desc1_line2  @see functionalityTest.f_1
22                 * @param       param1_line1 param1_line1 param1_line1 param1_line1 @see f_1
23        *        *          param1_line2 param1_line2 param1_line2 **stars** @see f_test
24                 * @param       param2_line1  @see f_test param2_line1 
25                @remark THIS IS FALSE
26                * @remark
27                 */
28// * @remark THIS IS IMPORTANT
29//useless
30    /*
31                 * @desc        desc2_line1 @see functionalityTest.f_1 desc2_line1 desc2_line1 desc2_line1 desc2_line1 desc2_line1 desc2_line1 desc2_line1 desc2_line1
32                 *          desc2_line2 desc2_line2 desc2_line2 desc2_line2 desc2_line2 desc2_line2   
33                 * @desc        desc3_line1 desc3_line1 desc3_line1 desc3_line1 @see f_test
34                 *          desc3_line2   
35                  @param        param3_line1 param3_line1 param3_line1 param3_line1     
36                 *          param3_line2 param3_line2 param3_line2   
37                  @param        param4_line1  param4_line1 
38                 */
39                 /*
40                 //              * @param       param5_line1 param5_line1 param5_line1 param5_line1
41                           param5_line2 param5_line2 param5_line2
42                  @param        param6_line1  param6_line1
43 @desc  desc4_line1 desc4_line1 desc4_line1 desc4_line1 desc4_line1   
44//               *          desc4_line2 desc4_line2 desc4_line2   
45                 */
46// useless
47                function f_test ( inout StringStack p_stack, in    charstring  p_item ) {
48                        p_stack.stringItems[p_stack.stackSize] := p_item;
49                        p_stack.stackSize := p_stack.stackSize + 1;
50                }
51
52                function f_1 ( inout StringStack p_stack, in    charstring  p_item ) {
53                        p_stack.stringItems[p_stack.stackSize] := p_item;
54                        p_stack.stackSize := p_stack.stackSize + 1;
55                }
56
57
58
59        /*
60
61        *       @desc text text text text text text text
62        *       text text text text text text text text 
63        *       text text text text text text text text 
64        *       text text text text text text text text 
65        *       text text text text text text text text 
66        *       text text text text text text text text 
67        *       text text text text text text text text 
68        *       text text text text text text text text 
69        *       text text text text text text text text 
70        *       text text text text text text text text 
71        *       text text text text text text text text 
72        *       text text text text text text text text 
73        *       text text text text text text text text 
74        *       text text text text text text text text 
75        *       text text text text text text text text 
76        *       text text text text text text text text 
77        *       text text text text text text text text 
78        *       text text text text text text text text 
79        *       text text text text text text text text 
80        *       text text text text text text text text 
81        *       text text text text text text text text 
82        *       text text text text text text text text 
83        *       text text text text text text text text 
84        *       text text text text text text text text 
85        *       text text text text text text text text 
86        *       text text text text text text text text 
87        *       text text text text text text text text 
88        *       text text text text text text text text 
89        *       text text text text text text text text 
90        *       text text text text text text text text 
91        *       text text text text text text text text 
92        *       text text text text text text text text
93
94        */
95                function f_test2 ( inout StringStack p_stack, in    charstring  p_item ) runs on floor return integer{
96                        p_stack.stringItems[p_stack.stackSize] := p_item;
97                        p_stack.stackSize := p_stack.stackSize + 1;
98                }
99
100
101        /*
102
103        *       @desc DDDDDDDDDDDescription @see DontSee
104        *       @author Author1
105        *       @author Author2
106        *       @config Config
107        *       @exception Exception
108        *       @member Member members
109        *       @param Parameter1 param1_desc
110        *       @param Parameter2 param2_desc
111        *       @purpose Purpose
112        *       @remark Remark
113        *       @return Return
114        *       @see See
115        *       @since Since
116        *       @status Status
117        *       @url http://url.tld
118        *       @verdict Verdict
119        *       @version Version
120       
121
122        */
123
124group alltest{
125        /*
126
127        *       @desc Description @see DontSee
128        *       @author Author1
129        *       @author Author2
130        *       @config Config
131        *       @exception Exception
132        *       @member Member members
133        *       @param Parameter1 param1_desc
134        *       @param Parameter2 param2_desc
135        *       @purpose Purpose
136        *       @remark Remark blabla bla @url http://www.uni-goettingen.de bla bla @url http://www.uni-goettingen.de
137        *       @return Return
138        *       @see See
139        *       @since Since
140        *       @status Status
141        *       @url http://url.tld
142        *       @verdict Verdict
143        *       @version Version
144       
145
146        */
147                function f_test3 ( inout StringStack p_stack, in    charstring  p_item ) {
148                        p_stack.stringItems[p_stack.stackSize] := p_item;
149                        p_stack.stackSize := p_stack.stackSize + 1;
150                }
151
152
153        /*
154
155        *       @desc Description @see DontSee
156        *       @author Author1
157        *       @author Author2
158        *       @config Config
159        *       @exception Exception
160        *       @member Member members
161        *       @param Parameter1 param1_desc
162        *       @param Parameter2 param2_desc
163        *       @purpose Purpose
164        *       @remark Remark
165        *       @return Return
166        *       @see See
167        *       @since Since
168        *       @status Status
169        *       @url http://url.tld
170        *       @verdict Verdict
171        *       @version Version
172       
173
174        */
175
176altstep a_test1() runs on floor
177    {
178      [] server.receive
179        {
180          setverdict(fail);
181          stop
182        }
183      [] client.receive
184        {
185          setverdict(fail);
186          stop
187        }
188      [] secServer.receive
189        {
190          setverdict(fail);
191          stop
192        }
193      [] secClient.receive
194        {
195          setverdict(fail);
196          stop
197        }
198      [] ipCANctl.receive
199        {
200          setverdict(inconc);
201          stop
202        }
203      [] ipConf.receive
204        {
205          setverdict(inconc);
206          stop
207        }
208      [] TGuard.timeout
209            {setverdict(inconc); stop}
210      [] any timer.timeout
211            {setverdict(fail); stop}
212    }
213
214        /*
215
216        *       @desc Description @see DontSee
217        *       @author Author1
218        *       @author Author2
219        *       @config Config
220        *       @exception Exception
221        *       @member Member members
222        *       @param Parameter1 param1_desc
223        *       @param Parameter2 param2_desc
224        *       @purpose Purpose
225        *       @remark Remark
226        *       @return Return
227        *       @see See
228        *       @since Since
229        *       @status Status
230        *       @url http://url.tld
231        *       @verdict Verdict
232        *       @version Version
233       
234
235        */
236
237testcase t_test1() runs on MTC system SystemInterface {
238   // Mobile terminated location request/ UE-Based GPS
239   
240   // Test Purpose:
241   // To verify that when the UE receives a REGISTER message during an established CS call,
242   // containing a LCS Location Notification Invoke component set to NotifyLocationAllowed,
243   // the UE displays information about the LCS client correctly and sends a RELEASE COMPLETE message
244   // containing a LocationNotification return result with verificationResponse set to permissionGranted. 
245   // To verify that the UE responds with a Measurement Report message containing UE location when the
246   // assistance data is divided between several Measurement Control messages using Measurement Command ?Modify?.
247   
248   var UTRANComponent UtranPTC := UTRANComponent.create alive;
249   var GERANComponent GeranPTC := null;
250   
251   var MTC_mirror MtcPTC_mirror;
252         var UTRANComponent_mirror UtranPTC_mirror;
253         var GERANComponent_mirror GeranPTC_mirror;
254
255         if (pc_is_Intra==true) {
256           MtcPTC_mirror:=MTC_mirror.create;
257           UtranPTC_mirror:=UTRANComponent_mirror.create alive;
258           GeranPTC_mirror:=GERANComponent_mirror.create alive;
259         } else {
260           MtcPTC_mirror:=null;
261           UtranPTC_mirror:=null;
262           GeranPTC_mirror:=null;
263         }
264
265         MTC_Main_Map(self, MtcPTC_mirror); // Maps or connects
266         UTRAN_Map(UtranPTC, UtranPTC_mirror);  // Maps or connects
267         MTC_ConnectPTCs(self, UtranPTC, GeranPTC);
268   
269         if (MtcPTC_mirror!=null) {
270           MtcPTC_mirror.start(TC_17_2_4_1_asPTC_mirror(UtranPTC_mirror, GeranPTC_mirror));
271         }
272   
273         UtranPTC.start(TC_17_2_4_1_UTRAN());
274         MTC_Main_Behaviour();
275 }
276
277        /*
278
279        *       @desc Description @see DontSee
280        *       @author Author1
281        *       @author Author2
282        *       @config Config
283        *       @exception Exception
284        *       @member Member members
285        *       @param Parameter1 param1_desc
286        *       @param Parameter2 param2_desc
287        *       @purpose Purpose
288        *       @remark Remark
289        *       @return Return
290        *       @see See
291        *       @since Since
292        *       @status Status
293        *       @url http://url.tld
294        *       @verdict Verdict
295        *       @version Version
296       
297
298        */
299
300        signature s_test1() return returntype;
301
302/*
303        * @config blabla
304        * @config blabla
305
306        * @purpose blabla
307        * @purpose blabla
308       
309        * @return blabla
310        * @return blabla
311       
312        * @since blabla
313        * @since blabla
314       
315        * @status blabla
316        * @status blabla
317       
318        * @version blabla
319        * @version blabla
320
321
322*/
323        signature s_toomanytags() return integer;
324
325}
326  // * @desc identical tag here
327signature s_identicalDescTags_1() return integer;
328
329  // * @desc identical tag here
330signature s_identicalDescTags_1() return integer;
331
332}
Note: See TracBrowser for help on using the repository browser.