Qual é o teste de hipótese que valida um modelo de processo, demonstrando que conjuntos de transações reais, quando executadas através do modelo exibido, produzem as mesmas características de desempenho do processo atual?