TY  - THES
AU  - Benito Parejo, Miguel
A3  - García Merayo, Mercedes
A3  - Núñez García, Manuel
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/15265
AB  - 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...
AB  - 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...
LA  - eng
KW  - Software testing
KW  - Formal methods
KW  - Testing in the distributed architecture
KW  - Testing de software
KW  - Métodos formales
KW  - Testing dearquitectura distribuida
TI  - An effective method to decide bounded reordering conformance in the distributed test architecture
M3  - bachelor thesis
ER  -