Resolviendo un problema multi-objetivo de selección de requisitos mediante resolutores del problema SAT

Resumen:

El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe hacer de tal forma que maximice la satisfacción de las partes interesadas a la vez que se minimiza el esfuerzo empleado en el desarrollo y se cumplen un conjunto de restricciones. Este es un problema de optimización combinatorio multi-objetivo para el que se han utilizado en el pasado técnicas heurísticas y metaheurísticas en su resolución, ya que es NP-difícil. En el presente trabajo proponemos la traducción de este problema a lógica proposicional y el uso de resolutores del problema SAT en una estrategia para encontrar el frente de Pareto de forma exacta.

Palabras Clave:

next release problem - optimización multi-objetivo - resolutores SAT - Selección de requisitos

Autor(es):

• Isabel María del Aguila {imaguila@ual.es}
  Universidad de Almería, España
  
• José del Sagrado {jsagrado@ual.es}
  Universidad de Almería, España
  
• Francisco Chicano {chicano@lcc.uma.es}
  Universidad de Málaga, España
  
• Enrique Alba {eat@lcc.uma.es}
  Universidad de Málaga, España
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex