从软件工程的角度：Verification vs Validation

LZ 知识渊博，受益匪浅。

我们也可以从软件工程的角度，讲一讲“All software bugs can be fixed”充其量是半对。

有了spec，写了软件，你说，我测过了 （verified-我写的软件符合spec）。由于你的系统是封闭的，test case是有限的，即使是有bug，通过继续debug，可以找到为什么出错，进而fix。

但是作为一个工程系统，你的设计必须通过“validation”-你的系统在做的事是对的。这时候你的系统事实上是开放的 - 外部条件的假设，已知和未知的条件，你要对付的case事实上是无穷的。

回到丰田的情况，我相信他们的软件设计过程应当是严谨的（一天吃不出个胖子不是?). 问题可能出现在对外界条件（EMI,etc)的假设上。