El área de conocimiento que estudia la construcción sistemática de pruebas se denomina Análisis de Terminación.