ETSI's Bug Tracker - Ext Pack: Continuous signal support (ES 202 786)
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0006627 | Ext Pack: Continuous signal support (ES 202 786) | Technical | public | 07-10-2013 14:39 | 26-12-2013 12:54

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 | v1.2.1 (published 2014-06) | Fixed in Version |  |

Summary | 0006627: Continuous signalling: wait inside mode statement

Description

The wait command is not a traditional blocking operation as it cannot be used as an alternative inside alt statements. However, when used inside mode statements, it might lead to skipping next sampling steps, which is exactly the reason why blocking operations cannot be used in these places. In my opinion, the use of the wait statement shall be forbidden for the same reason inside mode statements as well.

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

Attached Files

CR6627-Res-V1-131008.doc (84,480) 08-10-2013 17:48
http://oldforge.etsi.org/mantis/file_download.php?file_id=2898&type=bug
CR6627-Res-V2.doc (85,504) 09-10-2013 08:48
http://oldforge.etsi.org/mantis/file_download.php?file_id=2901&type=bug
CR6627-Res-V3.doc (79,360) 09-10-2013 10:11
http://oldforge.etsi.org/mantis/file_download.php?file_id=2905&type=bug
CR6627-Res-V4.doc (86,528) 09-10-2013 10:56
http://oldforge.etsi.org/mantis/file_download.php?file_id=2908&type=bug

Issue History
Date Modified | Username | Field | Change
07-10-2013 14:39 | Tomas Urban | New Issue |
07-10-2013 14:39 | Tomas Urban | Clause Reference(s) | => 5.4.1
07-10-2013 14:39 | Tomas Urban | Source (company - Author) | => Elvior
08-10-2013 10:40 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Continuous signal support (ES 202 786)
08-10-2013 10:41 | Gyorgy Rethy | Assigned To | => Jens Grabowski
08-10-2013 10:41 | Gyorgy Rethy | Status | new => assigned
08-10-2013 10:41 | Gyorgy Rethy | Target Version | => v1.2.1 (published 2014-06)
08-10-2013 17:48 | Jens Grabowski | File Added: CR6627-Res-V1-131008.doc |
08-10-2013 17:49 | Jens Grabowski | Note Added: 0011710 |
08-10-2013 17:49 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
09-10-2013 08:48 | Jacob Wieland - Spirent | File Added: CR6627-Res-V2.doc |
09-10-2013 08:50 | Jacob Wieland - Spirent | Note Added: 0011717 |
09-10-2013 08:50 | Jacob Wieland - Spirent | Status | assigned => confirmed
09-10-2013 08:51 | Jacob Wieland - Spirent | Status | confirmed => assigned
09-10-2013 08:51 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
09-10-2013 08:51 | Jacob Wieland - Spirent | Status | assigned => confirmed
09-10-2013 10:11 | Jens Grabowski | File Added: CR6627-Res-V3.doc |
09-10-2013 10:12 | Jens Grabowski | Note Added: 0011721 |
09-10-2013 10:12 | Jens Grabowski | Status | confirmed => resolved
09-10-2013 10:12 | Jens Grabowski | Resolution | open => fixed
09-10-2013 10:55 | Jacob Wieland - Spirent | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
09-10-2013 10:55 | Jacob Wieland - Spirent | Status | resolved => feedback
09-10-2013 10:55 | Jacob Wieland - Spirent | Resolution | fixed => reopened
09-10-2013 10:56 | Jacob Wieland - Spirent | Note Added: 0011724 |
09-10-2013 10:56 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
09-10-2013 10:56 | Jacob Wieland - Spirent | Status | feedback => confirmed
09-10-2013 10:56 | Jacob Wieland - Spirent | File Added: CR6627-Res-V4.doc |
09-10-2013 12:19 | Jens Grabowski | Status | confirmed => resolved
09-10-2013 12:19 | Jens Grabowski | Resolution | reopened => fixed
26-12-2013 12:54 | Jens Grabowski | Status | resolved => closed

Notes

(0011710)
Jens Grabowski
08-10-2013 17:49

Resolution attached. Assigned to Jacob for cross-checking.

(0011717)
Jacob Wieland - Spirent
09-10-2013 08:50

I also excluded timout, done, killed and modes themselves and generalized to receiving operations (which subsumes receive,getcall,getreply,catch,trigger,check). Excluding alt and interleave is not necessary as they would need at least one of the above. so they are excluded implicitly.

(0011721)
Jens Grabowski
09-10-2013 10:12

Wording in V3 slightly changed.

(0011724)
Jacob Wieland - Spirent
09-10-2013 10:56

added plural-s to statement