柔らかい制約を用いた自動デバッグ方式（国際共同研究強化）

2016 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

2: Research has progressed on the whole more than it was originally planned.

Reason

平成２８年度末に渡航先外国機関に到着し，研究を開始したため．

Strategy for Future Research Activity

当初の研究計画に従い，平成２８年度に着手した本課題の研究を推進する．まずは研究項目Ａにおけるプログラム符号化方式と，研究項目Ｂにおける不具合箇所発見方式の研究開発を中心に進める．研究項目Ｃにおける可視化方式の研究開発については，研究項目Ａ，Ｂの中間的成果を踏まえて取り組む．