文献

J-GLOBAL ID：201302216965375845   整理番号：13A0591209

色彩豊かな汚れ分析に基づくブラックボックス試験

Black-box testing based on colorful taint analysis

著者 (4件)： Chen Kai (Inst. of Software, Chinese Acad. of Sci. State Key Lab. of Information Security, Beijing) ,  Feng Dengguo (Inst. of Software, Chinese Acad. of Sci. State Key Lab. of Information Security, Beijing) ,  Su Purui (Inst. of Software, Chinese Acad. of Sci. State Key Lab. of Information Security, Beijing) ,  Zhang Yingjun (Inst. of Software, Chinese Acad. of Sci. State Key Lab. of Information Security, Beijing)
資料名： Science China. Information Sciences  (Science China. Information Sciences)
巻： 55  号： 1  ページ： 171-183  発行年： 2012年 
JST資料番号： C2579A  ISSN： 1674-733X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア脆弱性検出はソフトウェア保護を保証するための最も重要な方式の1つである。2つの主要なクラスの方式はバイナリファイルにおける脆弱性を検出することができる:ホワイトボックス試験とブラックボックス試験。前者は脆弱性を検出するために経路制約を構築して解決する必要がある。それには2つの主要な欠点がある:経路爆発と制約の複雑性。後者はバイナリファイルをテストするためにしばしば漫然と様々な入力を使い果たす。この論文は,バイナリファイルにおける脆弱性を検出するために両方の試験方法を組み合わせる。ある一定のチェックポイントに対応する検査状況に作用する入力要素を分析することによって,著者らはファジィ化効率を増加させるようにチェックポイントを始める1クラスの入力を作り出すことができる。ガード条件と検査条件との関係を分析することによって,冗長検査点を取り除く。色彩豊かな汚れ解析方法(CTAM)を,ガード条件を計算するために提案し,従来の汚れ解析方法(TTAM)より効率的である。著者らはプロトタイプを実装して,それに関するいくつかの実験を行った。結果から,著者らの方式はブラックボックス試験の効率を増加させることができた。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *ブラックボックス ,  インテグリティ ,  保護 ,  プロトタイプ ,  色相 ,  試験 ,  曖昧さ ,  方式
準シソーラス用語： ソフトウェア保護 ,  チェックポイント ,  ファジィ ,  解析方法 ,  試験方法 ,  色彩

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (5件)： 色彩 ,  汚れ ,  分析 ,  ブラックボックス ,  試験