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
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:21.3.3, restarting explicitly killed alive component
13 ** @verdict pass reject
14 *****************************************************************/
16 // The following requirements are tested:
17 // The kill operation applied on a test component stops the execution of the currently
18 // running behaviour - if any - of that component and frees all resources associated
19 // to it (including all port connections of the killed component) and removes the
20 // component from the test system.
22 module NegSem_210304_kill_test_component_002 {
26 } with {extension "internal"}
28 type component GeneralComp {
32 function f() runs on GeneralComp {
36 testcase TC_NegSem_210304_kill_test_component_002() runs on GeneralComp system GeneralComp {
37 var GeneralComp ptc := GeneralComp.create alive;
45 execute(TC_NegSem_210304_kill_test_component_002());