Valider qu'un arbre binaire fileté fonctionne comme prévu

Question

J'essaie de valider que l'insertion et la suppression de mon arbre binaire fileté fonctionnent comme prévu.

Serait-il sûr de supposer que la procédure suivante aurait testé tous les cas d'angle au moins une fois?

J'ai un tableau d'entier s = {1, 2,…, n-1, n} pour n = 1'000'000. Je randomise ensuite l'ordre de S pour obtenir S 'et S *. S 'est ensuite utilisé pour insérer ses éléments séquentiellement, dans l'arbre. Une fois que tous les éléments sont insérés, je crée une liste dans l'ordre de l'arbre, disons A, et je confirme que A = S. Ceci conclut le test d'insertion.

Pour la suppression, je passe des éléments de S * séquentiellement comme argument à supprimer de l'arbre, testant que chaque appel a réussi. Une fois tous les éléments supprimés, je confirme que l'arbre est vide.