「トヨタ車リコール問題、米交通安全局には調査に十分な専門スタッフが足りない？」記事へのコメント

調査の方法

[route127 (38618)]

＞ソフトウエアのコードは1億行近くにも上ると言われている。
どういう調査をするのか知らないんだけど、一行ずつコードを追っていくのか？
最近の組込み、特に自動車なんかは制御系をモデリングしてC++コードを自動生成して流し込むとかそんな話を聞くけど。
大規模コードを追って行って制御系を検証するとか可能なのだろうか。
テストツールとかあるの？

そうそう

[gonzo (38147)]

第三者が膨大なソースコードを解析してバグだしするなんて無理だろ。
逐一そういう検証をするなんて現実的ではないから、
(必要ないとは言わないけど)
ソフトウェアエンジニア以外のリソースの方が必要では？