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

Operation: rmdir

BEGIN TEST CASE 5
COMMENT
El directorio existe pero el directorio-padre está abierto para lectura por el solicitante.
STATE PARAMETER s:SFSstate :=
[groups := G3,
primaryGrp := PG3,
subjectSC := SSC2,
AllGrp := AG,
RootGrp := RG,
SecAdmGrp := SAG,
objectSC := OSCod,
acl := ACLod,
secmat :=
{o1 :-> [ActReaders := {u1}, ActWriters := {}],
o2 :-> [ActReaders := {}, ActWriters := {u1}],
o3 :-> [ActReaders := {u1}, ActWriters := {u1}],
barra :-> [ActReaders := {u1,u}, ActWriters := {u1}]},
files := F2,
directories := Dod]
PARAMETER u:SUBJECT
PARAMETER od:OBJECT
END TEST CASE