conformance_test/positive_tests/09_test_configurations/0901_communication_ports/Sem_0901_Communication_ports_001.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:9, Ensure that the IUT correctly handles loopback message
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 // Loopback test: messagePort is a loopback port and sends (2). If receives(2) pass, else failed.
  17 module Sem_0901_Communication_ports_001{
  18
  19     type port loopbackPort message {
  20           inout integer
  21         } with {extension "internal"}
  22
  23         type component GeneralComp {
  24                   port loopbackPort messagePort
  25         }
  26
  27         testcase TC_Sem_0901_Communication_ports_001() runs on GeneralComp {
  28
  29                 connect(self:messagePort, self:messagePort);
  30
  31                 messagePort.send(2);  //can send also in-line template
  32
  33                         alt {
  34                          [] messagePort.receive(2) {
  35                                 setverdict(pass);
  36                          }
  37                          [] messagePort.receive {
  38                                 setverdict(fail);
  39                          }
  40                         }
  41         }
  42
  43         control{
  44                 execute(TC_Sem_0901_Communication_ports_001());
  45         }
  46
  47 }