Invia SMS: Testovateľnosť a metódy generovania testov pre digitálne systémy