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

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.

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.