Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
/*
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
;
events:
- being_in
- registered
- created
- child_resource
- privileges
- receives
- initial_state
- perform_DELETE_operation_on
- increments
- sends
- container_resource
;
}
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
and the IUT entity sends a valid Response containing
Response Status Code set to 2002; /* (DELETED) */
}
}
}
}