Com relação a teste de software, quando questionado sobre a construção de um produto corretamente, a referência se dá ao conjunto de atividades que garantem que o software implemente corretamente uma função específica. Este conceito se refere à: