Automated Debugging with Soft Constraints(Fostering Joint International Research)

• Project/Area Number: 15KK0016
• Research Category: Fund for the Promotion of Joint International Research (Fostering Joint International Research)
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: Hosei University
• Principal Investigator: Hosobe Hiroshi 法政大学, 情報科学部, 教授 (60321577)
• Project Period (FY): 2016 – 2019
• Project Status: Completed (Fiscal Year 2019)
• Budget Amount: ¥11,180,000 (Direct Cost: ¥8,600,000、Indirect Cost: ¥2,580,000)
• Keywords: ソフトウェア / デバッグ / 制約

Outline of Final Research Achievements

To construct a technology for automated software debugging, we studied a method for localizing and visualizing faults in programs. The method performs the ranking of candidates for faults by encoding possibly faulty program paths with multi-level soft constraints. We also constructed an algorithm for solving multi-level soft constraints as constraint hierarchies. The algorithm solves constraint hierarchies by repeatedly generating and solving ordinary constraint problems by using an external SMT solver.

Academic Significance and Societal Importance of the Research Achievements

本研究成果の学術的意義は，プログラム中の不具合箇所を発見する問題に対して，制約と呼ばれる概念を用いるアプローチを推し進めることで，不具合箇所の候補に順序を付けられることを示し，さらに，不具合箇所発見処理における基盤となる制約解消の新しい手法を示したことである．本研究成果の社会的意義は，ソフトウェアのデバッグという問題に対して，自動デバッグという観点から新たな可能性を示したことである．

Research Products

• [Int'l Joint Research] ニースソフィアアンティポリス大学(フランス) (2017)
  • Year and Date: 2017-03-27
• [Journal Article] Solving Hierarchical Soft Constraints with an SMT Solver (2020)
  • Author(s): Hiroshi Hosobe
  • Journal Title: Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020) Volume: - Pages: 42-46
  • DOI: 10.1145/3384613.3384654
  • Peer Reviewed
• [Journal Article] A Japanese Software Keyboard for Tablets That Reduces User Fatigue (2018)
  • Author(s): Teppei Yajima and Hiroshi Hosobe
  • Journal Title: Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018) Volume: - Pages: 339-346
  • DOI: 10.1109/compsac.2018.00054
  • Peer Reviewed
• [Journal Article] A 2-by-6-Button Japanese Software Keyboard for Tablets (2018)
  • Author(s): Kei Takei and Hiroshi Hosobe
  • Journal Title: Proceedings of VISIGRAPP2018 Volume: 2 Pages: 147-154
  • DOI: 10.5220/0006652701470154
  • Peer Reviewed
• [Journal Article] A Hand Gesture-Based Method for Biometric Authentication (2018)
  • Author(s): Satoru Imura and Hiroshi Hosobe
  • Journal Title: Lecture Notes in Computer Science (HCI International 2018) Volume: -
  • Peer Reviewed
• [Presentation] SMTソルバーを用いた制約階層解消法 (2020)
  • Author(s): 細部博史
  • Organizer: 人工知能学会第112回人工知能基本問題研究会
• [Presentation] ソフト制約のモデル化・解決とその応用 (2019)
  • Author(s): 細部博史
  • Organizer: 人工知能学会第109回人工知能基本問題研究会
  • Invited