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

ID | Project | Category | View Status | Date Submitted | Last Update
0006635 | Ext Pack: Continuous signal support (ES 202 786) | Technical | public | 08-10-2013 08:55 | 26-12-2013 12:53

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 | 0006635: Continuous signalling: missing BNF rules

Description

There are two important rules missing in the BNF section and one token has a misleading name.
1) There's no rule allowing the use of modes in statements block. Proposal: insert a modification of the BNF rule 466 of the core language specification to the chapter A.1 as follows:
466.BehaviourStatements ::= TestcaseInstance |
FunctionInstance |
ReturnStatement |
AltConstruct |
InterleavedConstruct |
LabelStatement |
GotoStatement |
RepeatStatement |
DeactivateStatement |
AltstepInstance |
ActivateOp |
BreakStatement |
ContinueStatement |
ModeSpecification
2) The token name ModeInstance used in the specification is misleading, because the rule 72 doesn't describe instance creation, but defines behaviour of a parameterized mode. Traditionally, this kind of statements are called definitions, therefore I propose to change the name of the token to ModeDef (see FunctionDef, TestCaseDef, AltstepDef etc. in the core language specification BNF).
3) The BNF doesn't define a syntax for calling parameterized mode instances. This kind of mode instance usage is defined in the chapter 5.4.5.2 of the specification (see the "assertion" parameter in the example 2). Proposal: The current rule 51. should be modified to:
51.ModeSpecification ::= (( BasicMode | ComplexMode ) [ UntilBlock ] ) | ModeInstance
where mode instance is defined as:
73. ModeInstance ::= ModeRef "(" [FunctionActualParList] ")"
74. ModeRef ::= [Identifier Dot] Identifier
Note: the term instance is used here in line with the terminology specified in the core language BNF (e.g. FunctionInstance, TestCaseInstance, AltstepInstance etc.)

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR6635-Res-V1-131009.doc (119,296) 09-10-2013 10:01 http://oldforge.etsi.org/mantis/file_download.php?file_id=2904&type=bug CR6635-Res-V2.doc (124,416) 09-10-2013 10:48 http://oldforge.etsi.org/mantis/file_download.php?file_id=2907&type=bug

Issue History
Date Modified | Username | Field | Change
08-10-2013 08:55 | Tomas Urban | New Issue |
08-10-2013 08:55 | Tomas Urban | Clause Reference(s) | => A
08-10-2013 08:55 | Tomas Urban | Source (company - Author) | => Elvior
08-10-2013 10:39 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Continuous signal support (ES 202 786)
08-10-2013 10:39 | Gyorgy Rethy | Assigned To | => Jens Grabowski
08-10-2013 10:39 | Gyorgy Rethy | Status | new => assigned
08-10-2013 10:39 | Gyorgy Rethy | Target Version | => v1.2.1 (published 2014-06)
09-10-2013 10:01 | Jens Grabowski | File Added: CR6635-Res-V1-131009.doc |
09-10-2013 10:02 | Jens Grabowski | Note Added: 0011720 |
09-10-2013 10:02 | Jens Grabowski | Assigned To | Jens Grabowski => Jacob Wieland - Spirent
09-10-2013 10:49 | Jacob Wieland - Spirent | File Added: CR6635-Res-V2.doc |
09-10-2013 10:49 | Jacob Wieland - Spirent | Note Added: 0011723 |
09-10-2013 10:49 | Jacob Wieland - Spirent | Status | assigned => confirmed
09-10-2013 10:50 | Jacob Wieland - Spirent | Status | confirmed => assigned
09-10-2013 10:50 | Jacob Wieland - Spirent | Assigned To | Jacob Wieland - Spirent => Jens Grabowski
09-10-2013 10:50 | Jacob Wieland - Spirent | Status | assigned => confirmed
09-10-2013 14:25 | Jens Grabowski | Status | confirmed => resolved
09-10-2013 14:25 | Jens Grabowski | Resolution | open => fixed
26-12-2013 12:53 | Jens Grabowski | Status | resolved => closed

Notes

(0011720)
Jens Grabowski
09-10-2013 10:02

Jacob, please crosscheck (Note, the rule numbers are different to the ones mentioned in the CR as I used a version which already includes several BNF changes.)

(0011723)
Jacob Wieland - Spirent
09-10-2013 10:49

added missing ModuleDefinition rule which needs to be amended to include ModeDef as an alternative, otherwise okay