文献

J-GLOBAL ID：202002243167793447   整理番号：20A1185880

データベースアプリケーションの依存性解析への抽象解釈の拡張【JST・京大機械翻訳】

Extending Abstract Interpretation to Dependency Analysis of Database Applications

著者 (5件)： Jana Angshuman (Indian Institute of Technology Patna, Patna, Bihar, India) ,  Halder Raju (Indian Institute of Technology Patna, Patna, Bihar, India) ,  Abhishekh Kalahasti Venkata (Indian Institute of Technology Patna, Patna, Bihar, India) ,  Ganni Sanjeevini Devi (Indian Institute of Technology Patna, Patna, Bihar, India) ,  Cortesi Agostino (Universita` Ca’ Foscari Venezia, Venezia, VE, Italy)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 46  号： 5  ページ： 463-494  発行年： 2020年 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラム変数とプログラム記述の間の依存性情報(データおよび/または制御依存性)は,ソフトウェア工学活動の広い範囲,例えばプログラムスライシング,情報フローセキュリティ解析,デバッギング,符号化最適化,符号再利用,符号理解において重要な役割を果たしている。ほとんどの既存の依存性分析器は主流言語に焦点を合わせ,それらは質問とデータ操作コマンドを埋め込むデータベースアプリケーションをサポートしない。2004年にWillmorらによって提案された関係データベース管理システムに対する言語への最初の拡張は,主にその構文ベースの計算と流れの非感受性のために,解析における精度の欠如に悩まされる。その後,この研究方向には有意な寄与は見られなかった。本論文では,データベースアプリケーションの静的依存性解析のための抽象的介入フレームワークを拡張し,精度に関する意味論に基づく計算調整可能性を提供した。より具体的には,様々な関係と非関係抽象領域を用いて依存性計算を行い,精度と効率に関する詳細な比較解析を行った。最後に,様々な抽象領域を統合した意味論ベースのデータベースデペンデンスアナライザであるプロトタイプの半DDAsemsemを示し,実験的評価結果を示し,提案アプローチの有効性を確立した。本論文では,GotoCodeプロジェクトの一部としてJavaサーバページ(JSP)ベースオープンソースデータベース駆動Webアプリケーションの選択されたセットに対して,間隔の平均6%,八角形の11%,多面体の21%,および区間抽象ドメインのパワーセットの7%の精度の改善を示した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  意味論 ,  言語 ,  *データベース ,  感受性 ,  デバッギング ,  分析機器 ,  *応用プログラム ,  ソフトウェア工学 ,  再利用 ,  有効性 ,  *抽象解釈 ,  プロトタイプ
準シソーラス用語： Webアプリケーション ,  情報フロー , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： データベース ,  アプリケーション ,  依存性 ,  解析 ,  抽象解釈 ,  拡張