I think that's naive, or let's say oversimplified. There are too many cases where systems pass these tests and then fail in real-world scenarios, sometimes quic

I think that's naive, or let's say oversimplified. There are too many cases where systems pass these tests and then fail in real-world scenarios, sometimes quickly. There's simply no way that a specific set of software routines can guarantee that a processor behaves in spec.