Describir: Zvýšenie efektivity testovania programových systémov