Describir: Spôsoby testovania špecifikácií v priebehu životného cyklu vývoja softvéru = Methods of testing specific ations during life cycle of software development :