2018 Fiscal Year Research-status Report
柔らかい制約を用いた自動デバッグ方式（国際共同研究強化）
| Project/Area Number |
15KK0016
|
|---|
| Research Institution | Hosei University |
|---|
Principal Investigator |
細部 博史 法政大学, 情報科学部, 教授 (60321577)
|
|---|
| Project Period (FY) |
2016 – 2019
|
| Keywords | ソフトウェア / デバッグ |
|---|
| Outline of Annual Research Achievements |
本研究はソフトウェアの自動デバッグ方式の構築を目的とする．基課題では，柔らかい制約の考え方を用いて不具合箇所発見を行い，さらにＣ言語を対象とするデバッグツールを開発した．本課題では基課題を発展させて，柔らかい制約と複数パスを用いたプログラムの不具合箇所発見・可視化方式を研究開発する．特に，基課題で構築したプログラム符号化方式の拡張，それに対して柔らかい制約を組み合わせた不具合箇所発見方式の構築，発見した不具合箇所候補をユーザに提示する可視化方式の構築に取り組む．
平成３０年度には以下の研究を行った．まず，前年度に構築した柔らかい制約と複数パスを用いたプログラムの不具合箇所発見方式を改良した．本方式は，基課題で構築したｈａｒｄｅｎｅｄ ｆｌｏｗ－ｓｅｎｓｉｔｉｖｅ ｔｒａｃｅ ｆｏｒｍｕｌａ （ＨＦＴＦ）を拡張し，不具合箇所を含みうるパスの部分をさらに分類して複数段階の柔らかい制約で符号化することで，不具合箇所候補のランキングを実現したものである．本改良では，プログラム中の対応する構文要素の情報を利用して，柔らかい制約によるパスの符号化をより詳細に行うようにすることで，プログラムの不具合箇所候補のランキングをより詳細に決定するようにした．さらに，前年度に開発した，不具合箇所候補を可視化して，ユーザに提示するグラフィカルユーザインタフェースを備えたツールを拡張し，前述の不具合箇所発見方式に対応した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
ソフトウェアの自動デバッグ方式の研究は進展しているが，複数段階の柔らかい制約を用いたプログラムの不具合箇所発見方式に関する研究成果を発表する必要がある．
|
| Strategy for Future Research Activity |
複数段階の柔らかい制約を用いたプログラムの不具合箇所発見方式に関する研究成果をまとめ，発表する．
|
