- 設計・検証ツールトラック
- DVT-1
- DVT-2
- DVT-3
- DVT-4
- DVT-5
- DVT-6
- DVT-7
- DVT-8
- DVT-9
- DVT-10
- DVT-11
- DVT-12
- DVT-13
- DVT-14
ソースコードなしでの静的解析によるバグ検出
組込みソフトウェアの開発においても、静的解析ツールが使用されることが多くなっている。しかし、すべてのソースコードが入手できない場合、解析不可、あるいは結果が不正確となる場合が多い。今回の講演では、ソースコードがない場合でも静的解析が可能となる技術といくつかの実例を紹介する。
牧田 宏史株式会社エーアイコーポレーション 組込みテスト事業部 SPQAグループ 技術担当
プロフィール
株式会社エーアイコーポレーション 組込みテスト事業部 SPQAグループ 技術担当
通信機器制御ソフトウェア開発、携帯電話端末ソフトウェア開発などを経て、2010年より現職
開発現場での経験を元に、ソフトウェア開発ツールの技術サポートに従事
- K基調講演
- S特別講演
- I招待講演
- Pパネルセッション
- TSETテクニカルセッション
- TSIIoTテクニカルセッション
- ASアナログスキルアップトラック
- DVT設計・検証ツールトラック
- EDA-LPBEDA-LPBトラック
- HDハードウェアトラック
- PDプログラマブル・デバイストラック
- IoTIoTトラック
- RTロボットセッション
- Cスペシャルセッション
- SSスポンサーセッション
- JGJASA技術本部セミナー
- JFJASAグローバルフォーラム2015
- GG学生と教育関係者向け組込み業界研究セミナー
- IPAIPAセミナー
- MM組込みマルチコアサミット2015
- ROETロボコン モデリングワークショップ
- プライベートカンファレンス
- ABアライアンスビジネス交流会
