O tipo de teste de software, também conhecido como funcional, onde o foco se dá nas entradas e saídas do sistema, é conhecido como: