CONFIGEN: A tool for managing configuration options

Abstract

Este artículo presenta CONFIGEN, una herramienta que ayuda a la modularización del software. CONFIGEN permite al desarrollador para seleccionar un conjunto de componentes elementales para su software a través de una interfaz interactiva. Los archivos de configuración para el uso de código de C / montaje y Makefiles continuación, se generan automáticamente y se utilizó con éxito como herramienta de ayuda para la refactorización complejo software del sistema. CONFIGEN se basa en la lógica proposicional, y su aplicación se enfrenta a problemas teóricos duros.