文献

J-GLOBAL ID：201802255522653658   整理番号：18A1417172

参照関係と動的特性を分析することによってトレース要約のためのコアオブジェクトを確認すること

Identifying Core Objects for Trace Summarization by Analyzing Reference Relations and Dynamic Properties

著者 (3件)： NODA Kunihiro (Tokyo Institute of Technology) ,  KOBAYASHI Takashi (Tokyo Institute of Technology) ,  ATSUMI Noritoshi (Kyoto University)
資料名： IEICE Transactions on Information and Systems (Web)  (IEICE Transactions on Information and Systems (Web))
巻： E101.D  号： 7  ページ： 1751-1765(J-STAGE)  発行年： 2018年 
JST資料番号： U0469A  ISSN： 1745-1361  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： オブジェクト指向システムの挙動は,リバースエンジニアリングされたシーケンス図として視覚化することができる。このアプローチはプログラム理解タスクのための有益なツールである。しかし,実行トレースに含まれる情報の膨大さのために,リバースエンジニアリングされたシーケンス図はスケーラビリティ問題によりしばしば悩まされる。この問題に対処するために,多くのトレース要約技術が提案されてきた。以前の技術のほとんどは,図の垂直サイズを縮小することに焦点を当てた。スケーラビリティ問題に対処するために,図の水平サイズを減少させることも非常に重要である。それにもかかわらず,ほとんどの研究はこの点に取り組んでなく,従って,水平要約技術の更なる開発の多くのニーズが存在する。本論文では,筆者らは,参照関係と動的特性を分析することによってトレース要約のためのコアオブジェクトを確認するための方法を提示した。コアオブジェクトに関連するインタラクションだけを視覚化することにより,筆者らは,システムの重要な挙動を含む水平にコンパクト化リバースエンジニアリングされたシーケンス図を得ることができた。コアオブジェクトを確認するために,筆者らはまず,オブジェクトの参照関係と寿命を分析することによってシステムにとって取るに足らない一時的オブジェクトを検出し除去した。次に,それらの動的特性に基づく各々の重要なオブジェクトの重要度を推定することにより,筆者らは,極めて重要なもの(すなわち,コアオブジェクト)を確認した。筆者らは,筆者らのツールに筆者らの技術を実装し,さまざまなオープンソースソフトウェアシステムからトレースを用いることによってそれを評価した。結果は,最先端のトレース要約技術と比較して,筆者らの技術がリバースエンジニアリングされたシーケンス図の水平縮小に関してはるかに効果的であることを示した。筆者らの技術の水平圧縮比は平均134.6であったが,最先端技術のそれは11.5であった。筆者らの技術によって課せられたランタイムオーバヘッドは平均167.6%であった。このオーバヘッドは,筆者らの技術の実用性を示す最近のスケーラブルな動的解析技術と比較して,比較的小さい。全体として,筆者らの技術は,小さなオーバヘッドを有するリバースエンジニアリングされたシーケンス図の水平サイズの重要な縮小を達成することができ,プログラム理解のための貴重なツールとなることが期待される。(翻訳著者抄録)

シソーラス用語： 動特性 ,  参照 ,  *トレース【計算機】 ,  *報告 ,  プログラム理解 ,  図面 ,  リバースエンジニアリング ,  ソフトウェア ,  *動的解析
準シソーラス用語： オープンソースソフトウェア ,  シーケンス図 ,  動的特性 ,  *要約

著者キーワード (5件)： 動的解析 ,  リバースエンジニアリングシーケンス図 ,  トレース要約 ,  コアオブジェクト ,  プログラム理解

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

引用文献 (38件)：

• [1] C. Bennett, D. Myers, M.A. Storey, D.M. German, D. Ouellet, M. Salois, and P. Charland, “A survey and evaluation of tool features for understanding reverse-engineered sequence diagrams,” J. Softw. Maint. Evol., vol.20, no.4, pp.291-315, 2008. 10.1002/smr.372
• [2] D. Fahland, D. Lo, and S. Maoz, “Mining branching-time scenarios,” Proc. International Conference on Automated Software Engineering, pp.443-453, 2013. 10.1109/ase.2013.6693102
• [3] M. Brünink and D.S. Rosenblum, “Mining performance specifications,” Proc. International Symposium on Foundations of Software Engineering, pp.39-49, 2016. 10.1145/2950290.2950314
• [4] M. Pradel and T.R. Gross, “Leveraging test generation and specification mining for automated bug detection without false positives,” Proc. International Conference on Software Engineering, pp.288-298, 2012. 10.1109/icse.2012.6227185
• [5] I. Krka, Y. Brun, and N. Medvidovic, “Automatic mining of specifications from invocation traces and method invariants,” Proc. International Symposium on Foundations of Software Engineering, pp.178-189, 2014. 10.1145/2635868.2635890

タイトルに関連する用語 (6件)： 参照 ,  動的特性 ,  分析 ,  トレース ,  コア ,  オブジェクト