Resumen

Las pruebas en paralelo son un mtodo eficaz para mejorar la eficiencia de las pruebas en el sector aeroespacial. Para hacer frente a los retos de la implementacin de pruebas paralelas multiunidad en proyectos prcticos, este artculo presenta un modelo de programacin lineal de enteros mixtos (MILP) para resolver el problema de programacin de tareas. Se propone un novedoso mtodo iterativo basado en secuencias (SBI) para resolver el modelo en un tiempo razonable. El mtodo SBI se compone de un procedimiento de bsqueda de secuencias implcitas (ISF) y un procedimiento de optimizacin iterativo basado en secuencias (SBIO). El primer procedimiento puede reducir el espacio de bsqueda fijando variables de secuencia libres de acuerdo con los diagramas de flujo de prueba originales, y el segundo procedimiento puede resolver el modelo de forma iterativa en un tiempo razonable. Adems, se introducen dos ndices, a saber, la tasa de velocidad y la tasa media de utilizacin de recursos, para evaluar exhaustivamente los mtodos propuestos. Los resultados computacionales indican que el mtodo propuesto funciona bien en los ejemplos de prueba del mundo real, especialmente para los ejemplos ms grandes que no pueden resolverse con el mtodo de espacio completo. Adems, se demuestra que la esencia de la prueba paralela es cambiar espacio por tiempo.

• Materias:Algoritmos (Matemáticas) Algebra Ingeniería Lógica matemática Matemáticas
• Subjects:Agorithms (Math) Algebra Engineering Mathematical logic mathematics
• Palabras claves:Enfoque eficaz; Eficacia de las pruebas; Sector aeroespacial; Pruebas paralelas de varias unidades; Programación lineal de enteros mixtos; Problema de programación de tareas
• Keywords:Efficient approach; Test efficiency; Aerospace field; Multiunit parallel test; Mixed-integer linear programming; Task scheduling problem