conformance_test/positive_tests added
[deliverable/titan.core.git] / conformance_test / positive_tests / 21_configuration_operations / 2103_test_component_operations / 210306_running_operation / Sem_210306_running_operation_002.ttcn
1 /******************************************************************************
2 * Copyright (c) 2000-2016 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 *
8 * Contributors:
9 * Adrien Kirjak – initial implementation
10 *
11 ** @version 0.0.1
12 ** @purpose 1:21.3.6, Any component with running can check the status of the test components
13 ** @verdict pass accept, ttcn3verdict:pass
14 *****************************************************************/
15 module Sem_210306_running_operation_002 {
16
17 type component GeneralComp {}
18
19 function f1 ( ) runs on GeneralComp {
20 while (true) {} // block forever
21 }
22
23 testcase TC_Sem_210306_running_operation_002() runs on GeneralComp system GeneralComp {
24 var GeneralComp ptc;
25 var GeneralComp ptc2;
26 ptc:=GeneralComp.create;
27 ptc2:=GeneralComp.create;
28
29 ptc.start(f1());
30 ptc2.start(f1());
31
32 ptc.kill;
33
34 // Any component running test that from two test components at least one is running or not
35 if (any component.running == true) { //ptc2 running
36 setverdict(pass);
37 } else {
38 setverdict(fail, "ptc2 should still be running");
39 }
40 }
41
42 control {
43 execute(TC_Sem_210306_running_operation_002(), 5.0);
44 }
45 }
This page took 0.037753 seconds and 5 git commands to generate.