*A programmer might also assume the area of a circle is 22/7 times the radius, and write his/her tests accordingly.

Yes, but (s)he will at least detect when the assumption, correct or incorrect, no longer holds. See here for a real world example where simple testing most likely would have prevented a serious bug.