WEKO3
アイテム
確率的プログラムにおけるバグ検出
https://ipsj.ixsq.nii.ac.jp/records/229635
https://ipsj.ixsq.nii.ac.jp/records/229635f55d416d-3629-4e97-9c70-30994fb5ee15
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z85-5K-05.pdf (275.0 kB)
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-02-16 | |||||||||
| タイトル | ||||||||||
| タイトル | 確率的プログラムにおけるバグ検出 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 九産大 | ||||||||||
| 著者所属 | ||||||||||
| 九産大 | ||||||||||
| 著者名 |
チン, ヴォダイ
× チン, ヴォダイ
× 于, 海波
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 確率的プログラミングを用いることより、統計的モデルの取り扱い、機械学習などの研究開発がより円滑にできるため、近年AIの発展により非常に重要になってきた。しかし、確率的プログラムの特徴を考慮した開発環境がまだ整えていない。本研究では、確率的プログラムの特徴を考慮した確率的プログラムの不具合を効率よく検出できるバグ検出ツールの開発を目的としている。本論文では、FindBugs等既存のバグ検出ツールの現状調査結果をまとめ、本研究室で分析抽出した確率的プログラムのバグパターンを検出するためのツールの実現方法の考案についてまとめる。 | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00349328 | |||||||||
| 書誌情報 |
第85回全国大会講演論文集 巻 2023, 号 1, p. 211-212, 発行日 2023-02-16 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
