  

<table class="width100" style="width:100%;" data-cellspacing="1">
<colgroup>
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
</colgroup>
<tbody>
<tr class="odd">
<td colspan="6" class="form-title"><div class="center">
ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
</div></td>
</tr>
<tr class="even">
<td colspan="6" class="form-title">View Issue Details</td>
</tr>
<tr class="odd">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="even print-category">
<td class="print" width="16%">ID</td>
<td class="print" width="16%">Project</td>
<td class="print" width="16%">Category</td>
<td class="print" width="16%">View Status</td>
<td class="print" width="16%">Date Submitted</td>
<td class="print" width="16%">Last Update</td>
</tr>
<tr class="odd print">
<td class="print">0000390</td>
<td class="print">Part 01: TTCN-3 Core Language</td>
<td class="print">Clarification</td>
<td class="print">public</td>
<td class="print">24-11-2006 10:01</td>
<td class="print">12-03-2008 10:24</td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Reporter</td>
<td class="print">Stephan Schulz</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Assigned To</td>
<td class="print">Ina Schieferdecker</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Priority</td>
<td class="print">low</td>
<td class="print-category">Severity</td>
<td class="print">text</td>
<td class="print-category">Reproducibility</td>
<td class="print">N/A</td>
</tr>
<tr class="even print">
<td class="print-category">Status</td>
<td class="print">closed</td>
<td class="print-category">Resolution</td>
<td class="print">fixed</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Platform</td>
<td class="print"></td>
<td class="print-category">OS</td>
<td class="print"></td>
<td class="print-category">OS Version</td>
<td class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Product Version</td>
<td class="print">v2.2.1 (published 2003-02)</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd">
<td class="print-category">Target Version</td>
<td class="print">v3.3.2 (published 2008-04)</td>
<td class="print-category">Fixed in Version</td>
<td class="print">v3.3.2 (published 2008-04)</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Clause Reference(s)</td>
<td colspan="4" class="print">23.4.0</td>
<td></td>
</tr>
<tr class="odd print">
<td class="print-category">Source (company - Author)</td>
<td colspan="4" class="print">Alexey Mednonogov, OpenTTCN Oy</td>
<td></td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Summary</td>
<td colspan="5" class="print">0000390: Operational semantics
clarification for check statement</td>
</tr>
<tr class="even print">
<td class="print-category">Description</td>
<td colspan="5" class="print">The current version of the core language
standard defines flow control semantics for check statement in a
misleading way, so that a conclusion might be drawn that the check
statement has non-blocking semantics and if used as a standalone
statement, it proceeds to the next statement even in case of a mismatch.
Such conclusion is in conflict with TTCN-3 Operational Semantics
document (Part 4 of the standard) which reasonably draws an analogy
between check statement and any other receiving operation, receive
statement in particular, and defines blocking semantics for check
statement.</td>
</tr>
<tr class="odd print">
<td class="print-category">Steps To Reproduce</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Additional Information</td>
<td colspan="5" class="print">Replace the following phrase in the clause
23.4.0:<br />
<br />
?The check operation fails if the receiving operation fails i.e. the
matching criteria are not fulfilled. In this case the copy of the top
element of the queue is discarded and test execution continues in the
normal manner, i.e. the next statement or alternative to the check
operation is evaluated.?<br />
<br />
with:<br />
<br />
?The check operation fails if the receiving operation fails i.e. the
matching criteria are not fulfilled. In this case the copy of the top
element of the queue is discarded and test execution continues in the
same manner as for any other receiving operation, i.e. the next
alternative to the check operation is evaluated. If check is used as a
standalone statement, it has blocking semantics, i.e. it is considered
to be a shorthand for an alt statement with the only one
alternative.?<br />
</td>
</tr>
<tr class="odd print">
<td class="print-category">Tags</td>
<td colspan="5" class="print">No tags attached.</td>
</tr>
<tr class="even print">
<td class="print-category">Relationships</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="odd print">
<td class="print-category">Attached Files</td>
<td colspan="5" class="print"><img
src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif"
alt="doc" /> CR-390-Check-Statement-Resolution.doc (208,384) <span
class="italic">20-11-2007 08:04</span><br />
http://oldforge.etsi.org/mantis/file_download.php?file_id=1128&amp;type=bug</td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="form-title">Issue History</td>
<td></td>
<td></td>
<td></td>
<td></td>
<td></td>
</tr>
<tr class="even print-category">
<td class="row-category-history">Date Modified</td>
<td class="row-category-history">Username</td>
<td class="row-category-history">Field</td>
<td class="row-category-history">Change</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">24-11-2006 10:01</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">New Issue</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">24-11-2006 10:01</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Clause Reference(s)</td>
<td class="print">=&gt; 23.4.0</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">24-11-2006 10:01</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Source (company - Author)</td>
<td class="print">=&gt; Alexey Mednonogov, OpenTTCN Oy</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">24-11-2006 10:02</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Note Added: 0000309</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">24-11-2006 10:02</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Status</td>
<td class="print">new =&gt; confirmed</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">15-06-2007 19:19</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Status</td>
<td class="print">confirmed =&gt; assigned</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">15-06-2007 19:19</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Assigned To</td>
<td class="print">=&gt; Ina Schieferdecker</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">13-10-2007 19:14</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Assigned To</td>
<td class="print">Ina Schieferdecker =&gt; Jens Grabowski</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">18-10-2007 14:29</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Target Version</td>
<td class="print">=&gt; Edition 3.3.1 (not yet published)</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">18-10-2007 14:29</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Additional Information Updated</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">20-11-2007 08:04</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens
Grabowski</a></td>
<td class="print">File Added: CR-390-Check-Statement-Resolution.doc</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">20-11-2007 08:05</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens
Grabowski</a></td>
<td class="print">Assigned To</td>
<td class="print">Jens Grabowski =&gt; Gyorgy Rethy</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">20-11-2007 08:05</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens
Grabowski</a></td>
<td class="print">Resolution</td>
<td class="print">open =&gt; fixed</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">05-12-2007 11:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens
Grabowski</a></td>
<td class="print">Assigned To</td>
<td class="print">Gyorgy Rethy =&gt; Ina Schieferdecker</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">05-12-2007 11:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens
Grabowski</a></td>
<td class="print">Status</td>
<td class="print">assigned =&gt; resolved</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">05-12-2007 17:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Status</td>
<td class="print">resolved =&gt; closed</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">05-12-2007 17:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Fixed in Version</td>
<td class="print">=&gt; Edition 3.3.1 (not yet published)</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">12-03-2008 10:22</td>
<td class="print">user10</td>
<td class="print">Fixed in Version</td>
<td class="print">Edition 3.3.1 --will not be published, see 3.3.2 =&gt;
Edition 3.3.2 (not yet published)</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">12-03-2008 10:24</td>
<td class="print">user10</td>
<td class="print">Target Version</td>
<td class="print">Edition 3.3.1 --will not be published, see 3.3.2 =&gt;
Edition 3.3.2 (not yet published)</td>
<td></td>
<td></td>
</tr>
</tbody>
</table>

  

<table class="width100" data-cellspacing="1">
<colgroup>
<col style="width: 50%" />
<col style="width: 50%" />
</colgroup>
<tbody>
<tr class="odd">
<td colspan="2" class="form-title">Notes</td>
</tr>
<tr class="even">
<td colspan="2" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="nopad" data-valign="top" width="20%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">(0000309)</td>
</tr>
<tr class="even">
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a>   </td>
</tr>
<tr class="odd">
<td class="print">24-11-2006 10:02   </td>
</tr>
</tbody>
</table></td>
<td class="nopad" data-valign="top" width="85%"><table class="hide"
data-cellspacing="1">
<tbody>
<tr class="odd">
<td class="print">Accepted</td>
</tr>
</tbody>
</table></td>
</tr>
</tbody>
</table>
