Primero | Caso anterior | Caso siguiente | Último | Índice de casos | Constantes | Home

Operación: addUsrGrpToAcl

BEGIN TEST CASE 7
COMMENT
El objeto no existe pero hay otros objetos significativos. La idea es que en el caso anterior se prueba con el sistema de archivos "vacío" y en este existen otros objetos semejantes al solicitado.
STATE PARAMETER s:SFSstate :=
[groups := G2,
primaryGrp := PG2,
subjectSC := SSC2,
AllGrp := AG,
RootGrp := RG,
SecAdmGrp := SAG,
objectSC := OSC3,
acl :=
{o1 :-> aclo1,
o2 :-> aclo2,
o3 :-> aclo3,
barra :-> acl/},
secmat := {},
files := F3,
directories := D3]
PARAMETER u:SUBJECT
PARAMETER o:OBJECT
PARAMETER ru, wu, pu: SUBJECT
PARAMETER rg, wg, pg: GRPNAME
END TEST CASE