cse_dmr.tplan2

/*
Copyright (c) ETSI 2017.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/
Package onem2m_cse_dmr {
	
	Domain {
		pics:
		- PIC_CSE
		;
		entities:
		- AE
		- IUT
		- container_resource
		;
		events:
		- being_in
		- registered
		- created
		- child_resource
		- privileges
		- receives
		- initial_state
		- perform_DELETE_operation_on
		- increments
		- sends
		;
	}
	
	Test Purpose {
		TP Id "TP/oneM2M/CSE/DMR/DEL/005"
		
		Test objective 
			"Check that the state Tag attribute of a container 
			resource is created when a child resource is deleted"
		
		Reference "TS-0001 10.1.4"
 		PICS Selection PIC_CSE

		Initial conditions  with {
			the IUT entity being_in the initial_state
			and the IUT entity having registered the AE
			and the IUT entity having created a non_empty_container_resource
		    and the AE entity having privileges to perform_DELETE_operation_on 
		    	the TARGET_CHILD_RESOURCE_ADDRESS
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity receives a valid DELETE Request containing
					To indicating value TARGET_CHILD_RESOURCE_ADDRESS, 
					From indicating value AE_ID;
			}
			then {
				the IUT entity increments the stateTag ^attribute in the container_resource entity
				and the IUT entity sends a valid Response containing 
					Response Status Code set to 2002; /* (DELETED) */ 
			}
		} 		
	}
}