Please enable JavaScript.
Coggle requires JavaScript to display documents.
Definiciones y Background (Definición de la Herramienta de Análisis…
Definiciones y Background
Definición de la Herramienta de Análisis Estático
conjunto de
Verificador/Regla (Checker/Rule)
Motor de análisis dedicado a detectar un defecto particular
Ct: Un verificador C de la herramienta t
Warning de Análisis Estático
Una debilidad detectada por la Herramienta
w(Ct)
Debilidad del Software
(v, i, L, SD)
Identificador de la debilidad (v)
Impacto de la debilidad (I)
Consecuencias no esperadas al no atender al Warning
Lenguaje de Programación (L)
Conjunto de Descripciones de Software (SD)
Definiciones y Background
Evaluación
proceso de
Evaluar impactos de Warnings de análisis estático
basados en modelo de evaluación
Modelo de Evaluación
(T,I,V,L,M)
T: Conjunto de definiciones de herramienta
I: conjunto de impactos
V: Conjunto de Debilidades
L: conjunto de lenguajes
M: Conjunto de relaciones 'm'
Relaciones 'm' (mappings)
Relaciones entre checkers de un lenguaje hacia debilidades
Sistema colaborativo de Evaluación
plataforma donde usuario
crea
almacena
modifica
reusa
Modelos de evaluación
