Primero |
Caso anterior |
Caso siguiente |
Último |
Índice de casos | Constantes | Home
Operación: addUsrGrpToAcl
- BEGIN TEST CASE 6
- COMMENT
- El objeto no existe, el campo acl es vacío (esta última condición no es posible de satisfacer debido a que en un sistema de archivos real debe haber al menos un directorio).
- STATE PARAMETER s:SFSstate :=
-
|
[groups | := | G2, |
primaryGrp | := | PG2, |
subjectSC | := | SSC2, |
AllGrp | := | AG, |
RootGrp | := | RG, |
SecAdmGrp | := | SAG, |
objectSC | := | {bOS}, |
acl | := | {barra :-> acl/}, |
secmat | := | {}, |
files | := | {}, |
directories | := | {barra :-> < >]
|
- PARAMETER u:SUBJECT
-
- PARAMETER o:OBJECT
-
- PARAMETER ru, wu, pu: SUBJECT
-
- PARAMETER rg, wg, pg: GRPNAME
-
- END TEST CASE
|