文献

J-GLOBAL ID：202002276883560567   整理番号：20A1800807

API前処理を推論するための利用マイニングと実行解析の組み合わせに向けて【JST・京大機械翻訳】

Towards combining usage mining and implementation analysis to infer API preconditions

著者 (4件)： Nguyen Hoan Anh (Iowa State University, USA) ,  Nguyen Tien N. (University of Texas at Dallas, USA) ,  Rajan Hridesh (Iowa State University, USA) ,  Dyer Robert (Bowling Green State University, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： WASPI 2018  ページ： 15-16  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： API法の前提条件は,その受信機オブジェクトの状態およびライブラリ設計者(s)によって意図された議論の制約であり,クライアントコードでそれを正しく呼び出す。API前提条件を自動的に推論するための2つの主要なアプローチがある。第1の手法は,クライアントコードにおけるAPI利用を保護し,それらを前提条件に一般化する,頻繁にチェックされた条件をマイニングする。第2の手法は,事前条件を計算するためにAPIの実装を分析する。本論文では,使用ベースアプローチが,実装ベースがより弱いものを生成する間,意図するよりも前処理をしばしば生成するという観察を報告した。著者らの知見は,これらの種類の前提条件推論アプローチと精密化解を統合する新しい方向を呼び出し,推論された前提条件のセット間の差を低減する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 前処理 ,  *受信機 ,  精密化

著者キーワード (3件)： API前処理 ,  プログラム解析 ,  仕様マイニング

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

タイトルに関連する用語 (5件)： API ,  前処理 ,  推論 ,  解析 ,  組み合わせ