| 講演名 | 2017-07-20 組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討 山本 椋太(名大), 吉田 則裕(名大), 青木 奈央(JASA), 高田 広章(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | レガシー化した組込みソフトウェアの理解が困難になっており，保守や再利用に大きなコストがかかる．リアルタイム制御を行う組込みソフトウェアを状態遷移モデルで表現可能な場合が多く存在する．本研究では，組込みソフトウェアのレガシーコードから状態遷移表を抽出し，ソースコードの理解を支援する手法を提案する．また，状態遷移表が大規模になる可能性があるため，状態遷移表の分析を支援するための手法について検討する． |
| 抄録(英) | It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the system. Real-time control of an embedded software system can be represented as a state transition model. In this paper, we propose an approach to extract state transition tables from legacy code for understanding embedded real-time systems. Also, we also discuss a method to support developers in analyzing large and complex state transition tables. |
| キーワード(和) | リバースエンジニアリング / コード解析 / 状態遷移表 |
| キーワード(英) | Reverse-Engineering / Code Analysis / State Transition Table |
| 資料番号 | SS2017-16,KBSE2017-16 |
| 発行日 | 2017-07-12 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | SS / KBSE / IPSJ-SE |
|---|---|
| 開催期間 | 2017/7/19(から3日開催) |
| 開催地（和） | 函館コミュニティプラザ |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 金田 重郎(同志社大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Shigeo Kaneda(Doshisha Univ.) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 粂野 文洋(日本工大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Fumihiro Kumeno(Nippon Inst. of Tech.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 猿渡 卓也(NTTデータ) / 木村 功作(富士通研) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Takuya Saruwatari(NTT DATA) / Kosaku Kimura(Fujitsu labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討 |
| サブタイトル（和） | |
| タイトル（英） | On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support |
| サブタイトル（和） | |
| キーワード(1)（和/英） | リバースエンジニアリング / Reverse-Engineering |
| キーワード(2)（和/英） | コード解析 / Code Analysis |
| キーワード(3)（和/英） | 状態遷移表 / State Transition Table |
| 第 1 著者 氏名（和/英） | 山本 椋太 / Ryota Yamamoto |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 2 著者 氏名（和/英） | 吉田 則裕 / Norihiro Yoshida |
| 第 2 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 3 著者 氏名（和/英） | 青木 奈央 / Nao Aoki |
| 第 3 著者 所属（和/英） | 組込みシステム技術協会(略称：JASA) Japan Embedded Systems Technology Association(略称：JASA) |
| 第 4 著者 氏名（和/英） | 高田 広章 / Hiroaki Takada |
| 第 4 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2017-07-20 |
| 資料番号 | SS2017-16,KBSE2017-16 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | SS-136,KBSE-137 |
| ページ範囲 | pp.133-138(SS), pp.133-138(KBSE), |
| ページ数 | 6 |
| 発行日 | 2017-07-12 (SS, KBSE) |