Um analista de teste testa uma função de ordenação. Qual das seguintes é uma relação metamórfica válida?

1. A. A ordenação deve completar em complexidade de tempo O(n log n) no caso médio, e esse limite de desempenho é a relação metamórfica que deve se manter entre execuções sucessivas na mesma lista de entrada 💬 A
2. B. A ordenação deve ser estável, significando que chaves iguais mantêm sua ordem de entrada, e essa propriedade de execução única qualifica-se como a relação metamórfica entre a lista de entrada e sua saída ordenada, embora MRs exijam relações entre múltiplas execuções 💬 B
3. C. Se ordenar a lista L produz L', então ordenar L' novamente (re-ordenar a saída já ordenada) deve produzir o mesmo L' (idempotência); equivalentemente, ordenar uma permutação de L deve produzir o mesmo L' (invariância de permutação) ✓ C
4. D. A ordenação deve usar o algoritmo quicksort internamente, e a consistência do algoritmo escolhido entre chamadas constitui a relação metamórfica que se mantém entre invocações consecutivas de ordenação 💬 D

Revelar gabarito

Resposta correta: Se ordenar a lista L produz L', então ordenar L' novamente (re-ordenar a saída já ordenada) deve produzir o mesmo L' (idempotência); equivalentemente, ordenar uma permutação de L deve produzir o mesmo L' (invariância de permutação)

Referência: https://istqb.org/wp-content/uploads/sdm-uploads/ISTQB-CTAL-TA-Syllabus-v4.0-EN-4.pdf