Would there have been a formal validation plan for Collins ? (Surely there was ?) Was it ever used?

It’s a bit rich telling the supplier his system doesn’t work, if the formal validation plan was never followed.