First |
Previous test case |
Next test case |
Last |
Test case index | Constants | Operations
Operation: stat
- BEGIN TEST CASE 2
- COMMENT
- El usuario no es lector del objeto pero pertenece a un grupo que sí lo es.
- STATE PARAMETER s:SFSstate :=
-
|
[groups | := | G, |
primaryGrp | := | PG, |
subjectSC | := | \oscstat\#1.s.subjectSC, |
AllGrp | := | AG, |
RootGrp | := | RG, |
SecAdmGrp | := | SAG, |
objectSC | := | \oscsta\#1.s.objectSC, |
acl | := | ACL2, |
secmat | := | {}, |
files | := | F, |
directories | := | D]
|
- PARAMETER u:SUBJECT
-
- PARAMETER o:OBJECT
-
- END TEST CASE
|