自動プログラム生成におけるプログラム依存を考慮した交叉の提案

• Item type: Journal(1)
• 公開日: 2024-03-15
• タイトル: 自動プログラム生成におけるプログラム依存を考慮した交叉の提案
• タイトル / 言語: en
• タイトル: Program Slice-based Crossoverfor Automated Program Genration
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [一般論文] 自動プログラム生成，自動プログラム修正，交叉，プログラムスライス
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• ID登録: 10.20729/00233254
• ID登録 / ID登録タイプ: JaLC
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 日本電信電話株式会社
• 著者所属: 日本電信電話株式会社
• 著者所属: 日本電信電話株式会社
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者名: 渡辺, 大登; 柗本, 真佑; 肥後, 芳樹; 楠本, 真二; 倉林, 利行; 切貫, 弘之; 丹野, 治門
• 著者名(英): Hiroto, Watanabe; Shinsuke, Matsumoto; Yoshiki, Higo; Shinji, Kusumoto; Toshiyuki, Kurabayashi; Hiroyuki, Kirinuki; Haruto, Tanno
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 自動でプログラムを生成する技術の実現手法として，遺伝的アルゴリズム（GA）を用いた生成と検証に基づく手法が提案されている．この手法では，テストケースを入力として受け取り，プログラムの改変と評価を繰り返して全テストケースに通過するプログラムの生成を試みる．GAにおけるプログラム改変の方法は変異と交叉に大別される．このうち，交叉は過去の改変履歴の一部を再利用する操作であり，一点交叉や一様交叉などの生物を模した方法がある．しかし，これら既存の交叉はプログラム内の依存関係を破壊し，構文的意味的に誤ったプログラムを生成するという問題がある．そこで本研究ではプログラムの依存関係をあらかじめ解析し，依存関係を破壊しない新たな交叉手法を提案する．評価実験として，プログラミングコンテストの問題80問を対象とした適用実験を行った結果，既存の交叉と比べた生成効率の向上を確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As a method for realizing the technology of automatic program generation, there is an approach based on the generation and verification using genetic algorithm (GA). In this method, it receives test cases as inputs and attempts to generate a program that passes all test cases by repeating modification and evaluation of the program. In GA, there are two types of program modifications: mutation and crossover. Crossover reuses part of the past modification history, and there are methods modeled after organisms such as single-point crossover and uniform crossover. However, these existing crossovers have the problem of generating syntactically and semantically incorrect programs by breaking the dependencies within the program. Therefore, in this research, we propose a new crossover method that pre-analyzes the dependencies of the program and does not break the dependencies. As an evaluation experiment, we conducted an application experiment targeting 80 programming contest problems and confirmed an improvement in generation efficiency compared to existing crossovers.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 65, 号 3, p. 718-728, 発行日 2024-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764
• 公開者 / 言語: ja
• 公開者 / 出版者: 情報処理学会