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

ID | Project | Category | View Status | Date Submitted | Last Update
0007155 | Part 01: TTCN-3 Core Language | Technical | public | 21-08-2015 09:43 | 14-12-2015 13:15

Reporter | Tomas Urban |
Assigned To | Gyorgy Rethy |
Priority | low | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.7.1 (published 2015-06) |
Target Version | v4.8.1 (published 2016-07) | Fixed in Version | v4.8.1 (published 2016-07) |
Clause Reference(s) | 21.3.5 and 21.3.6
Source (company - Author) | STF 487

Summary | 0007155: Running and alive operation should not be forbidden for MTC

Description

The current rules doesn't allow to use the running and alive operation for the MTC. Similar restrictions are valid for the done and killed operation, where it makes sense as these event never occur during execution of a test case and for the start operation which behaves as any other attempt to start a behaviour on a running component producing an error.
However, in case of the running operation, I simply don't understand the reasons why the TE should throw an error instead of simply returning true. The alive operation is more complicated. I would expect it to return false for the usual non-static MTC defined in the core language standard and true for a static MTC from the configuration and deployment extension package.
Proposal: allow using the alive and running operations for the MTC with the above described logic.
Proposal:

Steps To Reproduce |
Additional Information |
Tags | technically agreed
Relationships |
Attached Files | CR7155_resolution_v1.docx (81,244) 12-10-2015 15:01 http://oldforge.etsi.org/mantis/file_download.php?file_id=3294&type=bug CR7155_resolution_v2.docx (81,656) 12-10-2015 15:51 http://oldforge.etsi.org/mantis/file_download.php?file_id=3296&type=bug

Issue History
Date Modified | Username | Field | Change
21-08-2015 09:43 | Tomas Urban | New Issue |
21-09-2015 10:27 | Gyorgy Rethy | Target Version | => v4.8.1 (published 2016-07)
21-09-2015 16:36 | Gyorgy Rethy | Tag Attached: technically agreed |
21-09-2015 16:41 | Gyorgy Rethy | Note Added: 0013228 |
12-10-2015 10:13 | Axel Rennoch | Assigned To | => Axel Rennoch
12-10-2015 10:13 | Axel Rennoch | Status | new => assigned
12-10-2015 15:01 | Axel Rennoch | File Added: CR7155_resolution_v1.docx |
12-10-2015 15:08 | Axel Rennoch | Note Added: 0013356 |
12-10-2015 15:09 | Axel Rennoch | Note Added: 0013357 |
12-10-2015 15:09 | Axel Rennoch | Assigned To | Axel Rennoch => Jacob Wieland - Spirent
12-10-2015 15:09 | Axel Rennoch | Status | assigned => acknowledged
12-10-2015 15:51 | Jacob Wieland - Spirent | File Added: CR7155_resolution_v2.docx |
12-10-2015 15:51 | Jacob Wieland - Spirent | Note Added: 0013359 |
12-10-2015 15:51 | Jacob Wieland - Spirent | Status | acknowledged => confirmed
12-10-2015 15:52 | Jacob Wieland - Spirent | Status | confirmed => assigned
12-10-2015 15:52 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Gyorgy Rethy
12-10-2015 15:52 | Jacob Wieland - Spirent | Status | assigned => confirmed
13-10-2015 09:46 | Gyorgy Rethy | Note Added: 0013362 |
13-10-2015 09:47 | Gyorgy Rethy | Assigned To | Gyorgy Rethy => Axel Rennoch
13-10-2015 09:47 | Gyorgy Rethy | Priority | normal => low
13-10-2015 15:31 | Axel Rennoch | Note Added: 0013372 |
13-10-2015 15:31 | Axel Rennoch | Assigned To | Axel Rennoch => Gyorgy Rethy
13-10-2015 15:31 | Axel Rennoch | Status | confirmed => assigned
13-10-2015 15:32 | Axel Rennoch | Status | assigned => confirmed
03-11-2015 09:36 | Gyorgy Rethy | Status | confirmed => resolved
03-11-2015 09:36 | Gyorgy Rethy | Fixed in Version | => v4.8.1 (published 2016-07)
03-11-2015 09:36 | Gyorgy Rethy | Resolution | open => fixed
14-12-2015 13:15 | Gyorgy Rethy | Note Added: 0013617 |
14-12-2015 13:15 | Gyorgy Rethy | Status | resolved => closed

Notes

(0013228)
Gyorgy Rethy
21-09-2015 16:41

STF discussion: has effect both to the core language and the configuration and deployment package. Part-1 portion (e.g. mtc.running) has higher priority, configuration part to be handled with low priority. Let chaeck in detail where these documants would need to be changed.

(0013356)
Axel Rennoch
12-10-2015 15:08

Part-1 changes are provided in uploaded file resolution_v1. Currently no proposals for the config and deployment package since operations .alive and .running are not mentioned in ES 202 781.

(0013357)
Axel Rennoch
12-10-2015 15:09

Please check the proposed resolution v1.

(0013359)
Jacob Wieland - Spirent
12-10-2015 15:51

slightly changed the wording of the first proposal to be more consistent with preceding text. Otherwise, ok.

(0013362)
Gyorgy Rethy
13-10-2015 09:46

Syntactic structure and BNF needs to update as well. alive and running ops doesn't allow MTCKeyword and SelfOp; ie. v_MyPTC.alive is allowed, self.alive or mtc.alive are not allowed. Also, config&deployment package should be updated. I propose to handle the CR with low priority.

(0013372)
Axel Rennoch
13-10-2015 15:31

The CR provides a clarification for situations like var PTC v_my := mtc; v_my.running; I propose to avoid explicit statements like mtc.alive; self.running; //etc. and not to change the BNF. Furthermore the config&deployment package may not be modified due to this CR since .alive and .running ops are not treated.

(0013617)
Gyorgy Rethy
14-12-2015 13:15

Added to V4.7.4