Título: Validación automática de sistemas
Autores: Merlino, Hernán
Fernández, Enrique
Rodríguez, Dario
Britos, Paola Verónica
García Martínez, Ramón
Fecha: 2012-10-09
2007
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: automatic validation
aalidación automática
automatización
Validation
Model Validation and Analysis
Automation
Ciencias Informáticas
Informática
Descripción: En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto se hace una reseña sobre algunas herramientas para realizar el proceso y por ultimo a modo de conclusión se da la visión del autor sobre la validación automática de sistemas.
This report describes an introduction to automatic validation systems, the fundamentals about validation’s importance are detailed; first there are references about authors, its proposals and automation; secondly there is a summary about some tools required for the process in conclusion it is given the author’s vision about.
IV Workshop de Ingeniería de Software y Base de Datos
Idioma: Español