アカウント名:
パスワード:
>ソフトウエアのコードは1億行近くにも上ると言われている。どういう調査をするのか知らないんだけど、一行ずつコードを追っていくのか?最近の組込み、特に自動車なんかは制御系をモデリングしてC++コードを自動生成して流し込むとかそんな話を聞くけど。大規模コードを追って行って制御系を検証するとか可能なのだろうか。テストツールとかあるの?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
最初のバージョンは常に打ち捨てられる。
調査の方法 (スコア:1)
>ソフトウエアのコードは1億行近くにも上ると言われている。
どういう調査をするのか知らないんだけど、一行ずつコードを追っていくのか?
最近の組込み、特に自動車なんかは制御系をモデリングしてC++コードを自動生成して流し込むとかそんな話を聞くけど。
大規模コードを追って行って制御系を検証するとか可能なのだろうか。
テストツールとかあるの?
Re:調査の方法 (スコア:0)
ただし、コストの問題からモデルチェッキングを本格的に使うのは(NASAが開発した)人工衛星の制御系とかそんなもんだったはず@数年前
社長の説明がgdgdな事から見てもプログラムの正当性は論証されているわけではなくて、あくまでトヨタによる「実証」にとどまっているんだと思われます。