2026-06-11T01:11:47Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00229636 2025-01-19T11:28:48Z 6504:11436:11438

確率的プログラムにおけるバグ分析 西村, 優里 于, 海波 ソフトウェア科学・工学 確率的プログラミングを用いることより、統計的モデルの取り扱い、機械学習などの研究開発がより円滑にできるため、近年AIの発展により非常に重要になってきた。しかし、確率的プログラムの特徴を考慮した開発環境がまだ整っていない。本研究室では、GitHubから確率的プログラミング言語Pyroで開発されたシステムの実際のバグを調査分析することより、確率的プログラミング言語独特なバグパターンを抽出し、そのバグパターンを自動検出する手法の提案を行うことを目的としている。これにより確率的プログラムのバグの特徴をつかみ、本研究室で行われているバグ検出ツールの開発に貢献したい。本論文はバグ分析の方法及び現時点での分析結果をまとめる。 情報処理学会 2023-02-16 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/229636 AN00349328 第85回全国大会講演論文集 2023 1 213 214 https://ipsj.ixsq.nii.ac.jp/record/229636/files/IPSJ-Z85-5K-06.pdf application/pdf 214.0 kB 2023-11-17