The real question IMHO is neither "Is this software perfect" nor "Did it function correctly?", it is "is the software quality sufficient for the risks associate

The real question IMHO is neither "Is this software perfect" nor "Did it function correctly?", it is "is the software quality sufficient for the risks associated with failure?" What are the bad events resulting from failure? I see mainly people being wrongly punished (and suing) and people wrongly not being removed from of their cars when actually drunk. On the other hand, the source reports "incomplete verification of design, and incomplete “white box” and “black box” testing". That sounds like the "well it mostly works I guess" level. To me, that's insufficient.