組込みソフトウェアのテストを目的としたCPUエミュレータ上での異常注入手法

• Item type: SIG Technical Reports(1)
• 公開日: 2009-10-29
• タイトル: 組込みソフトウェアのテストを目的としたCPUエミュレータ上での異常注入手法
• タイトル / 言語: en
• タイトル: A Method of Fault Injection on a CPU Emulator for Embedded Software Testing
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: テスト
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 立命館大学総合理工学院情報理工学部
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University Institute of Science and Engineering College of Information Science and Engineering
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者名: 東, 誠; 山本, 哲男; 早瀬, 康裕; 石尾, 隆; 井上, 克郎
• 著者名(英): Makoto, Higashi; Tetsuo, Yamamoto; Yasuhiro, Hayase; Takashi, Ishio; Katsuro, Inoue
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 組込みソフトウェアの例外処理は，そのソフトウェアが外部デバイスから受け取った入力が特定の条件を満たす際に，その入力を検知して対処する．この例外処理が対処できない入力によって，組込みソフトウェアが正常に動作しないという故障が発生することがある．本研究では，例外処理の効率的なテストを目的として，故障を引き起こす可能性のある入力を組込みソフトウェアに注入する機構を CPU エミュレータに加えることで，組込みソフトウェアに対する異常注入を実現する手法を提案する．具体的には，ソフトウェアが入力を受け取る外部デバイスや，その外部デバイスから受け取る値をソフトウェアの実行前に予め指定しておく．そして，ソフトウェアの実行中に，指定内容に従って，外部デバイスから受け取る入力値の代わりに新しい入力値を設定することにより，ソフトウェアに故障を引き起こす入力を注入する．提案手法を適用して，実際のソフトウェアに故障を引き起こす可能性のある入力を注入したところ，異常注入手法なしには実行が困難な例外処理を実行できることが確認された．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Exception handling in embedded software detects and deals with inputs from I/O devices when those inputs meet conditions of the exception handling. When exception handling cannot deal with an input, the input sometimes causes a failure of embedded software. In this paper, we suppose a method of fault injection by adding the mechanism to inject faults to a CPU emulator for efficient testing of exception handling. At first, before software running, a user sepcifies devices and values which may causes a fault in advance. Then, during softwarerunning, values of inputs from the devices are ignored, and new values are setted as inputs according to the configuration. Applying the method to an open software project shows that CPU emulator with the mechanism to inject faults can execute exception handling that is hard to be executed without the mechanism to inject faults.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2009-SE-166, 号 19, p. 1-8, 発行日 2009-10-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会