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

ID | Project | Category | View Status | Date Submitted | Last Update
0005980 | Part 01: TTCN-3 Core Language | Technical | public | 02-12-2011 11:09 | 13-07-2012 13:13

Reporter | Jacob Wieland - Spirent |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.5.1 (published 2013-04) | Fixed in Version | v4.5.1 (published 2013-04) |
Clause Reference(s) | 15.7.2., 15.7.3, 15.7.4
Source (company - Author) | Testing Technologies - Jacob Wieland

Summary | 0005980: all templates/variables referenced in special matching mechanism symbols shall be completely initialized

Description

If a matching mechanism symbol were to be used (e.g. to be assigned to a variable) which would contain a reference to a not-completely initialized value/template, this matching mechanism symbol later on could never become completely initialized as there are no assignments to parts of matching mechanism symbols.
If the symbol references a variable that is not initialized at reference-time, the content of the variable at the moment of reference is of course used for initializing the matching symbol. So, if the content of the variable changes later on, this will not change the matching mechanism symbol.
Therefore, it would be unwise to allow not-completely initialized matching mechanism symbols as they can never be used anywhere and thus would only lead to runtime errors as soon as they are used.

Steps To Reproduce |
Additional Information | Proposals for the necessary changes can be found in CR5942.
Tags | No tags attached.

Relationships

related to | 0005942 | closed | Ina Schieferdecker | Boundness of arguments of the match operation

Attached Files | CR5980_resolution_v1.doc (241,664) 11-07-2012 11:18 http://oldforge.etsi.org/mantis/file_download.php?file_id=2666&type=bug

Issue History
Date Modified | Username | Field | Change
02-12-2011 11:09 | Jacob Wieland - Spirent | New Issue |
02-12-2011 11:09 | Jacob Wieland - Spirent | Clause Reference(s) | => 15.7.2., 15.7.3, 15.7.4
02-12-2011 11:09 | Jacob Wieland - Spirent | Source (company - Author) | => Testing Technologies - Jacob Wieland
02-12-2011 11:10 | Jacob Wieland - Spirent | Relationship added | related to 0005942
09-07-2012 16:55 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
10-07-2012 14:34 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
10-07-2012 14:34 | Gyorgy Rethy | Status | new => assigned
10-07-2012 14:34 | Gyorgy Rethy | Target Version | => Edition 4.5.1
11-07-2012 11:18 | Gyorgy Rethy | File Added: CR5980_resolution_v1.doc |
11-07-2012 11:20 | Gyorgy Rethy | Note Added: 0010828 |
11-07-2012 11:20 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Tomas Urban
11-07-2012 16:46 | Tomas Urban | Note Added: 0010847 |
11-07-2012 16:46 | Tomas Urban | Assigned To | Tomas Urban => Ina Schieferdecker
13-07-2012 13:13 | Ina Schieferdecker | Status | assigned => resolved
13-07-2012 13:13 | Ina Schieferdecker | Resolution | open => fixed
13-07-2012 13:13 | Ina Schieferdecker | Status | resolved => closed
13-07-2012 13:13 | Ina Schieferdecker | Note Added: 0010921 |
13-07-2012 13:13 | Ina Schieferdecker | Fixed in Version | => Edition 4.5.1

Notes

(0010828)
Gyorgy Rethy
11-07-2012 11:20

CR5942 covers the match operation only, therefore restrictions are added to the clauses mentioned by Jacob. Proposed text is in CR5980_resolution_v1.doc, pls. review.

(0010847)
Tomas Urban
11-07-2012 16:46

Reviewed. No issues found. It can be added to the standard.

(0010921)
Ina Schieferdecker
13-07-2012 13:13

Implemented as in v1