2017 Fiscal Year Research-status Report
柔らかい制約を用いた自動デバッグ方式（国際共同研究強化）
| Project/Area Number |
15KK0016
|
|---|
| Research Institution | Hosei University |
|---|
Principal Investigator |
細部 博史 法政大学, 情報科学部, 教授 (60321577)
|
|---|
| Project Period (FY) |
2016 – 2018
|
| 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 |
複数段階の柔らかい制約を用いたプログラムの不具合箇所発見方式に関する研究成果をまとめ，発表する．
|
