文献

J-GLOBAL ID：201702279890348911   整理番号：17A0756016

Androidアプリケーションのためのコールバックモデルの自動構築【Powered by NICT】

Automatic Construction of Callback Model for Android Application

著者 (6件)： Guo Chenkai ,  Ye Quanqi ,  Dong Naipeng ,  Bai Guangdong ,  Dong Jin Song ,  Xu Jing
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICECCS  ページ： 231-234  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Androidのようなフレームワークにおけるイベントコールバック機構の多用は静的解析のための挑戦を引き起こす。Android応用(app)のためのコールバックメカニズムのモデル化は,このような課題に対処するために主要な方法となっている。本研究では,経路感度分析を支援する一般的なコールバック関連モデルの構築を目指している。は,既存のモデリングアプローチを三つの未解決課題を考察した1)異なる成分間の建物結合;2)パス高感度条件を同定する3)系駆動かけ直しと細粒ライフサイクルかけ直しを処理した。一般的経路高感度コールバックモデルを構築するためのアルゴリズムを提案し,提案アプローチを検証するために,Androチェッカー,プロトタイプモデル建設を示した。Androチェッカーを用いた二十の実世界アプリケーションを評価した。評価結果は筆者らの手法とツールはモデル化経路条件と成分間起動における強い能力を持つことを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデリング ,  アルゴリズム ,  感度解析 ,  *応用プログラム ,  高感度 ,  ライフサイクル
準シソーラス用語： 静的解析 ,  *アンドロイド , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  移動通信  (ND08030H)

タイトルに関連する用語 (2件)： Androidアプリケーション ,  構築