Skip to content

(JISBD) Síntesis de especificaciones de programas XML para la construcción de oráculos de prueba

septiembre 12, 2011

Como comenté en uno de los últimos artículos, me tocó ser contraponente en una presentación, la cual era de Dae S. Kim-Park, quien trabaja con Javier Tuya en la Universidad de Oviedo. Su trabajo era Síntesis de especificaciones de programas XML para la construcción de oráculos de prueba. Básicamente proponían tomar un XML base, mutarlo de distintas formas, ejecutar el programa bajo prueba (la idea era probar programas que tienen un XML de entrada y uno como salida), y en base a esos resultados generar ciertos oráculos (ejecutables) basados en reglas que van descubriendo al ejecutar los distintos juegos de datos XML generados.

¿Qué pasa si intentamos trasladar esta misma idea a los sistemas con bases de datos? O sea, de alguna forma hacer un trace de las cosas que varían en una base de datos, y en base a mutar las entradas a un formulario analizar los cambios que se dan, como para establecer ciertas reglas abstractas que se deben cumplir. Creo que puede ser útil al menos como para ver qué cosas son afectadas cómo en un sistema que se está probando como una caja negra. O sea, al variar las entradas de una aplicación, entender qué tablas se afectan y cómo al variar esos datos de entrada.

Anuncios
Dejar un comentario

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: