First | Previous test case | Next test case | Last | Test case index | Constants | Operations

Operation: chmod

BEGIN TEST CASE 63
COMMENT
Los casos 62 a 121 inclusive son idénticos a los casos 3 a 61 excepto que el solicitante es dueño pero no dueño UNIX. 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, u1},
GroupOwners := {RG}],
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