部分評価に基づく繰返し処理内のポインタ値の変化の理解支援

• Item type: Symposium(1)
• 公開日: 2024-09-10
• タイトル: 部分評価に基づく繰返し処理内のポインタ値の変化の理解支援
• タイトル / 言語: en
• タイトル: A Method for Understanding Changes in Pointer Values during Iteratives based on Partial Evaluation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: プログラミング
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 南山大学大学院理工学研究科
• 著者所属: 南山大学理工学部卒，現株式会社トヨタシステムズ
• 著者所属: 南山大学理工学部
• 著者所属: 南山大学理工学部
• 著者所属: 南山大学理工学部
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Technology, Nanzan University
• 著者所属(英): en
• 著者所属(英): Graduate of the Faculty of Science and Technology, Nanzan University, currently TOYOTA SYSTEMS
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Nanzan University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Nanzan University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Nanzan University
• 著者名: 酒匂, 駿; 高畑, 竜馬; 吉田, 敦; 蜂巣, 吉成; 桑原, 寛明
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，繰返し処理におけるポインタ変数の変化を把握するために，ポインタの値を部分評価によって計算し，ポインタの値の埋め込みおよび間接参照値への置換えの 2 種類の表現からなる可視化手法を提案する．また，手法に基づいたツールを実装し，現実的なソースコードに適用できるか評価を行った．その結果，評価対象とした 19 の関数のうちポインタの値の埋め込みを用いた可視化が 19 の関数で適用可能であり，間接参照値への置換えを用いた可視化が 17 の関数で適用可能という結果になった．考察として，模擬実験を行いツールの有無での理解支援への効果を確認し，誤読の可能性について議論した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a method for understanding changes in pointer values during iteratives. The method provides two distinct views of source texts. The first, called the abstract expansion view, inserts relative pointer values computed through partial evaluation after the pointer variable references. The second, called the concrete expansion view, replaces dereferencing expressions of pointer variables with their evaluated results. We have implemented a tool based on the method and evaluated its applicability by applying it to a set of functions in open-source software. The tool generated abstract expansion views for 19 of the 19 functions and concrete expansion views for 17 of the 19 functions. We also discuss the effectiveness of the method in understanding changes in pointer values with conducted a simulated experiment of using tool and without tool, and the possibility of misunderstanding.
• 書誌情報: ソフトウェアエンジニアリングシンポジウム2024論文集; 巻 2024, p. 72-81, 発行日 2024-09-10
• 出版者 / 言語: ja
• 出版者: 情報処理学会