O teste de software que projeta casos de testes derivados do conhecimento da estrutura e da implementação do software é conhecido por: