Automatic Debugging by Using Soft Constraints

研究成果の概要 (和文) : ソフトウェアの自動デバッグ方式の構築を目的として、プログラムの誤り特定手法に関する研究を行った。そのためのアプローチとして制約の概念を採用した。具体的には、入力、プログラム、事後条件から制約充足問題を構成した上で、違反の原因となった制約を特定し、プログラム中の対応する部分を誤り箇所の候補として提示するようにした。本研究では特に柔らかい制約を用いた自動デバッグ方式を構築し、Ｃ言語を対象とする自動デバッグツールを開発した。研究成果の概要 (英文) : We studied automatic software debugging by focusing on the localization of faults in programs. For this purpose, we adopted the notion of constraints. Specifically, we construct constraint satisfaction problems from inputs, programs, and post-conditions, and then localize constraints that cause the violations to indicate the corresponding program parts as candidates of the faults. We particularly constructed soft constraint-based methods for automatic debugging, and developed an automatic debugging tool for C programs