Static testing of algorithms for ETL tasks

A tester deals with algorithms every day. But what should be done, if there is no technical possibility to conduct dynamic testing? 

The outstanding features of static testing of algorithms for processing big data are highlighted and described in this talk. Also, a practical example will be presented. It will help the tester to understand the idea of testing, based on the construction of hypotheses using induction and deduction methods.