First |
Previous test case |
Next test case |
Last |
Test case index | Constants | Operations
Operation: chmod
- BEGIN TEST CASE 123
- COMMENT
- Los casos 122 a 181 inclusive son idénticos a los casos 3 a 61 excepto que el solicitante pertenece a un grupo dueño pero no es dueño UNIX, ni usuario dueño. Sin embargo, el campo COMMENT de cada uno de estos casos es el mismo que el del caso correspondiente.
El solicitante es dueño UNIX del objeto, el objeto no está abierto, UserReaders es no vacío, perms1.
- STATE PARAMETER s:SFSstate :=
-
|
[groups | := | G3, |
primaryGrp | := | PG3, |
subjectSC | := | SSC2, |
AllGrp | := | AG, |
RootGrp | := | RG, |
SecAdmGrp | := | SAG, |
objectSC | := | OSC2, |
acl | := |
|
{o | :-> | |
[owner | := | u, |
group | := | g1, |
UserReaders | := | {u1, u2}, |
GroupReaders | := | {}, |
UserWriters | := | {}, |
GroupWriters | := | {}, |
UserOwners | := | {u}, |
GroupOwners | := | {RG, g1}],
|
|
o1 | :-> | aclo1, |
o2 | :-> | aclo2, |
o3 | :-> | aclo3, |
barra | :-> | acl/},
|
|
secmat | := | SM2, |
files | := | F2, |
directories | := | D2]
|
- PARAMETER u1:SUBJECT
-
- PARAMETER o:OBJECT
-
- PARAMETER perms:PERMS := perms1
-
- END TEST CASE
|