ANEXO 4: CASOS DE PRUEBA Y REPORTE DE APLICACIÓN ANALIZADOR ESTÁTICO DE CÓDIGO PARA POLÍTICAS DE CONTROL DE ACCESO

Transcripción

1 ANEXO 4: CASOS DE PRUEBA Y REPORTE DE APLICACIÓN ANALIZADOR ESTÁTICO DE CÓDIGO PARA POLÍTICAS DE CONTROL DE ACCESO ARIEL ARTURO LÓPEZ LESMES ING. JAIME ANDRÉS PAVLICH MARISCAL, Ph.D. PONTIFICIA UNIVERSIDAD JAVERIANA FACULTAD DE INGENIERÍA CARRERA DE INGENIERÍA DE SISTEMAS BOGOTÁ, D.C. 2012

2 Anexo 5: Casos de prueba y reporte de aplicación TABLA DE CONTENIDO 1 INTRODUCCIÓN. 3 2 RESTRICCIÓN: MÉTODO DESPROTEGIDO OBJETIVO RESULTADO CONTEXTO REGISTRO DE APLICACIÓN: 4 Analizador Estático de Código Para Políticas de Control de Acceso 2

3 Casos de prueba y reporte de aplicación 1 INTRODUCCIÓN Cada uno de los casos de prueba serán ejecutados una vez se crea que la funcionalidad está en un nivel de cumplimiento alto y no se pueden encontrar fallos en la revisión del código. La aplicación del caso de prueba se realizará hasta evaluar todos los casos posibles en los que se podría presentar la falla. Si el caso de prueba se ejecuta sin retornar errores se procederá a aplicar un siguiente caso. 1.1 Contexto Se tiene un proyecto Java compuesto por las Entidades Banco, Cuenta, y Persona. La Entidad Banco cuenta con seis métodos, la Entidad Cuenta tiene cuatro métodos y la clase persona tiene ocho métodos. El analizador funciona de la misma forma sobre entidades o sobre EJBs de sesión, simplemente se debe garantizar la presencia de las anotaciones en el código y la referencia de los permisos en el modelo, ya sea a métodos de entidades o de EJBs de sesión. Además se especifica un modelo de control de acceso compuesto por dos roles: Admin y User. Estos roles, dependiendo de cada restricción, tendrán permisos sobre los métodos de cada una de las cases anteriores. Para cada restricción se especifican casos de prueba diferentes como se muestra en las siguientes secciones, donde para cada caso de prueba se especifican las condiciones de entrada de las anotaciones de seguridad y el modelo de control de acceso. 2 RESTRICCIÓN: Método desprotegido 2.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales no existe una anotación de que restringa el acceso a dicho método. 2.2 Resultado WARNING: método no encontrado. Aplicación Práctica 3

4 Anexo 5: Casos de prueba y reporte de aplicación 2.3 Registro de aplicación: MP: Numero de métodos protegidos en la Entidad. MD: Numero de métodos desprotegidos en la Entidad. Entidad MP MD FP FN Banco Cuenta Persona Entidad MP MD FP FN Banco Cuenta Persona Entidad MP MD FP FN Banco Cuenta Persona RESTRICCIÓN: Rol no existente en el Modelo 3.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales se define una anotación de que hace referencia a un rol que no está definido en el modelo de políticas de control de acceso. Analizador Estático de Código Para Políticas de Control de Acceso 4

5 Casos de prueba y reporte de aplicación 3.2 Resultado 3.3 Registro de aplicación: R: Numero de métodos que tienen roles no existentes en el modelo de control de acceso. Banco Cuenta Persona Banco Cuenta Persona Banco Persona RESTRICCIÓN: Permiso no existente 4.1 Objetivo Aplicación Práctica 5

6 Anexo 5: Casos de prueba y reporte de aplicación Encontrar métodos en Entidades JEE5 para los cuales se define una anotación de que hace referencia a un rol y a un método, en el que el método no está asignado al rol en el modelo de políticas de control de acceso. 4.2 Resultado 4.3 Registro de aplicación: R: Numero de métodos que tienen Permisos no asignados a roles existentes en el modelo de control de acceso. Banco Persona Banco Cuenta Persona Persona RESTRICCIÓN: Permiso inconsistente Analizador Estático de Código Para Políticas de Control de Acceso 6

7 Casos de prueba y reporte de aplicación 5.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales se define una anotación de que hace referencia a un rol y a un método, en el que el método no corresponde al método que hace referencia la anotación. 5.2 Resultado 5.3 Registro de aplicación: R: Numero de métodos que tienen permisos que referencian un método diferente al método en el que se ubican. Banco Persona Banco Persona Cuenta Persona Aplicación Práctica 7

8 Anexo 5: Casos de prueba y reporte de aplicación 6 RESTRICCIÓN: Permiso inconsistente 6.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales se define un permiso el modelo de control de acceso y no está presente en el código. 6.2 Resultado 6.3 Registro de aplicación: R: Numero de métodos en el modelo de control de acceso tiene un permiso, pero que ese permiso no se refleja en el código. Cuenta Persona Banco Cuenta Persona Banco Persona Analizador Estático de Código Para Políticas de Control de Acceso 8

9 Casos de prueba y reporte de aplicación 7 RESTRICCIÓN: Permiso duplicado 7.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales se define una anotación de que hace más de una referencia al mismo rol y método. 7.2 Resultado 7.3 Registro de aplicación: R: Numero de métodos en el modelo de control de acceso tiene un permiso, pero que ese permiso no se refleja en el código. Cuenta Persona Banco Cuenta Persona Banco Cuenta Persona Aplicación Práctica 9

10 Anexo 5: Casos de prueba y reporte de aplicación 8 RESTRICCIÓN: Error de sintaxis 8.1 Objetivo Encontrar métodos en Entidades JEE5 para los cuales se define una anotación de que contiene errores de sintaxis. 8.2 Resultado 8.3 Registro de aplicación: R: Numero de métodos que tiene una anotación con errores de sintaxis. Cuenta Persona Banco Cuenta Persona Cuenta Persona Analizador Estático de Código Para Políticas de Control de Acceso 10