文献

J-GLOBAL ID：201702224552603323   整理番号：17A1027328

最新の不変性解析の移動:実験ツールボックスと精度ベンチマーク【Powered by NICT】

Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark

著者 (3件)： Holland Benjamin ,  Santhanam Ganesh Ram ,  Kothari Suresh
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICST  ページ： 484-491  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 副作用なしで独立に試験可能な機能を同定するために用いることができるので,不変性解析ソフトウェア試験,検証と妥当性確認(V&V)に重要である。不変性解析のための既存ツールは大部分で詳細に精度がテストされていないまたは維持されていない大学プロトタイプとしたJavaの後期バージョンで書かれたプログラムを解析することができなかった。本論文では,対象:ポイントツー解析と型システムを用いたを活用する一つの不変性を推論するための二つの顕著なアプローチを再実行した。Java8ソースプログラムを支援するに加えて,著者らの再実装をJavaバイトコードの解析を支持した。相対精度を評価するために,それぞれの手法の精度境界を厳密にベンチマークを作成した。二つの手法をベンチマークの解析に実験の結果を報告し,実世界応用への拡張性を比較した。ベンチマークの結果に基づくアプローチポイントがある例に基づくアプローチ型推論よりもより正確であることを明らかにした。しかし,実世界アプリケーションを用いた実験は,ポイントベースのアプローチは非常に大きな応用に対して良くスケーリングしないと型推論に基づくアプローチは,スケーラブルな代替を提供するかもしれないことを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 型推論 ,  *不変性 ,  応用プログラム ,  プロトタイプ ,  *ベンチマーク ,  Java
準シソーラス用語： バイトコード ,  ソースプログラム ,  型システム ,  妥当性確認 ,  解析コード ,  *ツールキット , 【Automatic Indexing@JST】

分類 (2件)： 言語プロセッサ  (JD03040F) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 不変性 ,  解析 ,  実験 ,  ツールボックス ,  ベンチマーク