柔らかい制約を用いた自動デバッグ方式

• 資料種別: 文書・図像類
• タイトル: 柔らかい制約を用いた自動デバッグ方式
• 著者・編者: 細部, 博史; HOSOBE, Hiroshi
• 著者標目: 細部, 博史; https://nrid.nii.ac.jp/nrid/1000060321577/; HOSOBE, Hiroshi
• 出版年月日等: 2017-06-09
• 出版年（W3CDTF）: 2017-06-09
• 並列タイトル等: Automatic Debugging by Using Soft Constraints
• タイトル（掲載誌）: 科学研究費助成事業 研究成果報告書
• 掲載ページ: 1-4
• 本文の言語コード: jpn
• 件名標目: ソフトウェア; デバッグ; 制約
• 対象利用者: 一般
• 一般注記: 研究分野：情報学
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: 17_kaken_24300010seika.pdf （fulltext）; https://hosei.ecats-library.jp/da/repository/00021456/17_kaken_24300010seika.pdf
• オンライン閲覧公開範囲: 限定公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 法政大学 : 法政大学学術機関リポジトリ

• 要約等: 研究成果の概要 (和文) : ソフトウェアの自動デバッグ方式の構築を目的として、プログラムの誤り特定手法に関する研究を行った。そのためのアプローチとして制約の概念を採用した。具体的には、入力、プログラム、事後条件から制約充足問題を構成した上で、違反の原因となった制約を特定し、プログラム中の対応する部...