Na Engenharia de Software, o método de teste que tem por finalidade determinar se os requisitos foram total ou parcialmente satisfeitos pelo produto, não verificando como ocorre o processamento, mas apenas os resultados produzidos, é conhecido como: