関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法

• Item type: Trans(1)
• 公開日: 2016-09-12
• タイトル: 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法
• タイトル / 言語: en
• タイトル: Automatic Generation of Expressions Including Variables of Nested Function and Tuple Types
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東北大学大学院情報科学研究科
• 著者所属: 東北大学電気通信研究所
• 著者所属: 東北大学電気通信研究所
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Sciences, Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication, Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication, Tohoku University
• 著者名: 新田, 祐児; 上野, 雄大; 大堀, 淳
• 著者名(英): Yuji, Nitta; Katsuhiro, Ueno; Atsushi, Ohori
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本発表では，関数型言語におけるテストケースの自動生成において，関数型と組型がネストした型を持つ変数を使用する式を，ランダムかつ自動的に生成する手法を提案する．現在，関数型言語においてランダムな式の自動生成の手法を提案している研究はいくつか存在している．しかしながら，現存する手法では，関数型言語が提供するとあるライブラリ中の変数と定数を用いてランダムな式を生成するとき，組型や関数型がネストした型を持つ変数を使用する式を生成することが困難である．これを受けて，本発表ではこれを可能にするような手法として，そのような変数を使用する式を作るとき，その変数の型のネストを一度に解消することでその変数を含んだ式の生成を実現するようなアルゴリズムを提案する．この手法により，従来の手法によって生成されるテストケースと比較して，実際の関数型言語のライブラリに含まれる変数を十分に使用するような，より実践的なテストケースを自動生成することが可能になる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Towards automatic generation of test cases in a functional language, this presentation proposes a method for random generation of expressions using library functions provided in a practical programming language. The key feature of this work is to handle variables of nested function and tuple types, which frequently appear in such libraries. The proposed method includes such variables in resulting expressions by generating applications and selections depending on their types. This method allows us to generate more comprehensive test cases than conventional method generates.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 9, 号 4, p. 27-27, 発行日 2016-09-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会