1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
/******************************************************************************
* Copyright (c) 2000-2021 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Szabo, Bence Janos
*
******************************************************************************/
module ConnectMapOperNegTest {
type port loopbackPort message {
inout integer
} with {extension "internal"}
type component GeneralComp {
port loopbackPort p1;
port loopbackPort p2;
}
type component System {
port loopbackPort p1;
port loopbackPort p2;
}
testcase tc_neg_connect_after_map() runs on GeneralComp system System {
map(self:p1, system:p1);
template charstring t_expected := pattern "*Dynamic test case error: Connect operation cannot be performed on a mapped port \(p1\).*"
@try {
connect(self:p1, self:p2);
setverdict(fail, "Connect operation succeeded. Expected error.");
}
@catch (msg) {
if (match(msg, t_expected)) {
setverdict(pass);
}
else {
setverdict(fail, "Incorrect error message received (receive test): ", msg);
}
}
setverdict(pass);
}
testcase tc_neg_connect_after_map2() runs on GeneralComp system System {
var GeneralComp v_comp := GeneralComp.create;
template charstring t_expected := pattern "*Dynamic test case error: Connect operation cannot be performed on a mapped port \(p1\).*"
map(self:p1, system:p1);
@try {
connect(self:p1, v_comp:p2);
setverdict(fail, "Connect operation succeeded. Expected error.");
}
@catch (msg) {
if (match(msg, t_expected)) {
setverdict(pass);
}
else {
setverdict(fail, "Incorrect error message received (receive test): ", msg);
}
}
setverdict(pass);
}
testcase tc_neg_map_after_connect() runs on GeneralComp system System {
var GeneralComp v_comp := GeneralComp.create;
template charstring t_expected := pattern "*Dynamic test case error: Map operation is not allowed on a connected port \(p1\)."
connect(self:p1, v_comp:p2);
@try {
map(self:p1, system:p1);
setverdict(fail, "Connect operation succeeded. Expected error.");
}
@catch (msg) {
if (match(msg, t_expected)) {
setverdict(pass);
}
else {
setverdict(fail, "Incorrect error message received (receive test): ", msg);
}
}
setverdict(pass);
}
control{
execute(tc_neg_connect_after_map());
execute(tc_neg_connect_after_map2());
execute(tc_neg_map_after_connect());
}
}
|
