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

Operation: chown

BEGIN TEST CASE 15
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 := G3,
primaryGrp := PG3,
subjectSC := SSC2,
AllGrp := AG,
RootGrp := RG,
SecAdmGrp := SAG,
objectSC := {bOS},
acl :=
{o1 :-> aclo1,
o2 :-> aclo2,
o3 :-> aclo3,
barra :-> acl/},
secmat := {},
files := F3,
directories := D3]
PARAMETER u:SUBJECT
PARAMETER o:OBJECT
PARAMETER u3:SUBJECT
PARAMETER g1:GRPNAME
END TEST CASE