テストでは不具合は防げない

「日経コンピュータ」を斜め読みしていたら、某不具合裁判でＴ井先生が証人になっていました（正確には意見書を提出）。別の人（研究者ではなく実務家）の意見書には「テストでは不具合は防げない」とあったとのこと。静的検証や形式的手法の研究者は（下っ端の私も含め）よくいうセリフですが、一般的認識になりつつあるのでしょうか…？