Here is a document that outlines challenges and solutions of testing of Mars Science Laboratory:
http://compass.informatik.rwth-aachen.de/ws-slides/havelund.pdf
I found the approach of log files analysis unexpected but quite beneficial on many levels. It seems to me that the same approach could be used while testing the more conventional web applications, for example. Does anyone have a practical experience and lessons learned from this way of testing?