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

ID | Project | Category | View Status | Date Submitted | Last Update
0005801 | Part 01: TTCN-3 Core Language | Editorial | public | 01-11-2010 16:10 | 01-12-2010 10:57

Reporter | Philip Makedonski |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | major | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.3.1 (published 2011-06) | Fixed in Version | v4.3.1 (published 2011-06) |
Clause Reference(s) | TTCN-3 v4.2.1 Part 1: Core Notation, Clause 21.2(.1) Test case stop operation
Source (company - Author) | University of GÃ¶ttingen

Summary | 0005801: Test case operations - no corresponding BNF rules
Description | The testcase.stop operation introduced in clause 21.2.1 of the TTCN-3 Core Notation (v4.2.1) has no respective syntax definition in the BNF productions. Apart from that, I am just wondering what the point of it is in the first place, wasn't simply using mtc.stop supposed to result in basically the same thing??
Steps To Reproduce | 1. Read clause 21.2.1 2. Read annex A.1.6 (3. Read clauses 21.3.3 and 26.1)
Additional Information |
Tags | No tags attached.

Relationships

related to | 0005800 | closed |  | Test case stop operation missing in BNF 4.2.1

Attached Files |

Issue History
Date Modified | Username | Field | Change
01-11-2010 16:10 | Philip Makedonski | New Issue |
01-11-2010 16:10 | Philip Makedonski | Clause Reference(s) | => TTCN-3 v4.2.1 Part 1: Core Notation, Clause 21.2(.1) Test case stop operation
01-11-2010 16:10 | Philip Makedonski | Source (company - Author) | => University of GÃ¶ttingen
01-11-2010 16:36 | Philip Makedonski | Note Added: 0009793 |
01-11-2010 19:03 | Benjamin Zeiss | Relationship added | related to 0005800
11-11-2010 13:58 | Jacob Wieland - Spirent | Note Added: 0009796 |
30-11-2010 09:36 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
30-11-2010 16:57 | Gyorgy Rethy | Note Added: 0009865 |
30-11-2010 16:57 | Gyorgy Rethy | Assigned To | => Ina Schieferdecker
30-11-2010 16:57 | Gyorgy Rethy | Status | new => assigned
30-11-2010 16:57 | Gyorgy Rethy | Target Version | => Edition 4.3.1 (not yet published)
01-12-2010 10:22 | Ina Schieferdecker | Note Added: 0009881 |
01-12-2010 10:55 | Ina Schieferdecker | Note Added: 0009886 |
01-12-2010 10:57 | Ina Schieferdecker | Status | assigned => resolved
01-12-2010 10:57 | Ina Schieferdecker | Resolution | open => fixed
01-12-2010 10:57 | Ina Schieferdecker | Fixed in Version | => Edition 4.3.1 (not yet published)
01-12-2010 10:57 | Ina Schieferdecker | Status | resolved => closed

Notes

(0009793)
Philip Makedonski
01-11-2010 16:36

After looking a bit closer at it, even the pseudo-syntactic rule present in clause 21.2.1 is incorrect: testcase "." stop { ( FreeText | TemplateInstance ) [","] } ")"

(0009796)
Jacob Wieland - Spirent
11-11-2010 13:58

Semantically, it also sets the error verdict with the given reason. As setverdict(error, reason) is not allowed (for reasons unkonwn and unclear to me), it was felt that some other syntax was needed.

(0009865)
Gyorgy Rethy
30-11-2010 16:57

STF discussion 30-11-2010: comment is correct.

(0009881)
Ina Schieferdecker
01-12-2010 10:22

BNF and pseudo-syntax changed to testcase "." stop [ â€œ(â€œ { ( FreeText | TemplateInstance ) [","] } ")" ]

(0009886)
Ina Schieferdecker
01-12-2010 10:55

BNF is 180. FunctionStatement ::= ConfigurationStatements | TimerStatements | CommunicationStatements | BasicStatements | BehaviourStatements | VerdictStatements | SUTStatements | TestcaseOperation 455. TestcaseOperation ::= TestcaseKeyword "." StopKeyword ["(" {(FreeText | TemplateInstance) [","]} ")"]