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

ID | Project | Category | View Status | Date Submitted | Last Update
0006619 | Ext Pack: Continuous signal support (ES 202 786) | Clarification | public | 27-09-2013 10:05 | 06-01-2015 17:00

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 | v1.1.1 (published 2012-04) |
Target Version | v1.3.1 (published 2015-06) | Fixed in Version |  |

Summary | 0006619: Continuous signalling: vague rule on error verdict caused by invariants

Description

The chapter 5.4.1.2 contains the following rule: "If an invariant of an active mode is violated, the mode must be able to switch to another mode that has valid invariants during the respective sampling step. If this is not possible, the test system must set an error verdict."
This rule contains a term "switch to another mode" which is undefined by the specification and might be interpreted in several ways. I would appreciate precise specification of this term, especially in cases when dealing with implicit follow-up modes:
- If there's a statement (such as an assignment) between a mode terminated by an invariant and its follow-up mode, will it activate the above mentioned rule?
- If the follow-up mode is on a different scope (e.g. in a calling function), will leaving the original scope set an error verdict or not?

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR6619_v1.docx (53,157) 09-10-2014 14:12 http://oldforge.etsi.org/mantis/file_download.php?file_id=3129&type=bug

Issue History
Date Modified | Username | Field | Change
27-09-2013 10:05 | Tomas Urban | New Issue |
27-09-2013 10:05 | Tomas Urban | Clause Reference(s) | => 5.4.1.2
27-09-2013 10:05 | Tomas Urban | Source (company - Author) | => Elvior
07-10-2013 11:46 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Continuous signal support (ES 202 786)
07-10-2013 11:48 | Gyorgy Rethy | Assigned To | => Jens Grabowski
07-10-2013 11:48 | Gyorgy Rethy | Status | new => assigned
08-04-2014 10:47 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
08-04-2014 17:11 | Gyorgy Rethy | Product Version | => v1.1.1 (published 2012-04)
08-04-2014 17:11 | Gyorgy Rethy | Target Version | => v1.3.1 (published 2015-06)
09-10-2014 14:12 | Tomas Urban | File Added: CR6619_v1.docx |
09-10-2014 14:12 | Tomas Urban | Note Added: 0012324 |
09-10-2014 14:12 | Tomas Urban | Assigned To | Tomas Urban => Jens Grabowski
09-10-2014 14:12 | Tomas Urban | Status | assigned => confirmed
06-01-2015 17:00 | Jens Grabowski | Note Added: 0012643 |
06-01-2015 17:00 | Jens Grabowski | Status | confirmed => closed
06-01-2015 17:00 | Jens Grabowski | Resolution | open => fixed

Notes

(0012324)
Tomas Urban
09-10-2014 14:12

Resolution draft uploaded. Please check.

(0012643)
Jens Grabowski
06-01-2015 17:00

Implemented according to proposal.