文献详情
程序分析研究进展
外文标题：Recent Progress in Program Analysis
文献类型：期刊
期刊名称：软件学报
年：2019
卷：30
期：1
页码：80-109
ISSN：1000-9825
关键词：程序分析;软件质量保障;静态分析;动态分析
所属部门：信息学院
链接地址：http://d.oldg.wanfangdata.com.cn/Periodical_rjxb201901006.aspx
摘要：在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
DOI：10.13328/j.cnki.jos.005651
百度学术：程序分析研究进展
语言：中文
人气指数：2
浏览次数：2
作者其他论文



乳腺癌生存者性生活质量与生活质量关系研究.冯东霞, 陆俊婷, 林书球, et al. .中国性科学. 2018, 27(9), 147-152.
住房适度保障水平研究——基于福利体制理论视角.张超, 黄燕芬, 杨宜勇,.价格理论与实践. 2018, 20-25.
乳腺癌生存者性生活质量与生活质量关系研究.冯东霞, 陆俊婷, 林书球, et al. .中国性科学. 2018, 147-152.
软件分析:技术、应用与趋势.王千祥, 张健, 谢涛, et al. .CCF2015-2016中国计算机科学技术发展报告会论文集中国计算机学会. 2016, 55-113.
浅谈农村体育公共政策执行阻滞与治理.张超,.投资与创业. 2018, 209-211.