Operación: addUsrGrpToAcl

BEGIN TEST CASE 2

COMMENT

El solicitante no es dueño UNIX del objeto pero es dueño, el objeto no está abierto.

STATE PARAMETER s:SFSstate :=

[groups	:=	G2,
primaryGrp	:=	PG2,
subjectSC	:=	SSC2,
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	OSC2,
acl	:=	{o :-> [owner := u1, group := g1, UserReaders := {}, GroupReaders := {}, UserWriters := {}, GroupWriters := {}, UserOwners := {u1, u}, GroupOwners := {RG}], o1 :-> aclo1, o2 :-> aclo2, o3 :-> aclo3, barra :-> acl/},
secmat	:=	SM2,
files	:=	F2,
directories	:=	D2]

PARAMETER u:SUBJECT

PARAMETER o:OBJECT

PARAMETER ru, wu, pu: SUBJECT

PARAMETER rg, wg, pg: GRPNAME

END TEST CASE