特性故障注入を用いたデバイスドライバの鉱業とチェック対関数【Powered by NICT】

Bai Jia-Ju; Wang Yu-Ping; Liu Hu-Qiu; Hu Shi-Min

文献

J-GLOBAL ID：201702261411462701 整理番号：17A0308466

特性故障注入を用いたデバイスドライバの鉱業とチェック対関数【Powered by NICT】

Mining and checking paired functions in device drivers using characteristic fault injection

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A0308466&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0308466&from=J-GLOBAL&jstjournalNo=B0445B") }}

著者 (4件)： , , ,
資料名：
巻： 73 ページ： 122-133 発行年： 2016年05月
JST資料番号： B0445B ISSN： 0950-5849 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

デバイス運転者は,しばしば資源を割り当て,放出する対の特異的カーネルインタフェイス機能と呼ぶ,これらの機能は対になった機能といえる。しかし貧弱なドキュメンテーションと不注意に起因して,開発者が運転者の対関数,これは資源利用の破れを引き起こすを誤用。多くの動的アプローチはAPIルールをマイニングと利用者モード応用のための資源利用をチェックするために提案されているが,それらは設計に起因するカーネルモードデバイスドライバへの適用は稀である。一方,ほとんどの既存の動的アプローチは誤り処理コード,アベイラビリティとスケーラビリティを制限することをカバーするように体系的機構を欠いている。著者らの目的は,これらの問題を解くための動的解析を改善することである。本論文では,PairCheck,デバイスドライバにおける採鉱および検査対関数のための新しいアプローチ,三つの技術を提案した。最初に,テストケース,偶発的誤差をシミュレートし,少ない努力で最も誤り処理コードをカバーするシーケンスを発生する特性故障注入フレームワークを設計した。第二に,テストケース実行中に呼遮断を通して記録される完全な実行時間情報。第三に,著者らが収集した実行時情報,名称パターンと統計解析に基づいた対関数を,チェックした。PairCheckの有用性を検証するために,11Linux Ethernetカード運転者に対する評価を行った。PairCheckはLinuxにおける37と43の実際の対関数3.1.1および3.17.2を採掘した。これら採掘対関数を用いて,3.17.2年には固定されたLinux3.1.1年の10違反,および3.17.2における35種類の新しい違反を見出した。開発者から回答が偽陽性率が低いを示した。正常実行と比較して,コード被覆率は平均8.3%増加した。著者らの研究では,特徴的な故障注入を用いた資源利用のAPIルールを採掘し正確にできることを示した。マイニングされたルールであるデバイスドライバの信頼性を改善するために有用である。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

, , , , , , , ,
, , , , , , 【Automatic Indexing@JST】

著者キーワード (5件)： , , , ,

計算機システム開発

, , , ,

前のページに戻る