Describir: Príspevok k metódam testovania digitálnych systémov