| Budget Amount *help |
¥17,940,000 (Direct Cost: ¥13,800,000、Indirect Cost: ¥4,140,000)
Fiscal Year 2015: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2014: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2013: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2012: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
|
|---|
| Outline of Final Research Achievements |
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.
|
