An effective method to decide bounded reordering conformance in the distributed test architecture

Impacto

Downloads

Downloads per month over past year



Benito Parejo, Miguel (2018) An effective method to decide bounded reordering conformance in the distributed test architecture. [Trabajo Fin de Grado]

[thumbnail of 1001487064-300950_MIGUEL_BENITO_PAREJO_TFG_3506267_481217293.pdf]
Preview
PDF
Creative Commons Attribution Non-commercial.

637kB


Abstract

In the distributed test architecture, the system under test interacts with its environment at multiple physically distributed ports and the local testers at these ports do not synchronise their actions. This presents many challenges and, in particular, apparently incorrect behaviours can be the consequence of an erroneous assumption about the exact order in which actions were performed at different ports. In previous work, it was defined a conformance relation for the distributed test architecture considering the order possibilities and the distance actions are able to be delayed. Basically, the system under test is faulty if we observe a trace σ such that no enough admissible reordering of the actions in σ could have been produced by the specification. This notion takes into account both the way of reordering and the amount of changes a trace can receive. In this thesis we implement an algorithm, and provide the theoretical results proving its correctness, to construct a finite automata able to check the whether a system under test conforms to a specification with respect to this implementation relation. Thus, a side result of the thesis is that we slightly extend the theoretical framework for bounded distributed relations.

Resumen (otros idiomas)

Al realizar testing en una arquitectura distribuida, el sistema en pruebas interactúa con su entorno a través de múltiples puertos físicamente distribuidos y los testeadores locales, situados en estos puertos, no sincronizan sus acciones. Esta limitación presenta muchos desafíos que, en particular, pueden llevar a que comportamientos aparentemente incorrectos puedan ser la consecuencia de una suposición errónea sobre el orden exacto en el que se realizaron las acciones en los diferentes puertos. En un trabajo previo, se definió una relación de conformidad para realizar testing en la arquitectura distribuida considerando los posibles reordenamientos y la distancia que las acciones pueden ser retrasadas. Básicamente, el sistema en pruebas es erróneo si observamos una traza σ tal que no hay una reordenación admisible de suficientes intercambios de las acciones en σ que pueda ser producida por la especificación. Ello tiene en cuenta tanto la forma de reordenar como la cantidad de cambios que puede recibir una traza. En este trabajo implementamos un algoritmo, y damos los resultados teóricos que demuestran su corrección, para construir un autómata finito capaz de determinar si una implementación es conforme a una especificación respecto a dicha relación de implementación. Un efecto lateral de esta tesis es que ampliamos ligeramente el marco de testing de arquitecturas distribuidas con cotas.

Item Type:Trabajo Fin de Grado
Additional Information:

Trabajo de Fin de Grado, Universidad Complutense, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Curso 2017/2018

Directors:
Directors
García Merayo, Mercedes
Núñez García, Manuel
Uncontrolled Keywords:Software testing; Formal methods; Testing in the distributed architecture
Palabras clave (otros idiomas):Testing de software; Métodos formales; Testing de arquitectura distribuida
Subjects:Sciences > Computer science
Título de Grado:Doble Grado en Ingeniería Informática y Matemáticas
ID Code:57895
Deposited On:10 Feb 2020 11:53
Last Modified:09 Mar 2020 11:54

Origin of downloads

Repository Staff Only: item control page