Adaptation of test cases transformed into permutations

Signed-off-by: Miguel Angel Reina Ortega's avatarreinaortega <miguelangel.reinaortega@etsi.org>
parent b8404c32
......@@ -115,7 +115,7 @@ module OneM2M_TestControl_IN_profile {
if(true) {execute (TC_CSE_DMR_CRE_001_CNT_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_002_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_003_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_007 ());}
if(true) {execute (TC_CSE_DMR_CRE_007_CNT_CIN ());}
if(true) {execute (TC_CSE_DMR_CRE_008 ());}
if(true) {execute (TC_CSE_DMR_CRE_009 ());}
if(true) {execute (TC_CSE_DMR_CRE_010 ());}
......@@ -130,7 +130,7 @@ module OneM2M_TestControl_IN_profile {
if(true) {execute (TC_CSE_DMR_UPD_005());}
if(true) {execute (TC_CSE_DMR_UPD_007_CNT_CT());}
if(true) {execute (TC_CSE_DMR_UPD_009_CNT_EXC());}
if(true) {execute (TC_CSE_DMR_UPD_010 ());}
if(true) {execute (TC_CSE_DMR_UPD_010_CNT ());}
if(true) {execute (TC_CSE_DMR_UPD_016_CNT_ET());}
if(true) {execute (TC_CSE_DMR_DEL_001_CNT());}
if(true) {execute (TC_CSE_DMR_DEL_005 ());}
......@@ -147,7 +147,7 @@ module OneM2M_TestControl_IN_profile {
if(true) {execute (TC_CSE_DMR_CRE_005_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_006_MBS());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_CRE_012_CNT_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_013());}
if(true) {execute (TC_CSE_DMR_CRE_013_CNT_CIN());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_UPD_014_CNT_MBS());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_UPD_015_CNT_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_005_MIA());}
......@@ -159,7 +159,7 @@ module OneM2M_TestControl_IN_profile {
//CE_DMR_00002
if(true) {execute (TC_CSE_DMR_CRE_001_CIN_CNT());}
if(true) {execute (TC_CSE_DMR_RET_001_CIN());}
if(true) {execute (TC_CSE_DMR_UPD_011());}
if(true) {execute (TC_CSE_DMR_UPD_011_CNT_CIN());}
if(true) {execute (TC_CSE_DMR_DEL_001_CIN());}
if(PICS_CIN_LBL) {execute (TC_CSE_DMR_CRE_012_CIN_LBL());}
if(PICS_CIN_CR) {execute (TC_CSE_DMR_CRE_012_CIN_CR());}
......
......@@ -138,7 +138,7 @@ module OneM2M_TestControl_MN_profile {
if(true) {execute (TC_CSE_DMR_CRE_001_CNT_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_002_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_003_CNT());}
if(true) {execute (TC_CSE_DMR_CRE_007 ());}
if(true) {execute (TC_CSE_DMR_CRE_007_CNT_CIN ());}
if(true) {execute (TC_CSE_DMR_CRE_008 ());}
if(true) {execute (TC_CSE_DMR_CRE_009 ());}
if(true) {execute (TC_CSE_DMR_CRE_010 ());}
......@@ -153,7 +153,7 @@ module OneM2M_TestControl_MN_profile {
if(true) {execute (TC_CSE_DMR_UPD_005());}
if(true) {execute (TC_CSE_DMR_UPD_007_CNT_CT());}
if(true) {execute (TC_CSE_DMR_UPD_009_CNT_EXC());}
if(true) {execute (TC_CSE_DMR_UPD_010());}
if(true) {execute (TC_CSE_DMR_UPD_010_CNT());}
if(true) {execute (TC_CSE_DMR_UPD_016_CNT_ET());}
if(true) {execute (TC_CSE_DMR_DEL_001_CNT());}
if(true) {execute (TC_CSE_DMR_DEL_005 ());}
......@@ -170,7 +170,7 @@ module OneM2M_TestControl_MN_profile {
if(true) {execute (TC_CSE_DMR_CRE_005_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_006_MBS());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_CRE_012_CNT_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_013());}
if(true) {execute (TC_CSE_DMR_CRE_013_CNT_CIN());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_UPD_014_CNT_MBS());}
if(PICS_CNT_MBS) {execute (TC_CSE_DMR_UPD_015_CNT_MBS());}
if(true) {execute (TC_CSE_DMR_CRE_005_MIA());}
......@@ -182,7 +182,7 @@ module OneM2M_TestControl_MN_profile {
//CE_DMR_00002
if(true) {execute (TC_CSE_DMR_CRE_001_CIN_CNT());}
if(true) {execute (TC_CSE_DMR_RET_001_CIN());}
if(true) {execute (TC_CSE_DMR_UPD_011());}
if(true) {execute (TC_CSE_DMR_UPD_011_CNT_CIN());}
if(true) {execute (TC_CSE_DMR_DEL_001_CIN());}
if(PICS_CIN_LBL) {execute (TC_CSE_DMR_CRE_012_CIN_LBL());}
if(PICS_CIN_CR) {execute (TC_CSE_DMR_CRE_012_CIN_CR());}
......
This diff is collapsed.
......@@ -754,29 +754,6 @@ module OneM2M_Testcases_CSE_Release_2 {
}// end group g_CSE_DMR_CRE_006
group g_CSE_DMR_CRE_007 {
/**
* @desc Checks that the IUT accepts a newly created RESOURCE_TYPE when the currentNrOfInstances exceeds the field value set in maxNrOfInstances in the PARENT_RESOURCE_TYPE resource by removing enough of the oldest RESOURCE_TYPE resources to allow the creation of the new RESOURCE_TYPE resource
*
*/
testcase TC_CSE_DMR_CRE_007_CNT_CIN() runs on Tester system CseSystem {
// Local variables
var template RequestPrimitive v_createRequestContainer := m_createContainerBase;
var template RequestPrimitive v_createRequestContentInstance1 := m_createContentInstanceBase;
var template RequestPrimitive v_createRequestContentInstance2 := m_createContentInstanceBase;
const integer c_maxNumberOfInstances := 1;
var AeSimu v_ae1 := AeSimu.create("AE1") alive;
v_createRequestContainer.primitiveContent.container.maxNrOfInstances := c_maxNumberOfInstances;
v_createRequestContentInstance2.primitiveContent.contentInstance.resourceName := c_defaultContentInstanceResourceName & "2"; //Resource 2
v_ae1.start(f_CSE_DMR_CRE_007(int3, v_createRequestContainer, int4, v_createRequestContentInstance1, v_createRequestContentInstance2, c_defaultContentInstanceResourceName));//ContentInstance under Container
v_ae1.done;
}
}// end group g_CSE_DMR_CRE_007
group g_CSE_DMR_CRE_008 {
/**
......@@ -803,29 +780,7 @@ module OneM2M_Testcases_CSE_Release_2 {
}
}// end group g_CSE_DMR_CRE_008
group g_CSE_DMR_CRE_013 {
/**
* @desc Check that the IUT rejects the CREATE Request of a RESOURCE_TYPE resource with error “NOT_ACCEPTABLE” when contentSize exceeds maxByteSize of the PARENT_RESOURCE_TYPE
*
*/
testcase TC_CSE_DMR_CRE_013_CNT_CIN() runs on Tester system CseSystem {
// Local variables
var template RequestPrimitive v_createRequestContainer := m_createContainerBase;
var template RequestPrimitive v_createRequestContentInstance := m_createContentInstanceBase;
const integer c_maxByteSize := 1;
var AeSimu v_ae1 := AeSimu.create("AE1") alive;
v_createRequestContainer.primitiveContent.container.maxByteSize := c_maxByteSize;
v_ae1.start(f_CSE_DMR_CRE_013(int3, v_createRequestContainer, int4, v_createRequestContentInstance));//ContentInstance under Container
v_ae1.done;
}
}// end group g_CSE_DMR_CRE_013
group g_CSE_DMR_CRE_015 {
/**
......@@ -1757,74 +1712,6 @@ module OneM2M_Testcases_CSE_Release_2 {
} // end g_CSE_DMR_UPD_009
group g_CSE_DMR_UPD_010{
/**
* @desc Check that the stateTag attribute of a RESOURCE_TYPE resource is increased when an update operation has been performed on its child resource
*
*/
testcase TC_CSE_DMR_UPD_010_CNT() runs on Tester system CseSystem {
// Local variables
var AeSimu v_ae1 := AeSimu.create("AE1") alive;
var RequestPrimitive v_updateRequest := valueof(m_updateContainerBase);
var template RequestPrimitive v_createRequest := m_createContainerBase;
var Labels v_labels_1:= {"VALUE_1"};
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent.container.labels := v_labels_1;
v_ae1.start(f_CSE_DMR_UPD_010(int3, v_createRequest, v_updateRequest));//Container
v_ae1.done;
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that stateTag has been incremented
if(ischosen(v_primitiveContentRetrieveResource.container)) {
if(v_primitiveContentRetrieveResource.container.stateTag == 1){
setverdict(pass, __SCOPE__ & ": The stateTag attribute is incremented");
}else{
setverdict(fail, __SCOPE__ & ": Error the stateTag attribute is not incremented");
}
}
}
}
} // end g_CSE_DMR_UPD_010
group g_CSE_DMR_UPD_011{
/**
* @desc Check that the IUT rejects the UPDATE Request of an existing RESOURCE_TYPE resource with error “OPERATION_NOT_ALLOWED”
*
*/
testcase TC_CSE_DMR_UPD_011_CNT_CNI() runs on Tester system CseSystem {
// Local variables
var AeSimu v_ae1 := AeSimu.create("AE1") alive;
var template RequestPrimitive v_updateRequest := m_updateContentInstanceBase;
var Labels v_labels:= {"LABEL"};
var template RequestPrimitive v_createParentRequest := m_createContainerBase;
var template RequestPrimitive v_createChildRequest := m_createContentInstanceBase;
var PrimitiveContent v_primitiveContentRetrieveResource;
v_updateRequest.primitiveContent.contentInstance.labels := v_labels;
v_ae1.start(f_CSE_DMR_UPD_011(int3, v_createParentRequest, int4, v_createChildRequest, v_updateRequest));//ContentInstance under Container
v_ae1.done;
if(getverdict == pass){
v_primitiveContentRetrieveResource := f_getPrimitiveContentRetrievedResource(v_ae1);
//Check that the resource has NOT been udpated
if(ischosen(v_primitiveContentRetrieveResource.contentInstance)) {
if(v_primitiveContentRetrieveResource.contentInstance.labels == v_labels){
setverdict(fail, __SCOPE__ & ": Error: Labels attribute updated")
}
}
}
}
} // end g_CSE_DMR_UPD_011
group g_CSE_DMR_UPD_014 {
/**
......
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