Informatica

PROYECTO DE TESIS
Departamento: Lenguajes y Sistemas Informáticos
Título de la tesis: Una aproximación empírica al desarrollo de heurísticas
basadas en métricas para verificación de requisitosDoctorando: Beatriz Bernárdez Jiménez
Tutores: Dr. Amador Durán Toro y Dra. Marcela Genero Bocco
1. Introducción y antecedentes
El proyecto de tesis inscrito se encuadra dentro de dos disciplinasintegradas
dentro de la Ingeniería del Software, por un lado la Ingeniería de Requisitos y por otro
la Ingeniería del Software Empírica . Durante el proceso de desarrollo de software,
varios son losestudios que han puesto de manifiesto la importancia de abordar la
calidad desde el principio del proceso de desarrollo del software, es decir, en la fase
de ingeniería de requisitos. Los requisitosson el conjunto de características que
debe cumplir el sistema para ser aceptado.
Tras estudiar las diferentes tareas encaminadas a alcanzar la calidad de los
requisitos, este trabajo se centra enaspectos de la verificación de requisitos, tarea
que se ocupa de comprobar que los requisitos están correctamente especificados
conforme a las normas establecidas previamente por la organización.Una vez estudiadas las propuestas para verificación de requisitos realizadas por
diversos autores, y tras desarrollar una nueva técnica para verificación de
requisitos, se ha considerado oportunorealizar una familia de experimentos a fin
de comprobar si la técnica propuesta mejora el proceso de verificación. La ejecución
de dichos experimentos se e
nmarca dentro del área de la Ingeniería delSoftware
Empírica .

2. Objetivos
El principal objetivo de este trabajo de investigación es el desarrollo y validación
empírica de técnicas sistemáticas de verificación de requisitos basadas enmétricas.
Basándose en este objetivo, se pueden establecer una serie de objetivos parciales:
?? Analizar las propuestas realizadas hasta el momento en el área de la
verificación de requisitos.
??...