パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

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

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

    • by Anonymous Coward on 2010年02月27日 9時27分 (#1724633)
      プログラムの自動検証で言えばモデルチェッキングとか使えば、急加速がおこらないことを「数学的に証明(論証)」することができます。
      ただし、コストの問題からモデルチェッキングを本格的に使うのは(NASAが開発した)人工衛星の制御系とかそんなもんだったはず@数年前

      社長の説明がgdgdな事から見てもプログラムの正当性は論証されているわけではなくて、あくまでトヨタによる「実証」にとどまっているんだと思われます。
      親コメント

最初のバージョンは常に打ち捨てられる。

処理中...