Commit b9dcb97b authored by stancakapost's avatar stancakapost
Browse files

Adapted as described by the CR

http://forge.etsi.org/mantis/view.php?id=6651
parent e6ff149d
/*****************************************************************
** @author STF 451
** @author STF 487
** @version 0.0.1
** @purpose 1:14, Ensure that multiple calls can be send without ack using non-blocking signature
** @verdict pass accept, ttcn3verdict:pass
......@@ -8,66 +8,61 @@
module Sem_1400_procedure_signatures_004 {
signature p_Sig1_001( in charstring key ) noblock;
signature p_Sig1_001( in charstring key ) noblock;
type port remotePort procedure {
inout p_Sig1_001;
}
type port remotePort procedure {
inout p_Sig1_001;
}
type component GeneralComp {
port remotePort PCO;
type component GeneralComp {
port remotePort PCO;
var integer MyComp;
}
}
type component SystemComp {
}
function f_Server() runs on GeneralComp {
timer t_guard;
const charstring key[3] := {"My String1", "hello", "Probe string"};
t_guard.start( 5.0 );
for ( var integer i := 0; i < 3; i := i + 1 ) {
PCO.call( p_Sig1_001:{key[i]});}
setverdict(pass);
t_guard.timeout;
setverdict(fail);
}
function f_Server() runs on GeneralComp {
for (var integer i := 0; i < lengthof(key); i := i + 1) {
PCO.getcall(p_Sig1_001:{key[i]});
}
setverdict(pass);
}
function f_client() runs on GeneralComp {
for (var integer i := 0; i < lengthof(key); i := i + 1) {
PCO.call(p_Sig1_001:{key[i]}) ;
}
}
testcase TC_Sem_1400_procedure_signatures_004() runs on GeneralComp system GeneralComp {
testcase TC_Sem_1400_procedure_signatures_004() runs on GeneralComp system SystemComp {
var GeneralComp server := GeneralComp.create("RemoteProcedure Service");
var GeneralComp client := GeneralComp.create("RemoteProcedure Client");
var GeneralComp server := GeneralComp.create("RemoteProcedure Service");
var GeneralComp client := GeneralComp.create("RemoteProcedure Client");
timer t_guard;
connect(server:PCO, client:PCO);
connect(server:PCO, client:PCO);
server.start(f_Server());
server.start(f_Server());
client.start(f_client());
t_guard.start( 5.0 );
alt {
[] all component.done {}
[] t_guard.timeout {
setverdict(fail);
all component.stop;
}
}
alt {
[] client.done {
server.stop;
}
}
alt {
[] all component.done {}
}
disconnect(server:PCO);
}
disconnect(server:PCO);
}
control{
execute(TC_Sem_1400_procedure_signatures_004());
}
control{
execute(TC_Sem_1400_procedure_signatures_004(), 10.0);
}
}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment