文献

J-GLOBAL ID：201302271704879030   整理番号：13A0873663

仮想マシンモニタを用いた割込み処理のデバッグ手法

著者 (6件)： 宮原俊介 (慶応大) ,  吉村剛 (慶応大) ,  山田浩史 (東京農工大) ,  山田浩史 (JST-CREST) ,  河野健二 (慶応大) ,  河野健二 (JST-CREST)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 6  ページ： ROMBUNNO.OS-124,NO.6  発行年： 2013年04月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： オペレーティングシステム(OS)の複雑化,多機能化に伴い,OS内部に存在するバグが増え続けている。OSのデバッグが困難である要因のひとつに割込みによる非同期処理がある。割込み処理はその非同期性から再現性が低く,バグレポートがあっても同一の状況を再現したり,あるいはコード修正後の動作検証が極めて難しい。静的解析やモデル検査といった手法を適用しようとしても,扱うべき状態数が爆発しやすく現実的にはかなりの困難が伴う。本研究では,割込みのタイミングを意図的に制御可能にすることによりデバッグを支援する手法を提案する。提案手法では仮想マシンモニタを利用し割込みのタイミングを意図的に制御する。仮想マシンモニタの,割込みをエミュレートするコードに変更を加えることで指定したコード位置に任意の割込みを発生させることができるようにしている。この手法を用いることで,割込みの発生を故意に起こし,開発段階での割込み処理のデバッグを支援することができる。本手法の有用性を示すために,Linuxに実在した割込み依存のバグを2つ再現し,提案手法により検出できることを確認した。(著者抄録)

シソーラス用語： *仮想機械システム ,  *デバッギング ,  ソフトウェア ,  ソフトウェア開発 ,  割込み ,  割込制御 ,  非同期処理 ,  プログラム解析 ,  プログラム構造 ,  モデル検査 ,  静的コード解析
準シソーラス用語： *ソフトウェアテスト ,  *仮想マシン ,  静的解析

分類 (2件)： オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 仮想マシンモニタ ,  割込み ,  デバッグ ,  手法