文献

J-GLOBAL ID：201702276180671686   整理番号：17A0355441

SEEKER:ストリームに敏感な要求駆動指向分析【JST・京大機械翻訳】

Seeker: Flow-sensitive Demand-driven Points-to Analysis

著者 (4件)： Xiao Kejuna (School of Software,Shanghai Jiaotong University) ,  Yu Haiboa (School of Software,Shanghai Jiaotong University) ,  Chen Yuting (School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University) ,  Zhong Hao (School of Electronic Information and Electrical Engineering, Shanghai Jiaotong University)
資料名： Jisuanji Gongcheng  (Jisuanji Gongcheng)
巻： 42  号： 11  ページ： 70-75  発行年： 2016年 
JST資料番号： C2532A  ISSN： 1000-3428  CODEN： JISGEV  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 要求駆動指向分析技術は,厳しい時間やメモリ制限を受ける環境に一般的に用いられる.要求駆動指向分析の流敏感度を向上させることによって,いくつかの変数を正確に指向することができるが,実際には,より高いデータ依存性を有する大規模ソフトウェアシステムが存在し,目的変数の指向関係に貢献するプログラム文を識別することは困難である。そこで,フローのプログラム表示方法を提案し,文脈自由言語の到達可能性の概念を定義することによって,目的変数のフローの関係を探索する.SEEKERツールを開発し,ユーザに興味のある変数の計算指向集合を求めることができる.実験結果は,要求指向の指向分析アルゴリズムがフローのコンテキスト指向性解析の効率を改善することを示した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *指向性 ,  記憶装置 ,  データ依存性
準シソーラス用語： ソフトウェアシステム , 【Automatic Indexing@JST】

著者キーワード (5件)： points-to analysis ,  demand-driven ,  flow-sensitive ,  Context Free Language(CFL) ,  static analysis

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： ストリーム ,  分析