Skip to content
Snippets Groups Projects
Commit c553fb27 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega
Browse files

Merge branch 'STF531-REG-CRE' of https://git.onem2m.org/TST/ATS into STF531-REG-CRE

parents 4f8efc82 06bb55d3
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
LibOneM2M/OneM2M_Functions.ttcn
+ 2
− 2
View file @ c553fb27
...@@ -173,7 +173,7 @@ module OneM2M_Functions { ...@@ -173,7 +173,7 @@ module OneM2M_Functions {
vc_testSystemRole := e_cse; vc_testSystemRole := e_cse;
// Map // Map
map(self:mcaPort, system:mcaPort);//TODO To be consistent, we should use mcaPortIn for AE testing map(self:mcaPortIn, system:mcaPortIn);//TODO To be consistent, we should use mcaPortIn for AE testing
map(self:acPort, system:acPort); map(self:acPort, system:acPort);
map(self:utPort, system:utPort); map(self:utPort, system:utPort);
activate(a_default()); activate(a_default());
...@@ -256,7 +256,7 @@ module OneM2M_Functions { ...@@ -256,7 +256,7 @@ module OneM2M_Functions {
*/ */
function f_cf03Down() runs on CseSimu { function f_cf03Down() runs on CseSimu {
unmap(self:mcaPort, system:mcaPort); unmap(self:mcaPortIn, system:mcaPortIn);
unmap(self:utPort, system:utPort); unmap(self:utPort, system:utPort);
unmap(self:acPort, system:acPort); unmap(self:acPort, system:acPort);
} }
......
LibOneM2M/OneM2M_TestSystem.ttcn
+ 1
− 0
View file @ c553fb27
...@@ -55,6 +55,7 @@ module OneM2M_TestSystem { ...@@ -55,6 +55,7 @@ module OneM2M_TestSystem {
type component CseSimu extends Tester { type component CseSimu extends Tester {
port OneM2MPort mcaPort; port OneM2MPort mcaPort;
port OneM2MPort mcaPortIn;
port OneM2MPort mccPort; port OneM2MPort mccPort;
port OneM2MPort mccPortIn; port OneM2MPort mccPortIn;
......
OneM2M_Testcases_AE.ttcn
+ 239
− 233
View file @ c553fb27
...@@ -89,14 +89,14 @@ module OneM2M_Testcases_AE { ...@@ -89,14 +89,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_createContainer(omit,v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_createContainer(omit,v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request received successfuly"); setverdict(pass, __SCOPE__, " : Container creation request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while creating container"); setverdict(fail, __SCOPE__, " : Error while creating container");
stop; stop;
...@@ -172,14 +172,14 @@ module OneM2M_Testcases_AE { ...@@ -172,14 +172,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_createContainer(omit,v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_createContainer(omit,v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request received successfuly"); setverdict(pass, __SCOPE__, " : Container creation request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while creating container"); setverdict(fail, __SCOPE__, " : Error while creating container");
stop; stop;
...@@ -263,14 +263,14 @@ module OneM2M_Testcases_AE { ...@@ -263,14 +263,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_updateContainer(omit,v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_updateContainer(omit,v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly"); setverdict(pass, __SCOPE__, " : Container update request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container"); setverdict(fail, __SCOPE__, " : Error while updating container");
stop; stop;
...@@ -348,14 +348,14 @@ module OneM2M_Testcases_AE { ...@@ -348,14 +348,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_updateContainer(omit,v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_updateContainer(omit,v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly"); setverdict(pass, __SCOPE__, " : Container update request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container"); setverdict(fail, __SCOPE__, " : Error while updating container");
stop; stop;
...@@ -439,14 +439,14 @@ module OneM2M_Testcases_AE { ...@@ -439,14 +439,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_retrieveResource(v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly"); setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while retrieving container"); setverdict(fail, __SCOPE__, " : Error while retrieving container");
stop; stop;
...@@ -525,14 +525,14 @@ module OneM2M_Testcases_AE { ...@@ -525,14 +525,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_retrieveResource(v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly"); setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while retrieving container"); setverdict(fail, __SCOPE__, " : Error while retrieving container");
stop; stop;
...@@ -615,14 +615,14 @@ module OneM2M_Testcases_AE { ...@@ -615,14 +615,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_deleteRequest(v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly"); setverdict(pass, __SCOPE__, " : Container update request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container"); setverdict(fail, __SCOPE__, " : Error while updating container");
stop; stop;
...@@ -701,14 +701,14 @@ module OneM2M_Testcases_AE { ...@@ -701,14 +701,14 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt { alt {
[] mcaPort.receive(mw_request(mw_deleteRequest(v_utRequest.to_))) { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_utRequest.to_))) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly"); setverdict(pass, __SCOPE__, " : Container update request received successfuly");
v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit));
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) { [] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container"); setverdict(fail, __SCOPE__, " : Error while updating container");
stop; stop;
...@@ -742,7 +742,7 @@ module OneM2M_Testcases_AE { ...@@ -742,7 +742,7 @@ module OneM2M_Testcases_AE {
//primitives for utPort //primitives for utPort
var template UtTriggerPrimitive v_utRequest := m_createAe("UNINITIALIZED"); var template UtTriggerPrimitive v_utRequest := m_createAe("UNINITIALIZED");
//primitives for mcaPort //primitives for mcaPortIn
var MsgIn v_request; var MsgIn v_request;
var ResponsePrimitive v_responsePrimtive; var ResponsePrimitive v_responsePrimtive;
var charstring v_action := "Please, send a valid AE CREATE Registration Request"; var charstring v_action := "Please, send a valid AE CREATE Registration Request";
...@@ -755,16 +755,16 @@ module OneM2M_Testcases_AE { ...@@ -755,16 +755,16 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createAe)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!"); setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
//v_responsePrimtive := valueof(m_responsePrimitiveTemp(int2000, omit)); //v_responsePrimtive := valueof(m_responsePrimitiveTemp(int2000, omit));
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!"); setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!");
} }
...@@ -886,7 +886,7 @@ module OneM2M_Testcases_AE { ...@@ -886,7 +886,7 @@ module OneM2M_Testcases_AE {
function f_AE_REG_CRE_002(template UtTriggerPrimitive p_utRequest, template RequestPrimitive p_response, in charstring p_action) runs on CseSimu { function f_AE_REG_CRE_002(template UtTriggerPrimitive p_utRequest, template RequestPrimitive p_response, in charstring p_action) runs on CseSimu {
//primitives for mcaPort //primitives for mcaPortIn
var MsgIn v_request; var MsgIn v_request;
var ResponsePrimitive v_responsePrimtive; var ResponsePrimitive v_responsePrimtive;
...@@ -898,16 +898,16 @@ module OneM2M_Testcases_AE { ...@@ -898,16 +898,16 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(p_response)) -> value v_request { [] mcaPortIn.receive(mw_request(p_response)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!"); setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
//v_responsePrimtive := valueof(m_responsePrimitiveTemp(int2000, omit)); //v_responsePrimtive := valueof(m_responsePrimitiveTemp(int2000, omit));
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including the optional attribute!"); setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including the optional attribute!");
} }
...@@ -949,7 +949,7 @@ module OneM2M_Testcases_AE { ...@@ -949,7 +949,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_deleteRequest)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_deleteRequest)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE deregistration request is accepted!"); setverdict(pass, __SCOPE__, " : AE deregistration request is accepted!");
...@@ -957,9 +957,9 @@ module OneM2M_Testcases_AE { ...@@ -957,9 +957,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while AE deregistration"); setverdict(fail, __SCOPE__, " : Error while AE deregistration");
} }
...@@ -1000,7 +1000,7 @@ module OneM2M_Testcases_AE { ...@@ -1000,7 +1000,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createContainer)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createContainer)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request is accepted!"); setverdict(pass, __SCOPE__, " : Container creation request is accepted!");
...@@ -1008,9 +1008,9 @@ module OneM2M_Testcases_AE { ...@@ -1008,9 +1008,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container creation request is rejected due to not including mandatory attributes!!"); setverdict(fail, __SCOPE__, " : Container creation request is rejected due to not including mandatory attributes!!");
} }
...@@ -1045,7 +1045,7 @@ module OneM2M_Testcases_AE { ...@@ -1045,7 +1045,7 @@ module OneM2M_Testcases_AE {
alt{ alt{
//receive MsgIn requestPrimitive //receive MsgIn requestPrimitive
[] mcaPort.receive(mw_request(mw_createContentInstance)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createContentInstance)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : ContentInstance creation request is accepted!!"); setverdict(pass, __SCOPE__, " : ContentInstance creation request is accepted!!");
...@@ -1053,10 +1053,10 @@ module OneM2M_Testcases_AE { ...@@ -1053,10 +1053,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : ContentInstance creation request is rejected due to not including mandatory attributes!!"); setverdict(fail, __SCOPE__, " : ContentInstance creation request is rejected due to not including mandatory attributes!!");
} }
...@@ -1136,7 +1136,7 @@ module OneM2M_Testcases_AE { ...@@ -1136,7 +1136,7 @@ module OneM2M_Testcases_AE {
alt{ alt{
//receive MsgIn requestPrimitive //receive MsgIn requestPrimitive
[] mcaPort.receive(mw_request(p_request)) { [] mcaPortIn.receive(mw_request(p_request)) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : ContentInstance creation request is accepted!!"); setverdict(pass, __SCOPE__, " : ContentInstance creation request is accepted!!");
...@@ -1144,10 +1144,10 @@ module OneM2M_Testcases_AE { ...@@ -1144,10 +1144,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : ContentInstance creation request is rejected due to not including the attribute!"); setverdict(fail, __SCOPE__, " : ContentInstance creation request is rejected due to not including the attribute!");
} }
...@@ -1267,7 +1267,7 @@ module OneM2M_Testcases_AE { ...@@ -1267,7 +1267,7 @@ module OneM2M_Testcases_AE {
alt{ alt{
//receive MsgIn requestPrimitive //receive MsgIn requestPrimitive
[] mcaPort.receive(mw_request(p_request)) { [] mcaPortIn.receive(mw_request(p_request)) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request is accepted!!"); setverdict(pass, __SCOPE__, " : Container creation request is accepted!!");
...@@ -1275,10 +1275,10 @@ module OneM2M_Testcases_AE { ...@@ -1275,10 +1275,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container creation request is rejected due to not including the attribute!"); setverdict(fail, __SCOPE__, " : Container creation request is rejected due to not including the attribute!");
} }
...@@ -1328,7 +1328,7 @@ module OneM2M_Testcases_AE { ...@@ -1328,7 +1328,7 @@ module OneM2M_Testcases_AE {
alt{ alt{
//receive MsgIn requestPrimitive //receive MsgIn requestPrimitive
[] mcaPort.receive(mw_request(p_request)) -> value v_request { [] mcaPortIn.receive(mw_request(p_request)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request is accepted!!"); setverdict(pass, __SCOPE__, " : Container update request is accepted!!");
...@@ -1339,11 +1339,11 @@ module OneM2M_Testcases_AE { ...@@ -1339,11 +1339,11 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2004, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container update request is rejected due to not including the attribute!"); setverdict(fail, __SCOPE__, " : Container update request is rejected due to not including the attribute!");
} }
...@@ -1435,7 +1435,7 @@ module OneM2M_Testcases_AE { ...@@ -1435,7 +1435,7 @@ module OneM2M_Testcases_AE {
function f_AE_DMR_UPD_002(template UtTriggerPrimitive p_utRequestTestBody, in charstring p_action) runs on CseSimu { function f_AE_DMR_UPD_002(template UtTriggerPrimitive p_utRequestTestBody, in charstring p_action) runs on CseSimu {
//primitives for mcaPort //primitives for mcaPortIn
var MsgIn v_request; var MsgIn v_request;
var ResponsePrimitive v_responsePrimtive; var ResponsePrimitive v_responsePrimtive;
var integer v_aeIndex := -1; var integer v_aeIndex := -1;
...@@ -1458,15 +1458,15 @@ module OneM2M_Testcases_AE { ...@@ -1458,15 +1458,15 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(v_expectedUpdateRequestAe)) -> value v_request { [] mcaPortIn.receive(mw_request(v_expectedUpdateRequestAe)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration update request is accepted!"); setverdict(pass, __SCOPE__, " : AE registration update request is accepted!");
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(?)) -> value v_request { [] mcaPortIn.receive(mw_request(?)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE registration update request is rejected due to not including the optional attribute!"); setverdict(fail, __SCOPE__, " : AE registration update request is rejected due to not including the optional attribute!");
} }
...@@ -1563,7 +1563,7 @@ module OneM2M_Testcases_AE { ...@@ -1563,7 +1563,7 @@ module OneM2M_Testcases_AE {
alt{ alt{
//receive MsgIn requestPrimitive //receive MsgIn requestPrimitive
[] mcaPort.receive(mw_request(p_request)) { [] mcaPortIn.receive(mw_request(p_request)) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request is accepted!!"); setverdict(pass, __SCOPE__, " : Container update request is accepted!!");
...@@ -1571,10 +1571,10 @@ module OneM2M_Testcases_AE { ...@@ -1571,10 +1571,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container update request is rejected due to not including the attribute!"); setverdict(fail, __SCOPE__, " : Container update request is rejected due to not including the attribute!");
} }
...@@ -1612,6 +1612,12 @@ module OneM2M_Testcases_AE { ...@@ -1612,6 +1612,12 @@ module OneM2M_Testcases_AE {
f_AE_DMR_RET_001(int2, f_getResourceAddress(v_auxInteger),v_action); f_AE_DMR_RET_001(int2, f_getResourceAddress(v_auxInteger),v_action);
} }
testcase TC_AE_DMR_RET_001_CNT() runs on CseSimu system AeSystem {
var integer v_auxInteger := f_setResource(valueof(m_primitiveContentContainer(m_contentCreateContainer())), int3);
var charstring v_action := "Please, send a valid RETRIEVE Request for Container";
f_AE_DMR_RET_001(int3, f_getResourceAddress(v_auxInteger),v_action);
}
function f_AE_DMR_RET_001(ResourceType p_resourceType, XSD.AnyURI p_address, in charstring p_action) runs on CseSimu { function f_AE_DMR_RET_001(ResourceType p_resourceType, XSD.AnyURI p_address, in charstring p_action) runs on CseSimu {
//variables //variables
...@@ -1629,7 +1635,7 @@ module OneM2M_Testcases_AE { ...@@ -1629,7 +1635,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_retrieveResource(p_address))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_retrieveResource(p_address))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!"); setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!");
...@@ -1637,10 +1643,10 @@ module OneM2M_Testcases_AE { ...@@ -1637,10 +1643,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while retrieving ressource !"); setverdict(fail, __SCOPE__, " : error while retrieving ressource !");
} }
...@@ -1679,7 +1685,7 @@ module OneM2M_Testcases_AE { ...@@ -1679,7 +1685,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_retrieveResource(v_address & "/" & c_resourceShortNameOldest))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_address & "/" & c_resourceShortNameOldest))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve attribute oldest request is accepted!"); setverdict(pass, __SCOPE__, " : retrieve attribute oldest request is accepted!");
...@@ -1687,10 +1693,10 @@ module OneM2M_Testcases_AE { ...@@ -1687,10 +1693,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while retrieving attribute !"); setverdict(fail, __SCOPE__, " : error while retrieving attribute !");
} }
...@@ -1727,7 +1733,7 @@ module OneM2M_Testcases_AE { ...@@ -1727,7 +1733,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_retrieveResource(v_address & "/" & c_resourceShortNameLatest))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_address & "/" & c_resourceShortNameLatest))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve attribute latest request is accepted!!"); setverdict(pass, __SCOPE__, " : retrieve attribute latest request is accepted!!");
...@@ -1735,10 +1741,10 @@ module OneM2M_Testcases_AE { ...@@ -1735,10 +1741,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while retrieving attribute !"); setverdict(fail, __SCOPE__, " : error while retrieving attribute !");
} }
...@@ -1776,7 +1782,7 @@ module OneM2M_Testcases_AE { ...@@ -1776,7 +1782,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_retrieveResource(v_address))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_address))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!"); setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!");
...@@ -1784,10 +1790,10 @@ module OneM2M_Testcases_AE { ...@@ -1784,10 +1790,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while retrieving ressource !"); setverdict(fail, __SCOPE__, " : error while retrieving ressource !");
} }
...@@ -1825,7 +1831,7 @@ module OneM2M_Testcases_AE { ...@@ -1825,7 +1831,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_retrieveResource(v_address))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_retrieveResource(v_address))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!"); setverdict(pass, __SCOPE__, " : retrieve ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!");
...@@ -1833,10 +1839,10 @@ module OneM2M_Testcases_AE { ...@@ -1833,10 +1839,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2000, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while retrieving ressource !"); setverdict(fail, __SCOPE__, " : error while retrieving ressource !");
} }
...@@ -1877,7 +1883,7 @@ module OneM2M_Testcases_AE { ...@@ -1877,7 +1883,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_deleteRequest(v_address & "/" & c_resourceShortNameOldest))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_address & "/" & c_resourceShortNameOldest))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : delete attribute oldest request is accepted!!"); setverdict(pass, __SCOPE__, " : delete attribute oldest request is accepted!!");
...@@ -1885,10 +1891,10 @@ module OneM2M_Testcases_AE { ...@@ -1885,10 +1891,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while deleting attribute !"); setverdict(fail, __SCOPE__, " : error while deleting attribute !");
} }
...@@ -1925,7 +1931,7 @@ module OneM2M_Testcases_AE { ...@@ -1925,7 +1931,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_deleteRequest(v_address & "/" & c_resourceShortNameLatest))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_address & "/" & c_resourceShortNameLatest))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : delete attribute latest request is accepted!!"); setverdict(pass, __SCOPE__, " : delete attribute latest request is accepted!!");
...@@ -1933,10 +1939,10 @@ module OneM2M_Testcases_AE { ...@@ -1933,10 +1939,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while deleting attribute !"); setverdict(fail, __SCOPE__, " : error while deleting attribute !");
} }
...@@ -1974,7 +1980,7 @@ module OneM2M_Testcases_AE { ...@@ -1974,7 +1980,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_deleteRequest(v_address))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_address))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : delete ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!"); setverdict(pass, __SCOPE__, " : delete ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!");
...@@ -1982,10 +1988,10 @@ module OneM2M_Testcases_AE { ...@@ -1982,10 +1988,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while deleting ressource !"); setverdict(fail, __SCOPE__, " : error while deleting ressource !");
} }
...@@ -2023,7 +2029,7 @@ module OneM2M_Testcases_AE { ...@@ -2023,7 +2029,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_deleteRequest(v_address))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_deleteRequest(v_address))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : delete ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!"); setverdict(pass, __SCOPE__, " : delete ressource type " & int2str(enum2int(v_request.primitive.requestPrimitive.resourceType)) & " request is accepted!!");
...@@ -2031,10 +2037,10 @@ module OneM2M_Testcases_AE { ...@@ -2031,10 +2037,10 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2002, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
tc_ac.stop; tc_ac.stop;
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : error while deleting ressource !"); setverdict(fail, __SCOPE__, " : error while deleting ressource !");
} }
...@@ -2079,7 +2085,7 @@ module OneM2M_Testcases_AE { ...@@ -2079,7 +2085,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createSubscription)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createSubscription)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!"); setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!");
...@@ -2087,9 +2093,9 @@ module OneM2M_Testcases_AE { ...@@ -2087,9 +2093,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!"); setverdict(fail, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!");
} }
...@@ -2240,7 +2246,7 @@ module OneM2M_Testcases_AE { ...@@ -2240,7 +2246,7 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(p_request)) -> value v_request { [] mcaPortIn.receive(mw_request(p_request)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!"); setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!");
...@@ -2248,9 +2254,9 @@ module OneM2M_Testcases_AE { ...@@ -2248,9 +2254,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Subscription creation request is rejected due to not including the optional attribute!"); setverdict(fail, __SCOPE__, " : Subscription creation request is rejected due to not including the optional attribute!");
} }
...@@ -2291,15 +2297,15 @@ module OneM2M_Testcases_AE { ...@@ -2291,15 +2297,15 @@ module OneM2M_Testcases_AE {
f_sendUtPrimitive(v_utRequest,v_action); f_sendUtPrimitive(v_utRequest,v_action);
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createAe)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!"); setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(inconc, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!"); setverdict(inconc, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!");
stop; stop;
...@@ -2319,7 +2325,7 @@ module OneM2M_Testcases_AE { ...@@ -2319,7 +2325,7 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createSubscription)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createSubscription)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!"); setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!");
...@@ -2327,9 +2333,9 @@ module OneM2M_Testcases_AE { ...@@ -2327,9 +2333,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(inconc, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!"); setverdict(inconc, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!");
} }
...@@ -2340,15 +2346,15 @@ module OneM2M_Testcases_AE { ...@@ -2340,15 +2346,15 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
mcaPort.send(m_request(m_notifyRequest)); mcaPortIn.send(m_request(m_notifyRequest));
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_response(mw_responsePrimitiveOK)) { [] mcaPortIn.receive(mw_response(mw_responsePrimitiveOK)) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Notification response is accepted!"); setverdict(pass, __SCOPE__, " : Notification response is accepted!");
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Notification response is rejected due to not including mandatory attributes!"); setverdict(fail, __SCOPE__, " : Notification response is rejected due to not including mandatory attributes!");
} }
...@@ -2382,15 +2388,15 @@ module OneM2M_Testcases_AE { ...@@ -2382,15 +2388,15 @@ module OneM2M_Testcases_AE {
f_sendUtPrimitive(v_utRequest,v_action); f_sendUtPrimitive(v_utRequest,v_action);
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createAe)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!"); setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(inconc, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!"); setverdict(inconc, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!");
stop; stop;
...@@ -2410,7 +2416,7 @@ module OneM2M_Testcases_AE { ...@@ -2410,7 +2416,7 @@ module OneM2M_Testcases_AE {
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_request(mw_createSubscription)) -> value v_request { [] mcaPortIn.receive(mw_request(mw_createSubscription)) -> value v_request {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!"); setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!");
...@@ -2418,9 +2424,9 @@ module OneM2M_Testcases_AE { ...@@ -2418,9 +2424,9 @@ module OneM2M_Testcases_AE {
v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit)); v_responsePrimtive := valueof(m_responsePrimitive(int2001, "To_be_defined", omit));
//send back responsePrimitive //send back responsePrimitive
mcaPort.send(m_response(v_responsePrimtive)); mcaPortIn.send(m_response(v_responsePrimtive));
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(inconc, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!"); setverdict(inconc, __SCOPE__, " : Subscription creation request is rejected due to not including mandatory attributes!!");
} }
...@@ -2431,15 +2437,15 @@ module OneM2M_Testcases_AE { ...@@ -2431,15 +2437,15 @@ module OneM2M_Testcases_AE {
//Test behavior //Test behavior
mcaPort.send(m_request(m_notifyAggregatedRequest)); mcaPortIn.send(m_request(m_notifyAggregatedRequest));
tc_ac.start; tc_ac.start;
alt{ alt{
[] mcaPort.receive(mw_response(mw_responsePrimitiveOK)) { [] mcaPortIn.receive(mw_response(mw_responsePrimitiveOK)) {
tc_ac.stop; tc_ac.stop;
setverdict(pass, __SCOPE__, " : Notification response is accepted!"); setverdict(pass, __SCOPE__, " : Notification response is accepted!");
} }
[] mcaPort.receive { [] mcaPortIn.receive {
tc_ac.stop; tc_ac.stop;
setverdict(fail, __SCOPE__, " : Notification response is rejected due to not including mandatory attributes!"); setverdict(fail, __SCOPE__, " : Notification response is rejected due to not including mandatory attributes!");
} }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment