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

ID | Project | Category | View Status | Date Submitted | Last Update
0002147 | Part 01: TTCN-3 Core Language | New Feature | public | 15-10-2007 12:19 | 25-04-2008 11:14

Reporter | Gyorgy Rethy |
Assigned To | Ina Schieferdecker |
Priority | urgent | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v3.4.1 (published 2008-09) | Fixed in Version | v3.4.1 (published 2008-09) |
Clause Reference(s) | $15
Source (company - Author) | 3GPP (CR provided by Gyorgy Rethy)

Summary | 0002147: Implicit omit in templates

Description

The common way for conformance tests is to freeze test cases after their approval, i.e. an approved test case can be modified due to change request only. On the other hand there is the need to enhance existing (ASN.1) definitions to introduce and support new features:
â€¢ Configuration primitives are upgraded by adding new - optional â€“ fields:
The optional fields are used in new implementations, existing implementations are kept unchanged
â€¢ In the core spec definitions there are dummy fields as placeholders for downward compatibility only. These donâ€™t have any meaning for a test case and therefore are normally skipped to improve readability.
Due to the process of formal agreement and approval there is no chance to forget optional fields unintentionally.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |

Attached Files

cr_2147_implicit_omit_solution_01.doc (225,280) 12-03-2008 11:09
http://oldforge.etsi.org/mantis/file_download.php?file_id=1369&type=bug
cr_2147_implicit_omit_solution_02.doc (258,560) 23-04-2008 10:07
http://oldforge.etsi.org/mantis/file_download.php?file_id=1438&type=bug
cr_2147_implicit_omit_solution_03.doc (267,776) 23-04-2008 11:05
http://oldforge.etsi.org/mantis/file_download.php?file_id=1439&type=bug
cr_2147_implicit_omit_solution_04.doc (268,288) 23-04-2008 19:43
http://oldforge.etsi.org/mantis/file_download.php?file_id=1450&type=bug
cr_2147_implicit_omit_solution_05.doc (268,288) 25-04-2008 11:14
http://oldforge.etsi.org/mantis/file_download.php?file_id=1457&type=bug

Issue History
Date Modified | Username | Field | Change
15-10-2007 12:19 | Gyorgy Rethy | New Issue |
15-10-2007 12:19 | Gyorgy Rethy | Status | new => assigned
15-10-2007 12:19 | Gyorgy Rethy | Assigned To | => Gyorgy Rethy
15-10-2007 12:19 | Gyorgy Rethy | Clause Reference(s) | => $15
15-10-2007 12:19 | Gyorgy Rethy | Source (company - Author) | => 3GPP (CR provided by Gyorgy Rethy)
15-10-2007 18:18 | Ina Schieferdecker | Note Added: 0003630 |
15-10-2007 18:29 | Ina Schieferdecker | Note Edited: 0003630 |
18-10-2007 13:46 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
18-10-2007 14:01 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
07-12-2007 11:36 | Ina Schieferdecker | Priority | normal => urgent
10-03-2008 13:28 | Thomas DeiÃŸ | Note Added: 0005183 |
12-03-2008 11:09 | Thomas DeiÃŸ | File Added: cr_2147_implicit_omit_solution_01.doc |
12-03-2008 11:16 | Thomas DeiÃŸ | Note Added: 0005206 |
26-03-2008 14:11 | user324 | Note Added: 0005309 |
21-04-2008 08:49 | Ina Schieferdecker | Target Version | Edition 4.1.1 (not yet published) => Edition 3.4.1 (not yet published)
23-04-2008 10:07 | Gyorgy Rethy | Note Added: 0005511 |
23-04-2008 10:07 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Thomas DeiÃŸ
23-04-2008 10:07 | Gyorgy Rethy | File Added: cr_2147_implicit_omit_solution_02.doc |
23-04-2008 11:05 | Thomas DeiÃŸ | File Added: cr_2147_implicit_omit_solution_03.doc |
23-04-2008 11:05 | Thomas DeiÃŸ | Note Added: 0005513 |
23-04-2008 14:59 | Thomas DeiÃŸ | Note Added: 0005519 |
23-04-2008 14:59 | Thomas DeiÃŸ | Assigned To | Thomas DeiÃŸ => Ina Schieferdecker
23-04-2008 18:58 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Gyorgy Rethy
23-04-2008 19:43 | Gyorgy Rethy | File Added: cr_2147_implicit_omit_solution_04.doc |
23-04-2008 19:45 | Gyorgy Rethy | Note Added: 0005544 |
23-04-2008 19:45 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Ina Schieferdecker
25-04-2008 11:14 | Ina Schieferdecker | File Added: cr_2147_implicit_omit_solution_05.doc |
25-04-2008 11:14 | Ina Schieferdecker | Status | assigned => closed
25-04-2008 11:14 | Ina Schieferdecker | Resolution | open => fixed
25-04-2008 11:14 | Ina Schieferdecker | Fixed in Version | => Edition 3.4.1 (not yet published)

Notes

(0003630)
Ina Schieferdecker
15-10-2007 18:18 (edited on: 15-10-2007 18:29)

Options 1. work around with base templates 2. implicit omit for ASN.1 templates and for ASN.1 types 3. implicit omit for all TTCN-3 templates 4. default values for TTCN-3 types (and fields) - which can be used then to set omit explicitly 5. an additional template attribute, which indicates the implicit omit

(0005183)
Thomas DeiÃŸ
10-03-2008 13:28

STF 349: Solution will be provided along option 5.

(0005206)
Thomas DeiÃŸ
12-03-2008 11:16

STF 349, Thomas, solution proposal, to be discussed.
Based on a new attribute 'optional' with two predefined values. Providing the attribute to a template will implicitly set optional fields to omit in the definition of the template. Setting the fields to omit is _not_ postponed to encoding a template before sending.
Can be applied to templates and values.
Cannot be applied to types, no introduction of default values.

(0005309)
user324
26-03-2008 14:11

Why is it explicitly forbidden to add the optional attribute to a type?
If this were possible (with the meaning that all templates/values of that type that do not explicitly override that attribute inherit it from its type) would make the feature usable, as then all instances of that type (i.e. also variables) could profit from that attribute declaration, while with the current proposal, you may have a lot of unnecessary optional attribute declarations and you cannot add such declarations to variables (as far as I know)

(0005511)
Gyorgy Rethy
23-04-2008 10:07

In cr_2147_implicit_omit_solution_02.doc: clauses 10 (constants) and 15 (templates) are added and edited to allow implicit initialization of these language elements. Text in new clause 27.7 is edited to allow the optional attribute to modules and groups containing types (shall have no effect on types). Variables are removed for clause 27.7 as while constants, modulepars and templates definitions shall be complete, this can be checked compile time; there is no chance for that for variables. In case of templates, there still may be a problem if the user thinks he/she is working in an explicit omit environment but in fact there is an implicit omit attribute somewhere; he/she may write incomplete templates intentionally and completing them in modified templates; in this case missing fields may not be discovered

(0005513)
Thomas DeiÃŸ
23-04-2008 11:05

Feedback by Gyorgy crosschecked: Ok. Same note as for constants and templates also added to modulepar.

(0005519)
Thomas DeiÃŸ
23-04-2008 14:59

As discussed today morning: Implicit omit not applicable to types, awaiting CR for default values.

(0005544)
Gyorgy Rethy
23-04-2008 19:45

optional attribute is removed for imports, e.g. if assigned to a module it will have no effect on import statements.