TY  - THES
AU  - Espinosa Victoria, Cristina Valentina
A3  - Riesco Rodríguez, Adrián
A3  - Martín Martín, Enrique
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/14286
AB  - Actualmente, existen muy pocas alternativas para probar los sistemas de stream processing, consistiendo la mayoría de ellas en tests de unidad, los cuales no son viables en casos en los que se requiera disponer de una gran cantidad de streams o...
AB  - Nowadays, there are very few alternatives for stream processing systems testing, most of them consisting of unit tests, which are not viable when it is required a large number of streams or very long streams, because it is necessary to define every...
LA  - spa
KW  - Apache Flink
KW  - Lógica temporal
KW  - Entornos distribuidos
KW  - Big Data
KW  - Random testing
KW  - Scala
KW  - Stream processing
KW  - Tiempo real
KW  - Temporal logic
KW  - Distributed environments
KW  - Real time
TI  - Random testing basado en lógica temporal para Apache Flink
T2  - Random testing based on temporal logic for Apache Flink
M3  - master thesis
ER  -