文档名：贝叶斯程序分析
摘要：程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向.
Abstract：Programanalysisplaysacriticalroleinsoftwaredevelopmentandmaintenance.However,traditionallog-ic-basedprogramanalysismethodsexhibitsignificantlimitationswhendealingwithmodern,complex,large-scale,anddy-namicallyrichsoftwaresystems.Therootcauseoftheselimitationsliesintheuncertaintypresentinsoftwaresystems.Toaddressthisissue,researchershaveproposedaseriesofnewtechniquesforspecificprogramanalysisproblems.Thesetech-niquescombineprobabilityinformationwithtraditionallogicanalysistocapturetheuncertaintyinherentinsoftwaresys-tems.Bysummarizingandabstractingexistingworkinthisarea,thispaperintroducestheBayesianprogramanalysisframework.ThecoreideaofthisframeworkistointegrateprogramanalysiswithBayesianstatisticalinference.Itdoessobymodelingandupdatingprobabilitydistributionsabouttheprogramtoinferinformationaboutprogrambehavior.Bayes-ianprogramanalysisemploysprobabilisticlogicprogrammingtosimultaneouslyhandlebothprobabilityandlogicinforma-tion,providingaunifiedapproachthatencompassesvariousexistingworks.Itcanalsobegeneralizedtonon-traditionalstaticprogramanalysistasks,suchasprogramfaultlocalizationanddeltadebugging.ThispaperprovidesadefinitionoftheBayesianprogramanalysisframework,demonstratesitsapplicationsinprogramanalysisandrelatedfields,andoutlinesfuturedirectionsfordevelopment.
作者：张昕 王冠成 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞Author：ZHANGXin WANGGuan-cheng WUYi-qian CHENYi-fan LITian-chi ZHANGYi-fan XIONGYing-fei
作者单位：高可信软件技术教育部重点实验室(北京大学),北京100871;北京大学计算机学院,北京100871
刊名：电子学报 ISTICEIPKU
Journal：ActaElectronicaSinica
年，卷(期)：2024, 52(4)
分类号：TP312
关键词：程序分析 逻辑编程 概率逻辑编程 贝叶斯网络 贝叶斯推断
Keywords：programanalysis logicprogramming probabilisticlogicprogramming bayesiannetwork bayesianin-ference
机标分类号：TP311.52O453TN702
在线出版日期：2024年6月26日
基金项目：贝叶斯程序分析[
期刊论文] 电子学报--2024, 52(4)张昕 王冠成 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
贝叶斯程序分析 Bayesian Program Analysis
贝叶斯程序分析.pdf
- 文件大小:
- 13.71 MB
- 下载次数:
- 60
-
高速下载
|
