ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0005866 | Part 01: TTCN-3 Core Language | Clarification | public | 03-03-2011 18:10 | 01-07-2011 17:32

Reporter | Wolfgang Seka |
Assigned To | Jacob Wieland - Spirent |
Priority | high | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.1.1 (published 2009-06) |
Target Version | v4.3.2 (interim 2011) | Fixed in Version | v4.3.2 (interim 2011) |
Clause Reference(s) | ES 201 873-1 cl. 22
Source (company - Author) | stf160 - Wolfgang

Summary | 0005866: Unspecified behaviour when ports not being connected are used in communication operations
Description | Currently it is not clear from TTCN-3 core language what happens when a communication operation is applied to a port which is not connected or mapped. Especially for send events clarification is needed.
Steps To Reproduce |

Additional Information

It seems that the operational semantics (part 4) specifies a runtime error at least for send events on not connected ports.
But other interpretations/solutions may be valid as well => clarification is needed to achieve tool compatibility.
Especially for receive statements there is no obvious reason from a user's point of view why a runtime error shall be raise when a not connected port is used in an alt statement.
Note: apart from the necessary clarification this issue may be related to CR 005243

Tags | No tags attached.
Relationships |
Attached Files | CR5866-Resolution-110526.doc (140,800) 26-05-2011 12:22 http://oldforge.etsi.org/mantis/file_download.php?file_id=2500&type=bug

Issue History
Date Modified | Username | Field | Change
03-03-2011 18:10 | Wolfgang Seka | New Issue |
03-03-2011 18:10 | Wolfgang Seka | Clause Reference(s) | => ES 201 873-1 cl. 22
03-03-2011 18:10 | Wolfgang Seka | Source (company - Author) | => stf160 - Wolfgang
24-05-2011 14:44 | Gyorgy Rethy | Note Added: 0010019 |
24-05-2011 14:45 | Gyorgy Rethy | Assigned To | => Jens Grabowski
24-05-2011 14:45 | Gyorgy Rethy | Status | new => assigned
24-05-2011 14:45 | Gyorgy Rethy | Fixed in Version | => Edition 4.3.2 (interim)
24-05-2011 19:10 | Gyorgy Rethy | Fixed in Version | Edition 4.3.2 (interim) =>
24-05-2011 19:10 | Gyorgy Rethy | Target Version | => Edition 4.3.2 (interim)
24-05-2011 19:18 | Gyorgy Rethy | Priority | normal => high
24-05-2011 19:18 | Gyorgy Rethy | Category | Technical => Clarification
26-05-2011 11:55 | Jens Grabowski | File Added: CR5866-Resolution-110526.doc |
26-05-2011 11:56 | Jens Grabowski | Note Added: 0010079 |
26-05-2011 11:56 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
26-05-2011 12:22 | Jacob Wieland - Spirent | File Deleted: CR5866-Resolution-110526.doc |
26-05-2011 12:22 | Jacob Wieland - Spirent | File Added: CR5866-Resolution-110526.doc |
26-05-2011 12:22 | Jacob Wieland - Spirent | Note Added: 0010082 |
26-05-2011 12:23 | Jacob Wieland - Spirent | Status | assigned => resolved
26-05-2011 12:23 | Jacob Wieland - Spirent | Resolution | open => fixed
01-07-2011 17:30 | Ina Schieferdecker | Note Added: 0010199 |
01-07-2011 17:32 | Ina Schieferdecker | Status | resolved => closed
01-07-2011 17:32 | Ina Schieferdecker | Fixed in Version | => Edition 4.3.2 (interim)

Notes

(0010019)
Gyorgy Rethy
24-05-2011 14:44

Shall cause an error. Check the standard's text and add a clarification if needed.

(0010079)
Jens Grabowski
26-05-2011 11:56

Assigned to Jacob for proofreading

(0010082)
Jacob Wieland - Spirent
26-05-2011 12:22

replaced with a version with a few typos fixed. Otherwise OK.

(0010199)
Ina Schieferdecker
01-07-2011 17:30

Implemented as proposed.