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

調査の方法

[route127 (38618)]

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

Re:調査の方法

[Anonymous Coward]

ツールが吐き出したC/C++のソースを一行ごとに追っていくようなことは，やりたくても出来ないはずです（ツールとそのファンクション・ライブラリは全面的に信用するしかない）
一般的にはデバッグはツールが備えるデータロギング等の機能を使っておこないます
今は自動車屋さんも（いや、金持ってる業界と会社は）みんなMATLABベースのツール使ってるんですよね