Ponencia
Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
Autor/es | Ceballos Guerrero, Rafael
Martínez Gasca, Rafael Valle Sevillano, Carmelo del Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2002-06 |
Fecha de depósito | 2023-05-31 |
Publicado en |
|
ISBN/ISSN | 84-95499-62-2 |
Resumen | En la programación es esencial tener herramientas para la diagnosis del software que ayuden al programador y al ingeniero de desarrollo a localizar los errores. En este trabajo, proponemos una nueva aproximación que permite ... En la programación es esencial tener herramientas para la diagnosis del software que ayuden al programador y al ingeniero de desarrollo a localizar los errores. En este trabajo, proponemos una nueva aproximación que permite identificar los posibles errores en programas software usando técnicas simbólicas(Bases de Grobner). Esta técnica permite generar, a partir la estructura y semántica del programa original, un modelo más simple del programa para llevar a cabo la diagnosis. Se tienen en cuenta las especificaciones formales y el código fuente del programa, y es a partir de ellos como se detecta la sentencia o el conjunto de sentencias que contienen el error al emplear un caso de test determinado. La metodología comienza eliminando las variables no observables y obtiene nuevos asertos referidos a grupos de sentencias del programa. A partir de ahí construimos una red de contextos formada por estos grupos de sentencias y sus correspondientes asertos como nodos, y por último obtenemos la diagnosis mínima utilizando un algoritmo estándar. |
Cita | Ceballos Guerrero, R., Martínez Gasca, R., Valle Sevillano, C.d. y Toro Bonilla, M. (2002). Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.. En IV Jornadas ARCA: Sistemas Cualitativos y Diagnosis (JARCA 2002) (23-32), Barcelona, España: Edición Digital @tres. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Diagnosis basada en modelos.pdf | 7.832Mb | [PDF] | Ver/ | |