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

Operation: open

BEGIN TEST CASE 31
COMMENT
El objeto no existe, el solicitante existe; D.
STATE PARAMETER s:SFSstate :=
[groups := G3,
primaryGrp := PG3,
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 od:OBJECT
PARAMETER WRITE:MODE
END TEST CASE