Daikon El detector invariante
Descargar ahora

Daikon Clasificación y resumen

Daikon Etiquetas

detector detección detector invariante Detección invariante Programa invariante invariante MSN Webcam espía Blackberry Curve 8630 DJ Java Decompiler mercurio sonido 7050 Captura de pantalla de Linux PDF a MDB Osso del chat de globo ocular enchufe Prizm en ciervo de cola blanca protectores de pantalla Cumpleaños recordatorio para software de decodificación de TV zl webmail

Daikon Descripción

Daikon es una implementación de la detección dinámica de los posibles invariantes; Es decir, el detector invariante de Daikon informa probablemente invariantes de programas. Un invariante es una propiedad que tiene un cierto punto o puntos en un programa; A menudo se ven en afirmación de declaraciones, documentación y especificaciones formales. Los invariantes pueden ser útiles en la comprensión del programa y una gran cantidad de otras aplicaciones. Los ejemplos incluyen ".field> abs (y)"; "Y = 2 * x + 3"; "Array A está ordenada"; "Para todos los objetos de la lista lst, lst.next.prev = lst"; "Para todos los objetos de Treenode n, n.left.Value

Daikon Software relacionado