Artículo:
Resolviendo un problema multi-objetivo de selección de requisitos mediante resolutores del problema SAT

Fecha

2015-09-15

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015)

Licencia Creative Commons

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.

Descripción

Acerca de del Aguila, Isabel María

Palabras clave

Next Release Problem, Optimización Multi-objetivo, Resolutores SAT, Selección De Requisitos
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX