ETSI's Bug Tracker - Ext Pack: Behaviour Types (ES 202 785)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0007822 | Ext Pack: Behaviour Types (ES 202 785) | Clarification | public | 06-12-2018 12:28 | 17-12-2019 11:03

Reporter | Tomas Urban |
Assigned To | Jens Grabowski |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version |  | Fixed in Version | v1.7.1 (published 2020-05) |
Clause Reference(s) | 6.3.6
Source (company - Author) | Elvior

Summary | 0007822: Invalid restriction on values of behaviour types

Description

The restrictions a) and b) in 6.3.6 (Type compatibility of behaviour types with runs on self) are probably related to behaviour types with the "runs on self" clause, because the section 6.3.6 is dedicated to these behaviour types.
However, the text of the restrictions doesn't contain the word "self", thus the restriction is valid to all behaviour types with the "runs on" clause which doesn't make much sense:
a) Values of test case behaviour types are typically used only in module control part and test case behaviour type always contains the "runs on" clause.
b) Global constants or module parameters of behaviour types with a "runs on" clause can be safely referenced in functions with a "runs on" clause.
Besides, TTCN-3:2019 introduces the "runs on" clause for the control function (formerly known as the module control part) which makes the restriction b completely obsolete.
Proposal:
1. Remove restriction b completely
2. Change "runs on" to "runs on self" in the restriction a
3. Remove redundant 2nd paragraph of the semantic description ("The compatibility check...") or change it to a note attached to the restriction a, because the same rule is described in the restriction a

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR7822-1.docx (152,714) 07-08-2019 09:35 http://oldforge.etsi.org/mantis/file_download.php?file_id=3828&type=bug

Issue History
Date Modified | Username | Field | Change
06-12-2018 12:28 | Tomas Urban | New Issue |
18-12-2018 11:45 | Jens Grabowski | Note Added: 0015291 |
18-12-2018 11:45 | Jens Grabowski | Assigned To | => Tomas Urban
18-12-2018 11:45 | Jens Grabowski | Status | new => assigned
07-08-2019 09:35 | Tomas Urban | File Added: CR7822-1.docx |
07-08-2019 09:35 | Tomas Urban | Note Added: 0015390 |
07-08-2019 09:35 | Tomas Urban | Assigned To | Tomas Urban => Laurent VRECK
07-08-2019 09:35 | Tomas Urban | Status | assigned => confirmed
07-08-2019 09:44 | Tomas Urban | Assigned To | Laurent VRECK => Jacob Wieland - Spirent
07-08-2019 13:46 | Jacob Wieland - Spirent | Note Added: 0015407 |
07-08-2019 13:46 | Jacob Wieland - Spirent | Status | confirmed => resolved
07-08-2019 13:46 | Jacob Wieland - Spirent | Fixed in Version | => v1.7.1 (published 2020-05)
07-08-2019 13:46 | Jacob Wieland - Spirent | Resolution | open => fixed
07-08-2019 13:46 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
17-12-2019 11:03 | Jens Grabowski | Status | resolved => closed

Notes

(0015291)
Jens Grabowski
18-12-2018 11:45

STF decision: Tomas will make a proposal in the context of the next TTCN-3 maintenance STF.

(0015390)
Tomas Urban
07-08-2019 09:35

Proposal uploaded. Please check.

(0015407)
Jacob Wieland - Spirent
07-08-2019 13:46

ok with me