Skip to content

GitLab

Commit e29e7c81 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega
Browse files

Merge commit 'Release1' into Release2 


Signed-off-by: Miguel Angel Reina Ortega's avatarreinaortega <miguelangel.reinaortega@etsi.org>
parents 600ba405 84c0340d
Hide whitespace changes
Inline Side-by-side
Showing with 5881 additions and 5883 deletions
LibOneM2M/OneM2M_Functions.ttcn
View file @ e29e7c81
......@@ -4848,10 +4848,8 @@ module OneM2M_Functions {
var integer i;
for(i := 4; i <= 5; i := i+1){
if(p_timestamp[i] != "0") {
v_month := v_month & p_timestamp[i];
}
}
return str2int(v_month);
} // end f_getYear
......
LibOneM2M/OneM2M_Templates.ttcn
View file @ e29e7c81
This source diff could not be displayed because it is too large. You can view the blob instead.
LibOneM2M/OneM2M_Types.ttcn
View file @ e29e7c81
......@@ -1748,16 +1748,16 @@ type union PrimitiveContent {
RequestPrimitive requestPrimitive,
DebugInfo debugInfo,
//Invalid types
AE_update_invalid aE_update_invalid,
ACP_update_invalid aCP_update_invalid,
Container_update_invalid container_update_invalid,
AE_invalid aE_invalid,
AccessControlPolicy_invalid accessControlPolicy_invalid,
Container_invalid container_invalid,
GenericInterworkingService_invalid genericInterworkingService_invalid,
Group_update_invalid group_update_invalid,
PollingChannel_update_invalid pollingChannel_update_invalid,
Schedule_update_invalid schedule_update_invalid,
Subscription_update_invalid subscription_update_invalid,
LocationPolicy_update_invalid locationPolicy_update_invalid,
TimeSeries_update_invalid timeSeries_update_invalid
Group_invalid group_invalid,
PollingChannel_invalid pollingChannel_invalid,
Schedule_invalid schedule_invalid,
Subscription_invalid subscription_invalid,
LocationPolicy_invalid locationPolicy_invalid,
TimeSeries_invalid timeSeries_invalid
}
......@@ -8329,7 +8329,7 @@ group OptionalResourceTypes {
group InvalidTypes {
type record AE_update_invalid {
type record AE_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8385,7 +8385,7 @@ group InvalidTypes {
variant (choice.choice_list[-].group_) "name as 'group'";
};
type record ACP_update_invalid {
type record AccessControlPolicy_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8418,7 +8418,7 @@ group InvalidTypes {
variant (choice.choice_list[-]) "untagged";
};
type record Container_update_invalid {
type record Container_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8511,7 +8511,7 @@ group InvalidTypes {
variant (choice.choice_list[-]) "untagged";
};
type record Group_update_invalid {
type record Group_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8561,7 +8561,7 @@ group InvalidTypes {
};
type record PollingChannel_update_invalid {
type record PollingChannel_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8578,7 +8578,7 @@ group InvalidTypes {
variant (resourceName) "attribute";
};
type record Schedule_update_invalid {
type record Schedule_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8610,7 +8610,7 @@ group InvalidTypes {
variant (choice.choice_list[-]) "untagged";
};
type record Subscription_update_invalid {
type record Subscription_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......@@ -8658,7 +8658,7 @@ group InvalidTypes {
variant (choice.choice_list[-]) "untagged";
};
type record TimeSeries_update_invalid
type record TimeSeries_invalid
{
ResourceName resourceName optional,
ResourceType resourceType optional,
......@@ -8711,7 +8711,7 @@ group InvalidTypes {
type record LocationPolicy_update_invalid {
type record LocationPolicy_invalid {
ResourceName resourceName optional,
ResourceType resourceType optional,
XSD.ID resourceID optional,
......
OneM2M_Testcases_CSE_Release_1.ttcn
View file @ e29e7c81
......@@ -6040,8 +6040,8 @@ module OneM2M_Testcases_CSE_Release_1 {
var Timestamp v_creationTime := "21001231T012345";
var template RequestPrimitive v_updateRequest := m_updateContainerBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent := {container_update_invalid := m_contentUpdateContainer_invalid};
v_updateRequest.primitiveContent.container_update_invalid.creationTime := v_creationTime;
v_updateRequest.primitiveContent := {container_invalid := m_contentUpdateContainer_invalid};
v_updateRequest.primitiveContent.container_invalid.creationTime := v_creationTime;
v_ae1.start(f_CSE_DMR_UPD_007(int3, m_createContainerBase, v_updateRequest));//Container
v_ae1.done;
......@@ -6049,8 +6049,8 @@ module OneM2M_Testcases_CSE_Release_1 {
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.container_update_invalid)) {
if(v_primitiveContentRetrieveResource.container_update_invalid.creationTime == v_creationTime){
if(ischosen(v_primitiveContentRetrieveResource.container_invalid)) {
if(v_primitiveContentRetrieveResource.container_invalid.creationTime == v_creationTime){
setverdict(fail, __SCOPE__ & ": Error: Creation Time attribute updated")
}
}
......@@ -6063,8 +6063,8 @@ module OneM2M_Testcases_CSE_Release_1 {
var Timestamp v_creationTime := "21001231T012345";
var template RequestPrimitive v_updateRequest := m_updateGroupBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent := {group_update_invalid := m_contentUpdateGroup_invalid};
v_updateRequest.primitiveContent.group_update_invalid.creationTime := v_creationTime;
v_updateRequest.primitiveContent := {group_invalid := m_contentUpdateGroup_invalid};
v_updateRequest.primitiveContent.group_invalid.creationTime := v_creationTime;
v_ae1.start(f_CSE_DMR_UPD_007(int9, m_createGroupBase, v_updateRequest));//Group
v_ae1.done;
......@@ -6072,8 +6072,8 @@ module OneM2M_Testcases_CSE_Release_1 {
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.group_update_invalid)) {
if(v_primitiveContentRetrieveResource.group_update_invalid.creationTime == v_creationTime){
if(ischosen(v_primitiveContentRetrieveResource.group_invalid)) {
if(v_primitiveContentRetrieveResource.group_invalid.creationTime == v_creationTime){
setverdict(fail, __SCOPE__ & ": Error: Creation Time attribute updated")
}
}
......@@ -6086,8 +6086,8 @@ module OneM2M_Testcases_CSE_Release_1 {
var Timestamp v_creationTime := "21001231T012345";
var template RequestPrimitive v_updateRequest := m_updateAcpBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent := {aCP_update_invalid := m_contentUpdateAcp_invalid};
v_updateRequest.primitiveContent.aCP_update_invalid.creationTime := v_creationTime;
v_updateRequest.primitiveContent := {accessControlPolicy_invalid := m_contentUpdateAcp_invalid};
v_updateRequest.primitiveContent.accessControlPolicy_invalid.creationTime := v_creationTime;
v_ae1.start(f_CSE_DMR_UPD_007(int1, m_createAcpBase, v_updateRequest));//AccessControlPolicy
v_ae1.done;
......@@ -6095,8 +6095,8 @@ module OneM2M_Testcases_CSE_Release_1 {
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.aCP_update_invalid)) {
if(v_primitiveContentRetrieveResource.aCP_update_invalid.creationTime == v_creationTime){
if(ischosen(v_primitiveContentRetrieveResource.accessControlPolicy_invalid)) {
if(v_primitiveContentRetrieveResource.accessControlPolicy_invalid.creationTime == v_creationTime){
setverdict(fail, __SCOPE__ & ": Error: Creation Time attribute updated")
}
}
......@@ -6109,8 +6109,8 @@ module OneM2M_Testcases_CSE_Release_1 {
var Timestamp v_creationTime := "21001231T012345";
var template RequestPrimitive v_updateRequest := m_updateSubscriptionBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent := {subscription_update_invalid := m_contentUpdateSubscription_invalid};
v_updateRequest.primitiveContent.subscription_update_invalid.creationTime := v_creationTime;
v_updateRequest.primitiveContent := {subscription_invalid := m_contentUpdateSubscription_invalid};
v_updateRequest.primitiveContent.subscription_invalid.creationTime := v_creationTime;
v_ae1.start(f_CSE_DMR_UPD_007(int23, m_createSubscriptionBase, v_updateRequest));//Subscription
v_ae1.done;
......@@ -6118,8 +6118,8 @@ module OneM2M_Testcases_CSE_Release_1 {
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.subscription_update_invalid)) {
if(v_primitiveContentRetrieveResource.subscription_update_invalid.creationTime == v_creationTime){
if(ischosen(v_primitiveContentRetrieveResource.subscription_invalid)) {
if(v_primitiveContentRetrieveResource.subscription_invalid.creationTime == v_creationTime){
setverdict(fail, __SCOPE__ & ": Error: Creation Time attribute updated")
}
}
......@@ -6222,9 +6222,9 @@ module OneM2M_Testcases_CSE_Release_1 {
var XSD.PositiveInteger v_expirationCounter := 1;
var template RequestPrimitive v_createRequest := m_createContainerBase;
var template RequestPrimitive v_updateRequest := m_updateContainerBase;
v_updateRequest.primitiveContent := {container_update_invalid := m_contentUpdateContainer_invalid};
v_updateRequest.primitiveContent := {container_invalid := m_contentUpdateContainer_invalid};
v_updateRequest.primitiveContent.container_update_invalid.expirationCounter := v_expirationCounter;
v_updateRequest.primitiveContent.container_invalid.expirationCounter := v_expirationCounter;
v_ae1.start(f_CSE_DMR_UPD_009(int3, v_createRequest, v_updateRequest));//Container
v_ae1.done;
......@@ -6236,9 +6236,9 @@ module OneM2M_Testcases_CSE_Release_1 {
var XSD.PositiveInteger v_expirationCounter := 1;
var template RequestPrimitive v_createRequest := m_createGroupBase;
var template RequestPrimitive v_updateRequest := m_updateGroupBase;
v_updateRequest.primitiveContent := {group_update_invalid := m_contentUpdateGroup_invalid};
v_updateRequest.primitiveContent := {group_invalid := m_contentUpdateGroup_invalid};
v_updateRequest.primitiveContent.group_update_invalid.expirationCounter := v_expirationCounter;
v_updateRequest.primitiveContent.group_invalid.expirationCounter := v_expirationCounter;
v_ae1.start(f_CSE_DMR_UPD_009(int9, v_createRequest, v_updateRequest));//Group
v_ae1.done;
......@@ -6250,9 +6250,9 @@ module OneM2M_Testcases_CSE_Release_1 {
var XSD.PositiveInteger v_expirationCounter := 1;
var template RequestPrimitive v_createRequest := m_createAcpBase;
var template RequestPrimitive v_updateRequest := m_updateAcpBase;
v_updateRequest.primitiveContent := {aCP_update_invalid := m_contentUpdateAcp_invalid};
v_updateRequest.primitiveContent := {accessControlPolicy_invalid := m_contentUpdateAcp_invalid};
v_updateRequest.primitiveContent.aCP_update_invalid.expirationCounter := v_expirationCounter;
v_updateRequest.primitiveContent.accessControlPolicy_invalid.expirationCounter := v_expirationCounter;
v_ae1.start(f_CSE_DMR_UPD_009(int1, v_createRequest, v_updateRequest));//AccessControlPolicy
v_ae1.done;
......@@ -6264,9 +6264,9 @@ module OneM2M_Testcases_CSE_Release_1 {
var XSD.NonNegativeInteger v_maxNrOfInstances := 5;
var template RequestPrimitive v_createRequest := m_createSubscriptionBase;
var template RequestPrimitive v_updateRequest := m_updateSubscriptionBase;
v_updateRequest.primitiveContent := {subscription_update_invalid := m_contentUpdateSubscription_invalid};
v_updateRequest.primitiveContent := {subscription_invalid := m_contentUpdateSubscription_invalid};
v_updateRequest.primitiveContent.subscription_update_invalid.maxNrOfInstances := v_maxNrOfInstances;
v_updateRequest.primitiveContent.subscription_invalid.maxNrOfInstances := v_maxNrOfInstances;
v_ae1.start(f_CSE_DMR_UPD_009(int23, v_createRequest, v_updateRequest));//Subscription
v_ae1.done;
......
OneM2M_Testcases_CSE_Release_2.ttcn
View file @ e29e7c81
......@@ -1353,8 +1353,8 @@ module OneM2M_Testcases_CSE_Release_2 {
var Timestamp v_creationTime := "21001231T012345";
var template RequestPrimitive v_updateRequest := m_updatePollingChannelBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent := {pollingChannel_update_invalid := m_contentUpdatePollingChannel_invalid};
v_updateRequest.primitiveContent.pollingChannel_update_invalid.creationTime := v_creationTime;
v_updateRequest.primitiveContent := {pollingChannel_invalid := m_contentUpdatePollingChannel_invalid};
v_updateRequest.primitiveContent.pollingChannel_invalid.creationTime := v_creationTime;
v_ae1.start(f_CSE_DMR_UPD_007(int15, m_createPollingChannelBase, v_updateRequest));//PollingChannel
v_ae1.done;
......@@ -1362,8 +1362,8 @@ module OneM2M_Testcases_CSE_Release_2 {
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.pollingChannel_update_invalid)) {
if(v_primitiveContentRetrieveResource.pollingChannel_update_invalid.creationTime == v_creationTime){
if(ischosen(v_primitiveContentRetrieveResource.pollingChannel_invalid)) {
if(v_primitiveContentRetrieveResource.pollingChannel_invalid.creationTime == v_creationTime){
setverdict(fail, __SCOPE__ & ": Error: Creation Time attribute updated")
}
}
......@@ -1384,9 +1384,9 @@ module OneM2M_Testcases_CSE_Release_2 {
var XSD.PositiveInteger v_expirationCounter := 1;
var template RequestPrimitive v_createRequest := m_createPollingChannelBase;
var template RequestPrimitive v_updateRequest := m_updatePollingChannelBase;
v_updateRequest.primitiveContent := {pollingChannel_update_invalid := m_contentUpdatePollingChannel_invalid};
v_updateRequest.primitiveContent := {pollingChannel_invalid := m_contentUpdatePollingChannel_invalid};
v_updateRequest.primitiveContent.pollingChannel_update_invalid.expirationCounter := v_expirationCounter;
v_updateRequest.primitiveContent.pollingChannel_invalid.expirationCounter := v_expirationCounter;
v_ae1.start(f_CSE_DMR_UPD_009(int15, v_createRequest, v_updateRequest));//PollingChannel
v_ae1.done;
......
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