Tesis Doctoral
Técnicas automáticas para la diagnosis de errores en software diseñado por contrato
Autor/es | Ceballos Guerrero, Rafael |
Director | Martínez Gasca, Rafael
Valle Sevillano, Carmelo del |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2011-12-21 |
Fecha de depósito | 2014-11-27 |
Resumen | Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la reparación de los errores representan un porcentaje importante de recursos, por tanto, mejorar el ... Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la reparación de los errores representan un porcentaje importante de recursos, por tanto, mejorar el proceso de reparación de dichos errores permitiría obtener un ahorro significativo en el coste final del producto software. La reparación de errores no sólo está presente en el desarrollo, sino también en el mantenimiento, si tenemos en cuenta que muchos de los productos software desarrollados sufrirán cambios durante su vida útil para poder adaptarse a los nuevos requisitos que se presenten. En esta tesis se propone una metodología para la identificación automática de defectos en el software, evitando el gasto de recursos que conllevaría la identificación de los defectos de manera manual. La metodología propuesta, denominada Diagnosis del Software Basada en Modelos de Restricciones, puede ser aplicada en el desarrollo del software y también durante el mantenimiento del software. Se basa en la combinación de diferentes paradigmas, tales como: la Diagnosis Basada en Modelos, la Programación con Restricciones, la generación de pruebas, y el Diseño por Contrato. Tiene por objetivo localizar e identificar de forma automática la causa de los errores de una aplicación software. Permite actuar sobre los asertos que forman el Diseño por Contrato y sobre las sentencias que forman el código fuente. |
Cita | Ceballos Guerrero, R. (2011). Técnicas automáticas para la diagnosis de errores en software diseñado por contrato. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
O_Tesis-PROV19_.pdf | 1.706Mb | [PDF] | Ver/ | |