The only problem is that hardware to verify ECU code is an actual car of particular model with equipment to analyse exhaust. Or very precise mathematical model of it which would be much more expensive and would probably require super-computer to run.