Ici tu testes une fonction triviale. Ce n'est pas à proprement parler une implémentation. C'est juste un alias pour multiplier deux foix le même nombre, cela revient à tester l'opérateur (*). Et comme (*) est fourni par le langage, soit tu lui fais confiance, soit tu le teste.
Mais avec une fonction qui mérite vraiment un test, tu peux prouver que ta fonction est correcte pour tous les cas si un ou plusieurs cas de base sont corrects, et ensuite faire tes tests sur ces cas de base. Inutile de s'amuser à tester tous les entiers un par un.
L'utilité des tests est ensuite de pouvoir les relancer quand tu fais une modif pour t'assurer qu'il n'y a pas eu de régression.
Mais avec une fonction qui mérite vraiment un test, tu peux prouver que ta fonction est correcte pour tous les cas si un ou plusieurs cas de base sont corrects, et ensuite faire tes tests sur ces cas de base. Inutile de s'amuser à tester tous les entiers un par un.
L'utilité des tests est ensuite de pouvoir les relancer quand tu fais une modif pour t'assurer qu'il n'y a pas eu de régression.