Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 9: |
Línea 9: |
| == Programa == | | == Programa == |
|
| |
|
| <big>Unidad 1: Análisis Estático de Programas</big>
| |
|
| |
| * Análisis de dataflow.
| |
| * Grafo de flujo de control.
| |
| * Ecuaciones de flujo de datos.
| |
| * Análisis Intraprocedural vs. Interprocedural
| |
| * May versus Must Analysis
| |
|
| |
| <big>Unidad 2: Testing Automatizado de Software</big>
| |
|
| |
| * Criterios clásicos de calidad de un test suite.
| |
| * Análisis de mutación.
| |
| * Técnicas de generación de tests basadas en aleatoriedad.
| |
| * Generación utilizando Ejecución Simbólica Pura y Ejecución Simbólica Dinámica.
| |
| * Heurísticas de generación basadas en búsqueda.
| |
| * Algoritmos Genéticos y Algoritmos Evolutivos.
| |
| * Testing de Seguridad.
| |
| * Fuzzing de caja negra, caja gris y caja blanca.
| |
| * Fuzzing de Gramáticas.
| |
|
| |
| <big>Unidad 3: Verificación de Software Concurrente</big>
| |
| *
| |
| * Modelos de Concurrencia | | * Modelos de Concurrencia |
| * Algebras de Proceso y Bisimulación | | * Algebras de Proceso y Bisimulación |
| * Lógicas temporales. LTL | | * Lógicas temporales. LTL y CTL |
| * Model Checking de LTL | | * Model Checking de LTL y CTL |
| | * Bounded Model Checking |
| | * Predicate abstraction |
|
| |
|
| == Apuntes == | | == Apuntes == |