This might be a little off topic.. But is to be used in a AVR project :)
I'm researching different tools for automated testing of embedded systems. I've come across a product that sounds very promising:
Rational PurifyPlus RealTime and
Rational Test RealTime
I would like to hear if anybody has any experience with any of these products.