First |
Previous test case |
Next test case |
Last |
Test case index | Constants | Operations
Operation: create
- BEGIN TEST CASE 13
- COMMENT
- El solicitante no existe.
- STATE PARAMETER s:SFSstate :=
-
|
[groups | := | G3, |
primaryGrp | := | PG3, |
subjectSC | := | SSC2, |
AllGrp | := | AG, |
RootGrp | := | RG, |
SecAdmGrp | := | SAG, |
objectSC | := | OSC2, |
acl | := | ACL2, |
secmat | := |
|
{o1 | :-> | [ActReaders := {u1},
ActWriters := {}], |
o2 | :-> | [ActReaders := {},
ActWriters := {u1}], |
o3 | :-> | [ActReaders := {u1},
ActWriters := {u1}], |
barra | :-> |
|
[ActReaders | := | {u1, u2}, |
ActWriters | := | {u1, u2}]}, |
|
|
|
|
files | := | F2, |
directories | := | D2] |
|
- PARAMETER une:SUBJECT
-
- PARAMETER p:OBJNAME
-
- PARAMETER perms1:PERMS
-
- END TEST CASE
|