权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Constructing Integrated Development Environment for Highly Reliable Probabilistic Programs

构建高可靠概率程序集成开发环境

基本信息

批准号：
21K11841
负责人：
于海波
金额：
$ 2.66万
依托单位：
Kyushu Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

本研究では、確率的プログラムの挙動における依存関係を究明し、構築された依存性理論に基づいて、確率的プログラムのテスト、デバッグ、及び保守に関する新しい手法を提案し、確率的プログラムの開発支援環境の実現と評価を行う。本年度では、昨年度定義された依存性モデルに基づいて研究を続き、得られた主な研究成果は以下の通りである。1) 確率的プログラムの依存性モデルとしての Probabilistic Program Dependence Graph (PPDG)の生成アルゴリズムについて検討し、提案した。また、PPDG に基づいて確率的プログラムを静的・動的スライシングのアルゴリズムについて検討し、提案した。2) 確率的プログラムにおける新しいデバッグ手法を開発するために、確率的プログラミングシステムにおけるバグの特性など色々な面から続けて調査を行った。具体的には、Github上登録された確率的プログラミングシステムPyMC3と確率プログラミング言語Pyro及びPyroのバクエンドであるPyTorchを利用し、Python言語で開発されたシステムの155個のバグを分析し、確率的プログラミングに関連するバグを絞り込み、これらのバグのバグパタンを抽出した。3) 既存のバグ検出ツールFindBugs等の現状調査を行い、確率的プログラムのバグ検出ツールの実現方法として、ソースコードをAST(抽象構文木)びバイナリコードに変換した上でバグ検出を行う方針を決め、ツールの構築方法を提案した。

This study aims to investigate the dependency relationships between the dynamics of probability and probability, construct the basis for the theory of dependency, propose new methods for the dynamics of probability and probability, and evaluate the implementation of the development support environment for probability and probability. This year's definition of dependency is based on the following research findings: 1)Dependency of the Probability Program Dependency Graph (PPDG) The PPDG is based on the accuracy of the selection process, the static and dynamic selection process, and the selection process. 2)The new method of identifying the probability of a failure is developed, and the probability of a failure is investigated. Specifically, the correct rate of registration on Github is the PyMC3. The correct rate of registration is the PyTorch of the Pyro language and Pyro language. The Python language is developed to analyze 155 of the PyTorch language. The correct rate of registration is related to the PyMC 3. The PyTorch language is extracted from the PyTorch language. 3)The current status of existing search engines, such as FindBugs, is being investigated, and the implementation method for determining the rate of search engines, search engines, and search engines is being proposed.