Given that we spend little on testing, how should we test software?