1 /******************************************************************************
2 * Copyright (c) 2000-2014 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
7 ******************************************************************************/
10 import from X682 language "ASN.1:1997" all
12 type port MyPort1 message
18 type port MyPort2 message
24 type component MyComponent
31 type component MySystemType
37 altstep MyAltstep() runs on MyComponent
39 [] P1.receive { setverdict(fail); }
40 [] P2.receive { setverdict(fail); }
41 [] T.timeout { setverdict(inconc); T.start; }
44 testcase TC0a() runs on MyComponent system MySystemType
46 var default d := activate(MyAltstep());
47 map(mtc:P1, system:S2);
48 map(mtc:P2, system:S1);
50 P1.send(errorReturn1);
52 P1.receive(ber_errorReturn1);
57 unmap(mtc:P1, system:S2);
58 unmap(mtc:P2, system:S1);
61 testcase TC0b() runs on MyComponent system MySystemType
63 var default d := activate(MyAltstep());
64 map(mtc:P1, system:S2);
65 map(mtc:P2, system:S1);
67 P2.send(ber_errorReturn1);
69 P2.receive(errorReturn1);
74 unmap(mtc:P1, system:S2);
75 unmap(mtc:P2, system:S1);