Pruebas basadas en propiedades para Spark Streaming