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

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
id I15-R121-2133-2799
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic testing basado en modelos
concurrency
redes de petri
spellingShingle testing basado en modelos
concurrency
redes de petri
Ponce de León, Hernán
Testing de Sistemas de Caja Negra especificados con Redes de Petri
topic_facet testing basado en modelos
concurrency
redes de petri
description 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 sistema según algún modelo formal y una implementación I de caja negra (aquella que sólo puede ser vista en términos de sus datos de entrada y salida sin el conocimiento de cómo trabaja internamente), intentamos derivar a partir de S secuencias de datos de entrada que nos permitan determinar a partir de los datos de salida que generan en I si I se ajusta a S. Dichas secuencias pueden permitir (i) predecir el comportamiento de los datos de salida, y en el caso de un comportamiento erróneo, (ii) encontrar la causa de dicho error. Varios modelos han sido utilizados para especificar sistemas de caja negra, entre ellos Autómatas de Entrada/Salida, Autómatas de Entrada/Salida con multi-puertos, Autómatas de Entrada/Salida con ordenes parciales, etc. Si bien estos formalismos permiten modelar la concurrencia del sistema, siguen siendo modelos secuenciales y heredan muchas de sus limitaciones. Por lo tanto, debemos abandonar el modelo de máquinas finitas y desarrollar un nuevo modelo para el testing de sistemas de entrada/salida implementados como caja negra. En este trabajo presentamos una extensión de las Redes de Petri, un modelo que permite la representación de sistemas distribuidos y discretos. Gracias a este nuevo modelo hemos sido capaces de establecer una relación de implementación y diseñar un algoritmo para testearla.
author2 Harr, Stefan
author_facet Harr, Stefan
Ponce de León, Hernán
format bachelorThesis
tesis de grado
publishedVersion
author Ponce de León, Hernán
author_sort Ponce de León, Hernán
title Testing de Sistemas de Caja Negra especificados con Redes de Petri
title_short Testing de Sistemas de Caja Negra especificados con Redes de Petri
title_full Testing de Sistemas de Caja Negra especificados con Redes de Petri
title_fullStr Testing de Sistemas de Caja Negra especificados con Redes de Petri
title_full_unstemmed Testing de Sistemas de Caja Negra especificados con Redes de Petri
title_sort testing de sistemas de caja negra especificados con redes de petri
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2013
url http://hdl.handle.net/2133/2799
http://hdl.handle.net/2133/2799
work_keys_str_mv AT poncedeleonhernan testingdesistemasdecajanegraespecificadosconredesdepetri
bdutipo_str Repositorios
_version_ 1764820413673635841

Ejemplares similares