組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討

• Item type: SIG Technical Reports(1)
• 公開日: 2017-07-12
• タイトル: 組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討
• タイトル / 言語: en
• タイトル: On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 組込みシステム技術協会
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Infomatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Infomatics, Nagoya University
• 著者所属(英): en
• 著者所属(英): Japan Embedded Systems Technology Association
• 著者所属(英): en
• 著者所属(英): Graduate School of Infomatics, Nagoya University
• 著者名: 山本, 椋太; 吉田, 則裕; 青木, 奈央; 高田, 広章
• 著者名(英): Ryota, Yamamoto; Norihiro, Yoshida; Nao, Aoki; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: レガシー化した組込みソフトウェアの理解が困難になっており，保守や再利用に大きなコストがかかる．リアルタイム制御を行う組込みソフトウェアを状態遷移モデルで表現可能な場合が多く存在する．本研究では，組込みソフトウェアのレガシーコードから状態遷移表を抽出し，ソースコードの理解を支援する手法を提案する． また，状態遷移表が大規模になる可能性があるため，状態遷移表の分析を支援するための手法について検討する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2017-SE-196, 号 22, p. 1-6, 発行日 2017-07-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会