type component tester {
  port testPort device_1;
  port testPort device_2;
}

function f_send( in testport port ,in OCTETSTRING msg) runs on tester {
    port.send( msg);
}
   

function f_send( in integer p_portN ,in OCTETSTRING msg) runs on tester {
    if (p_portN == 1){
        device_1.send(msg);
    }else{
         device_2.send(msg);
    }
}

module test
{

type port testPort message {
    inout octetstring;
} 

type component tester {
  port testPort device_1;
  port testPort device_2;
}

function f_send( testPort p ,in octetstring m) runs on tester {
    p.send( m);
}

testcase tc() runs on tester
{
    map(mtc:device_1, system:device_1);
    map(mtc:device_2, system:device_2);
    f_send(device_1, '0123'O);
    f_send(device_2, '2345'O);
}

control
{
    execute(tc());
}

}