| 講演名 | 2018-01-18 シグネチャ情報と入出力情報を用いたJavaメソッドの生成 下仲 健斗(阪大), 肥後 芳樹(阪大), 松本 淳之介(阪大), 内藤 圭吾(阪大), 楠本 真二(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソースコードを自動的に生成する，自動プログラミングと呼ばれる技術は古くから研究されている．これまでいくつかの手法が提案されてきているが，用途が限定的であるものや，数行程度の短いソースコードしか生成できないものなどがほとんどである．本研究では，生成の対象をJava メソッドに限定し，Java メソッドの仕様からソースコードを自動生成することを試みる．仕様は，シグネチャ情報（引数の型と返値の型，メソッド名）および入出力情報（引数の値と返値の組の集合）である．提案手法では，シグネチャ情報を用いて既存のJava ソースコードを探索し，生成するJava メソッドの基となりうるコードを発見する．そして，入出力情報を満たすように少しずつコードを加工する．提案手法を評価するために，4 つのオープンソースプロジェクトに対して本手法を適用した．その結果，18 個のJava メソッドを自動生成することに成功した．生成されたJava メソッドの事例を紹介し，手法の改善策を述べる． |
| 抄録(英) | |
| キーワード(和) | 自動プログラミング / 自動プログラム修正 |
| キーワード(英) | |
| 資料番号 | MSS2017-48,SS2017-35 |
| 発行日 | 2018-01-11 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2018/1/18(から2日開催) |
| 開催地（和） | 広島市立大学サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 名嘉村 盛和(琉球大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN-ONLY |
| タイトル（和） | シグネチャ情報と入出力情報を用いたJavaメソッドの生成 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 自動プログラミング |
| キーワード(2)（和/英） | 自動プログラム修正 |
| 第 1 著者 氏名（和/英） | 下仲 健斗 / Kento Shimonaka |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 肥後 芳樹 / Yoshiki Higo |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 3 著者 氏名（和/英） | 松本 淳之介 / Junnosuke Matsumoto |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 4 著者 氏名（和/英） | 内藤 圭吾 / Keigo Naito |
| 第 4 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 5 著者 氏名（和/英） | 楠本 真二 / Shinji Kusumoto |
| 第 5 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2018-01-18 |
| 資料番号 | MSS2017-48,SS2017-35 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | MSS-380,SS-381 |
| ページ範囲 | pp.7-12(MSS), pp.7-12(SS), |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (MSS, SS) |