I wonder what would happen if people realized that tests are really nothing more than a (possibly incomplete) specification written in a declarative language. Would people approach the whole aspect of testing differently? Obviously, that makes the whole "I don't know how to test" question mute. Sometimes I think it would be interesting to translate all of the unit tests that some people write into Prolog, and see how close you could get to a working application.