Defesa de Dissertação de Mestrado: Uma análise da eficácia da utilização de assertivas como prevenção e observação de falhas em software