• Do definiowania otwartych zadań/problemów, specyfikowania aplikacji lub jej modułów, stosowane są modele (formalne, jak i nieformalne)
• Z takich modeli przypadki testowe mogą być tworzone w sposób systematyczny
7/53