Falando sobre a determinação de cobertura do mcdc pela malha de testes e sobre os testes para a validação do protótipo