- Daikon (sistema)
-
Daikon (sistema)
Daikon es un conjunto de programas informáticos que detecta posibles invariantes dentro del código fuente de un programa.
Un invariante es una condición o propiedad que se mantiene cierta en ciertos puntos del programa. Se usa sobre todo en la depuración de programas en las últimas fases de su desarrollo o al modificar código existente.
Daikon puede detectar propiedades en programas escritos en C, C++, Java, Perl, e IOA, además de en hoja de cálculo u otras fuentes de datos. Daikon es fácil de extender y es software libre[1]
Enlaces externos
- Web oficial
- Dynamically Discovering Likely Program Invariants, Tesis doctoral de Michael D. Ernst en la que analiza Daikon
Referencias
Categoría: Sistemas informáticos
Wikimedia foundation. 2010.