Primero | 
Caso anterior | 
Caso siguiente | 
Último | 
Índice de casos |  | Constantes |  Home Operación: addUsrGrpToAcl
BEGIN TEST CASE  15
	
	COMMENT  El solicitante está en un grupo dueño, el objeto no está abierto, wu está en UserWriters.
	
	
	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 | := | {wu}, | GroupWriters | := | {}, | UserOwners | := | {u1, u2}, | GroupOwners | := | {RG, g1, g}], | 
 |  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  |