Hacker News Reader

It seems to me that such a "perfect" testing process would basically amount to declarative programming.

Indeed it is; a perfect test is equivalent to the code being tested.

Well...SQL is declarative, and we still see "Select * from Users"