Resumen

El corte de programas es una técnica para extraer la parte de un programa (el corte) que influye o es influenciado por un conjunto de variables en un punto dado (el criterio de corte). Calcular cortes mínimos es indecidible en el caso general, y obtener el corte mínimo de un programa dado suele ser computacionalmente prohibitivo incluso para programas muy pequeños. Por lo tanto, no importa qué cortador de programas utilicemos, en general, no podemos estar seguros de que nuestros cortes sean mínimos. Esta es probablemente la razón fundamental por la que no existe una colección de referencia de cortes mínimos de programas. En este trabajo, presentamos un método para producir cortes cuasi-mínimos. Utilizando nuestro método, hemos producido una serie de cortes cuasi-mínimos para Erlang que luego hemos demostrado que son mínimos. Explicamos el proceso de construcción de la serie, la metodología y las herramientas que se utilizaron, y los resultados obtenidos. La serie incluye una colección de pruebas de rendimiento de Erlang junto con diferentes criterios de corte y los cortes mín

• Materias:Sensores Seguridad informática Rendimiento del hardware Matriz
• Subjects:sensors Computer security Hardware performance Matrix
• Palabras claves:Corte de programa; Variables; Corte; Mínimo; Puntos de referencia; Erlang
• Keywords:Program slicing; Variables; Slice; Minimal; Benchmarks; Erlang