Testing de Sistemas de Caja Negra especificados con Redes de Petri

La validación de la implementación de un sistema a través del testing es un paso importante en la realización de sistemas complejos. Incluso la verificación más cautelosa de una especificación no puede garantizar la ausencia de errores en el proceso de implementación. Dada la especificación S de un...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Ponce de León, Hernán
Otros Autores: Harr, Stefan
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
testing basado en modelos
concurrency
redes de petri
Acceso en línea:http://hdl.handle.net/2133/2799
http://hdl.handle.net/2133/2799
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares