2026-04-16T07:56:17Z https://ipsj.ixsq.nii.ac.jp/oai

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

確率的プログラムにおけるバグ検出 チン, ヴォダイ 于, 海波 ソフトウェア科学・工学 確率的プログラミングを用いることより、統計的モデルの取り扱い、機械学習などの研究開発がより円滑にできるため、近年AIの発展により非常に重要になってきた。しかし、確率的プログラムの特徴を考慮した開発環境がまだ整えていない。本研究では、確率的プログラムの特徴を考慮した確率的プログラムの不具合を効率よく検出できるバグ検出ツールの開発を目的としている。本論文では、FindBugs等既存のバグ検出ツールの現状調査結果をまとめ、本研究室で分析抽出した確率的プログラムのバグパターンを検出するためのツールの実現方法の考案についてまとめる。 情報処理学会 2023-02-16 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/229635 AN00349328 第85回全国大会講演論文集 2023 1 211 212 https://ipsj.ixsq.nii.ac.jp/record/229635/files/IPSJ-Z85-5K-05.pdf application/pdf 275.0 kB 2023-11-17