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

東, 誠; 山本, 哲男; 早瀬, 康裕 他

情報処理学会研究報告. ソフトウェア工学研究会報告, 2009, 2009-SE-166(19), 1-8

アクセス数:848件（2026-02-16 11:49 集計）

固定URL: https://hdl.handle.net/11094/50172

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
ipsj-se_166_19_1 pdf なし 262 KB 82 2014.09.26 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
組込みソフトウェアのテストを目的としたCPUエミュレータ上での異常注入手法
A Method of Fault Injection on a CPU Emulator for Embedded Software Testing
クミコミ　ソフトウェア　ノ　テスト　ヲ　モクテキ　ト　シタ　CPU　エミュレータ　デノ　イジョウ　チュウニュウ　シュホウ
著者
著者名
東, 誠 ; ヒガシ, マコト ; Higashi, Makoto
NRID
1000040388129 1000040388129
著者名
山本, 哲男 ; ヤマモト, テツオ ; Yamamoto, Tetsuo
NRID
1000040423090 1000040423090
著者名
早瀬, 康裕 ; ハヤセ, ヤスヒロ ; Hayase, Yasuhiro
NRID
1000060452413 1000060452413
著者名
石尾, 隆 ; イシオ, タカシ ; Ishio, Takashi
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
抄録
組込みソフトウェアの例外処理は，そのソフトウェアが外部デバイスから受け取った入力が特定の条件を満たす際に，その入力を検知して対処する．この例外処理が対処できない入力によって，組込みソフトウェアが正常に動作しないという故障が発生することがある．本研究では，例外処理の効率的なテストを目的として，故障を引き起こす可能性のある入力を組込みソフトウェアに注入する機構を CPU エミュレータに加えることで，組込みソフトウェアに対する異常注入を実現する手法を提案する．具体的には，ソフトウェアが入力を受け取る外部デバイスや，その外部デバイスから受け取る値をソフトウェアの実行前に予め指定しておく．そして，ソフトウェアの実行中に，指定内容に従って，外部デバイスから受け取る入力値の代わりに新しい入力値を設定することにより，ソフトウェアに故障を引き起こす入力を注入する．提案手法を適用して，実際のソフトウェアに故障を引き起こす可能性のある入力を注入したところ，異常注入手法なしには実行が困難な例外処理を実行できることが確認された.
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.
出版者
情報処理学会
ジョウホウ　ショリ　ガッカイ
収録物名
情報処理学会研究報告. ソフトウェア工学研究会報告
巻(号)
2009-SE-166(19)
ページ
1-8
刊行年月
2009-10-29
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/50172
PISSN
09196072
NCID
AN10112981
アクセス権
open access
権利情報
ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article