conformance_test/positive_tests/21_configuration_operations/2103_test_component_operations/210305_alive_operation/Sem_210305_alive_operation_004.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.5, Test any component alive operator with multiple test components
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  *****************************************************************/
  15 // Any component alive test with two test components.
  16
  17 module Sem_210305_alive_operation_004 {
  18
  19     type component GeneralComp {
  20                 var integer v_gc:=0;
  21                 var integer v_res:=0;
  22         }
  23
  24         function f1 ( ) runs on GeneralComp {}
  25
  26     testcase TC_Sem_210305_alive_operation_004() runs on GeneralComp system GeneralComp {
  27         var GeneralComp ptc;
  28         var GeneralComp ptc2;
  29                 ptc:=GeneralComp.create alive;
  30                 ptc2:=GeneralComp.create alive;
  31
  32                 ptc.start(f1());
  33                 ptc2.start(f1());
  34         ptc.kill;
  35
  36                 if (any component.alive) {
  37         setverdict(pass);
  38         }
  39         else
  40         {
  41         setverdict(fail);
  42         }
  43
  44     }
  45
  46     control {
  47         execute(TC_Sem_210305_alive_operation_004());
  48     }
  49 }