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

ID | Project | Category | View Status | Date Submitted | Last Update
0006709 | Part 01: TTCN-3 Core Language | Technical | public | 27-03-2014 17:49 | 06-01-2015 17:02

Reporter | Andras Kovacs |
Assigned To | Gyorgy Rethy |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v4.5.1 (published 2013-04) |
Target Version | v4.7.1 (published 2015-06) | Fixed in Version | v4.7.1 (published 2015-06) |
Clause Reference(s) | 22.3
Source (company - Author) | STF470 - Andras Kovacs

Summary | 0006709: 22.3: What should happen when addresses are used on connected ports?

Description

It is not specified what should happen when addresses are used on connected ports, as in the following example (full test case attached):
type charstring address;
const address c_client1Addr := "client1Addr";
const address c_client2Addr := "client2Addr";
type component GeneralComp {
port remotePort PCO;
var address v_myAddress;
}
testcase TC_CallOperation() runs on GeneralComp system GeneralComp {
var GeneralComp server := GeneralComp.create("RemoteProcedure Service");
var GeneralComp client := GeneralComp.create("RemoteProcedure Client");
var GeneralComp client2 := GeneralComp.create("RemoteProcedure Client");
// map the PTCs to the system port
connect(server:PCO, client:PCO);
connect(server:PCO, client2:PCO);
server.start(f_ServerResponses());
client.start(f_ClientQuery(c_client1Addr));
client2.start(f_ClientQuery(c_client2Addr));
...
}
It is a question whether these test cases should:
A: just fail to match this kind of alternatives (because the address type of the value in the sender clause is not compatible with the sending component) or
B: produce a runtime error (because of type incompatibility during redirect assignment) as this situation is not described in the core language specification.

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | Sem_220301_CallOperation_004.ttcn (3,931) 27-03-2014 17:49 http://oldforge.etsi.org/mantis/file_download.php?file_id=2977&type=bug CR6709_v1-140616-JG.docx (19,650) 18-06-2014 13:29 http://oldforge.etsi.org/mantis/file_download.php?file_id=3049&type=bug

Issue History
Date Modified | Username | Field | Change
27-03-2014 17:49 | Andras Kovacs | New Issue |
27-03-2014 17:49 | Andras Kovacs | File Added: Sem_220301_CallOperation_004.ttcn |
08-04-2014 10:48 | Gyorgy Rethy | Assigned To | => Jens Grabowski
08-04-2014 10:48 | Gyorgy Rethy | Status | new => assigned
08-04-2014 10:48 | Gyorgy Rethy | Target Version | => v4.7.1 (published 2015-06)
18-06-2014 13:27 | Jens Grabowski | File Added: CR6709_v1-140616-JG.docx |
18-06-2014 13:28 | Jens Grabowski | File Deleted: CR6709_v1-140616-JG.docx |
18-06-2014 13:29 | Jens Grabowski | File Added: CR6709_v1-140616-JG.docx |
18-06-2014 13:29 | Jens Grabowski | Note Added: 0012122 |
18-06-2014 13:29 | Jens Grabowski | Assigned To | Jens Grabowski => Tomas Urban
18-06-2014 13:29 | Jens Grabowski | Status | assigned => confirmed
18-06-2014 15:20 | Tomas Urban | Note Added: 0012131 |
18-06-2014 15:20 | Tomas Urban | Status | confirmed => resolved
18-06-2014 15:20 | Tomas Urban | Resolution | open => fixed
18-06-2014 15:20 | Tomas Urban | Assigned To | Tomas Urban => Gyorgy Rethy
06-01-2015 17:02 | Gyorgy Rethy | Note Added: 0012644 |
06-01-2015 17:02 | Gyorgy Rethy | Status | resolved => closed
06-01-2015 17:02 | Gyorgy Rethy | Fixed in Version | => v4.7.1 (published 2015-06)

Notes

(0012122)
Jens Grabowski
18-06-2014 13:29

Resolution: Further restriction in Clause 6.2.12 "Addressing entities inside the SUT". Resolution attached, assigned to Tomas for proofreading.

(0012131)
Tomas Urban
18-06-2014 15:20

The proposed rule change solves the reported issue and it is ready to be included in the next version of the TTCN-3 core language standard.

(0012644)
Gyorgy Rethy
06-01-2015 17:02

Added to draft V4.6.3