Testing de Sistemas de Caja Negra especificados con Redes de Petri

dc.contributor.advisorHarr, Stefan
dc.contributor.authorPonce de León, Hernán
dc.date.accessioned2013-12-04T13:32:57Z
dc.date.available2013-12-04T13:32:57Z
dc.date.issued2011-03-23
dc.description.abstractLa 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.es
dc.description.affiliationFil: Ponce de León, Hernán. Tesista del Departamento de Ciencias de la Computación. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario; Argentina.
dc.description.peerreviewedPeer reviewedes
dc.identifier.urihttp://hdl.handle.net/2133/2799
dc.language.isospaes
dc.publisherFacultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosarioes
dc.relation.publisherversionhttp://www.fceia.unr.edu.ar/lcc/t523/es
dc.rightsopenAccesses
dc.subjecttesting basado en modeloses
dc.subjectconcurrencyes
dc.subjectredes de petries
dc.titleTesting de Sistemas de Caja Negra especificados con Redes de Petri
dc.typebachelorThesis
dc.typetesis de grado
dc.typepublishedVersion

Archivos

Bloque original
Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
Ponce de Leon.pdf
Tamaño:
295.4 KB
Formato:
Adobe Portable Document Format
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
2.95 KB
Formato:
Item-specific license agreed upon to submission
Descripción: