Delta Delta ayuda a los usuarios a minimizar archivos interesantes, sujeto a una prueba de su interés.
Descargar ahora

Delta Clasificación y resumen

Delta Etiquetas

Delta Minimizando archivos minimización heurísticamente aislar subcadez Heurísticamente minimizando

Delta Descripción

Delta ayuda a los usuarios a minimizar archivos interesantes, sujeto a una prueba de su interés. El Proyecto Delta ayuda a los usuarios para minimizar los archivos "interesantes", sujeto a una prueba de su "interés". Una situación común es cuando intenta aislar una pequeña subcadena de inducción de fallas de una gran entrada que hace que un programa exhiba un error. La mejor manera de entender cómo usar Delta es con un ejemplo de su uso. A continuación se muestra un ejemplo escrito con ayuda para mí por Simon Goldsmith; Learlo primero. Para aquellos que desean más, también escribí un documento más detallado y más difícil de leer que describe cada herramienta: usando Delta.Note que lo que sigue es un ejemplo de usar Delta para minimizar un archivo de entrada a un programa que lee los programas, como hace un compilador. . Tenga en cuenta dos características de la minimización de archivos que están presentes en el ejemplo. Haz un experimento controlado. No solo minimizamos un archivo que hace que Oink produzca un mensaje de error, minimizamos un archivo que hace que GCC acepte y Oink para rechazar de una manera específica. Es decir, la prueba Delta hace un experimento controlado, donde GCC es el control. Ignorar este aspecto del problema parece ser un error frecuente de los usuarios por primera vez. Estructura de explotación anidadas. Puede minimizar los archivos de sintaxis más simples que C ++, pero en realidad todos los archivos son interesantes en primer lugar porque están en algún idioma u otro. Algunos archivos de configuración simples son literalmente, solo una lista de líneas, pero la mayoría de los idiomas tienen una estructura anidada. Multidelta filtra la entrada a través de la utilidad TOPFFFLFLAT (incluida) para suprimir cualquier nueva línea anterior a una profundidad de anidación particular; Esto "explica" la estructura de anidación a la utilidad delta orientada a la línea (una idea brillante de Scott McPeak's). Si el idioma de su archivo de entrada no tiene una estructura de anidación, puede piratear a Multidelta para eliminar la filtración a través de TopFormflat o simplemente usar el Programa RAW DELTA. Si su idioma tiene una estructura de anidación diferente a C / C ++, puede escribir su propio Multidelta y sustituirlo. Un simple programa flexible debe ser suficiente; No es necesario que no sea terriblemente preciso para que Delta haga bien. Lo que está nuevo en esta versión: · Ahora es mucho más fácil detener al delta. · Atrapa señales y las distingue de los códigos de retorno. · Mira el archivo Delta-Stop en el La misma granularidad a medida que se ejecutan las pruebas. · En Multidelta, ejecutar el archivo de entrada a través de CPP está desactivado de forma predeterminada y se puede activar con la bandera -CPP.

Delta Software relacionado