Programación de prueba de software para minimizar el tiempo total de finalización
Autores: Chao, Man-Ting; Lin, Bertrand M. T.
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Programación de prueba de software para minimizar el tiempo total de finalización
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Problema de programación de una sola máquina
Prueba de software
Operaciones de configuración
Prelación
Algoritmo de ramificación y acotación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 32
Citaciones: Sin citaciones
Este documento investiga un problema de programación de una sola máquina de una prueba de software con operaciones de configuración comunes compartidas. Cada trabajo tiene un conjunto correspondiente de operaciones de configuración, y el trabajo no puede ejecutarse a menos que sus configuraciones estén completas. Si dos trabajos tienen las mismas configuraciones de soporte, las configuraciones comunes se realizan solo una vez. No se permite la prelación de ningún procesamiento. Se sabe que este problema es computacionalmente intratable. En este estudio, proponemos modelos de programación entera basados en secuencias y posiciones, y un algoritmo de ramificación y acotación para encontrar soluciones óptimas. También proponemos un algoritmo de optimización de colonia de hormigas para encontrar soluciones aproximadas, que se utilizarán como límite superior inicial del algoritmo de ramificación y acotación. Los experimentos computacionales están diseñados y realizados para evaluar numéricamente todos los métodos propuestos.
Descripción
Este documento investiga un problema de programación de una sola máquina de una prueba de software con operaciones de configuración comunes compartidas. Cada trabajo tiene un conjunto correspondiente de operaciones de configuración, y el trabajo no puede ejecutarse a menos que sus configuraciones estén completas. Si dos trabajos tienen las mismas configuraciones de soporte, las configuraciones comunes se realizan solo una vez. No se permite la prelación de ningún procesamiento. Se sabe que este problema es computacionalmente intratable. En este estudio, proponemos modelos de programación entera basados en secuencias y posiciones, y un algoritmo de ramificación y acotación para encontrar soluciones óptimas. También proponemos un algoritmo de optimización de colonia de hormigas para encontrar soluciones aproximadas, que se utilizarán como límite superior inicial del algoritmo de ramificación y acotación. Los experimentos computacionales están diseñados y realizados para evaluar numéricamente todos los métodos propuestos.