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

ID | Project | Category | View Status | Date Submitted | Last Update
0005493 | Ext Pack: Behaviour Types (ES 202 785) | Editorial | public | 24-03-2010 11:21 | 13-12-2010 13:37

Reporter | Gyorgy Rethy |
Assigned To | Jens Grabowski |
Priority | high | Severity | trivial | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v1.2.1 (published 2011-05) | Fixed in Version | v1.2.1 (published 2011-05) |
Clause Reference(s) | n/a
Source (company - Author) |

Summary | 0005493: Package BNF Corrections - Beh. types

Description

Package Behaviour Types v1.1.1:
--------------------------------
1. BehaviourDef ::= ( AltstepKeyword BehaviourTypeIdentifier [FormalTypeParList]
...
The rule "FormalTypeParList" does not exist, neither in the package bnf nor the core language bnf. It is referenced three times in the rule BehaviourDef.
-167. RunsOnSpec ::= RunsKeyword OnKeyword ( ComponentType | SelfKeyword )
+167. RunsOnSpec ::= RunsKeyword OnKeyword ( ComponentType | SelfOp )
SelfKeyword -> SelfOp
-200. TestcaseInstance ::= ExecuteKeyword "(" ( TestCaseRef "(" [TestcaseActualParList] ")" ) |
+200. TestcaseInstance ::= ExecuteKeyword "(" ( TestcaseRef "(" [TestcaseActualParList] ")" ) |
TestCaseRef -> TestcaseRef

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

Relationships

child of | 0005492 | closed |  | Ext Pack: Advanced Parametrization (ES 202 784) | Package BNF Corrections - Adv. Param

Attached Files | Resolution-Jens-CR5493.zip (428,805) 25-03-2010 10:59 http://oldforge.etsi.org/mantis/file_download.php?file_id=2363&type=bug

Issue History
Date Modified | Username | Field | Change
24-03-2010 11:21 | Gyorgy Rethy | New Issue |
24-03-2010 11:21 | Gyorgy Rethy | Clause Reference(s) | => n/a
24-03-2010 11:21 | Gyorgy Rethy | Source (company - Author) | =>
24-03-2010 11:21 | Gyorgy Rethy | Issue generated from: 0005492 |
24-03-2010 11:21 | Gyorgy Rethy | Relationship added | child of 0005492
24-03-2010 11:25 | Gyorgy Rethy | Summary | Package BNF Corrections => Package BNF Corrections - Beh. types
24-03-2010 11:25 | Gyorgy Rethy | Description Updated |
24-03-2010 17:01 | Gyorgy Rethy | Assigned To | => Jens Grabowski
24-03-2010 17:01 | Gyorgy Rethy | Status | new => assigned
24-03-2010 17:01 | Gyorgy Rethy | Project | TTCN-3 Change Requests => Ext Pack: Behaviour Types (ES 202 785)
25-03-2010 10:27 | Benjamin Zeiss | Note Added: 0009300 |
25-03-2010 10:59 | Jens Grabowski | Note Added: 0009301 |
25-03-2010 10:59 | Jens Grabowski | File Added: Resolution-Jens-CR5493.zip |
25-03-2010 11:03 | Jens Grabowski | Status | assigned => closed
25-03-2010 11:03 | Jens Grabowski | Resolution | open => fixed
13-12-2010 13:36 | Gyorgy Rethy | Status | closed => feedback
13-12-2010 13:36 | Gyorgy Rethy | Resolution | fixed => reopened
13-12-2010 13:37 | Gyorgy Rethy | Note Added: 0009958 |
13-12-2010 13:37 | Gyorgy Rethy | Status | feedback => closed
13-12-2010 13:37 | Gyorgy Rethy | Resolution | reopened => fixed
13-12-2010 13:37 | Gyorgy Rethy | Fixed in Version | => v1.2.1
13-12-2010 13:37 | Gyorgy Rethy | Target Version | => v1.2.1

Notes

(0009300)
Benjamin Zeiss
25-03-2010 10:27

Regarding FormalTypeParList: i assume that the parameter values match those allowed parameters of the respective altstep, function, and testcase signatures of the core language spec. The adapted rule would then be:
1. BehaviourDef ::= ( AltstepKeyword BehaviourTypeIdentifier [AltstepFormalParList]
"("[AltstepFormalParList] ")" [RunsOnSpec] ) |
( FunctionKeyword BehaviourTypeIdentifier [FunctionFormalParList]
"("[FunctionFormalParList] ")" [RunsOnSpec] [ReturnType] ) |
( TestcaseKeyword BehaviourTypeIdentifier [TestcaseFormalParList]
"("[TestcaseFormalParList] ")" ConfigSpec )

(0009301)
Jens Grabowski
25-03-2010 10:59

Resolution for the rules 167 and 200 are implemented as proposed in the description. Rule 1 is correct, the dependency of FormalTypeParList with the advanced parameterization package has not been considered by the reporter.

(0009958)
Gyorgy Rethy
13-12-2010 13:37

Target version and fixed in version are added to CR.