文献

J-GLOBAL ID：201202296721579321   整理番号：12A1663036

VMMを用いた実デバイスドライバの検証環境の設計

著者 (4件)： 島田恭平 (筑波大) ,  表祐志 (筑波大) ,  品川高廣 (東大) ,  加藤和彦 (筑波大)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 3  ページ： ROMBUNNO.OS-122,NO.12  発行年： 2012年10月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： WindowsやLinuxなどの主要なOSでは,システムクラッシュの原因の多くはデバイスドライバの不具合にある。そのため,システムの安定性を維持するためにはデバイスドライバの検証が重要である。しかし,従来のデバイスドライバの検証方法では,デバイスドライバのソースコードが必要であったり,あるいは実マシン上での検証が難しい,といった課題があった。本論文では,デバイスの仮想化を行わないVMMを用いて,実デバイスドライバの検証を行うシステムを提案する。まれにしか発生しない状況での検証を容易に行うために,デバイスの仕様にもとづいて状態遷移を監視するオートマトンをVMM内に保持し,予め指定したタイミングでI/Oやレジスタの値を強制的に変更する。これにより通常はほとんど発生しない状態遷移を意図的に引き起こして,デバイスドライバが正しく動作するか検証する。VMMでI/Oを監視・書き換えを行う手法であるため,デバイスドライバのソースコードが不要であるほか,実マシン上のデバイスドライバに対する検証が可能になる。本研究では,ディスクアクセスに使われるAHCIデバイスのデバイスドライバに対して,実際に指定した状態遷移を強制的に引き起こすシステムを実装し,Windows7及びUbuntu10.10のデバイスドライバの検証を行った。(著者抄録)

シソーラス用語： *制御プログラム ,  *仮想機械システム ,  *入出力制御 ,  Windows ,  Linux ,  故障 ,  障害 ,  *プログラム検証 ,  計算機コード ,  移動 ,  *オートマトン ,  磁気ディスク ,  評価試験
準シソーラス用語： システム障害 ,  ソースコード ,  *デバイスドライバ ,  状態遷移

分類 (4件)： オペレーティングシステム  (JD03020J) ,  入出力装置  (JC04050U) ,  計算機システム開発  (JD02010R) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (4件)： デバイスドライバ ,  検証 ,  環境 ,  設計