Kedy sú reasoning-modely a výpočty počas testovania odôvodnené, a kedy je to preháňať?