程序分析研究进展

doi:10.13328/j.cnki.jos.005651

微信服务号

微信订阅号

首页 > 过刊浏览>2019年第30卷第1期 >80-109. DOI:10.13328/j.cnki.jos.005651

PDF HTML阅读 XML下载导出引用引用提醒

程序分析研究进展
DOI:
                        10.13328/j.cnki.jos.005651
                    
作者:
                        
                        
                    
作者单位:
作者简介:张健(1969-),男,安徽庐江人,博士,研究员,博士生导师,CCF杰出会员,主要研究领域为自动推理与约束求解,软件测试及分析;张超(1986-),男,博士,副教授,博士生导师,CCF专业会员,主要研究领域为软件与系统安全;玄跻峰(1984-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为软件分析与测试,软件数据分析,基于搜索的软件工程;熊英飞(1982-),男,博士,研究员,博士生导师,CCF专业会员,主要研究领域为软件工程,程序设计语言;王千祥(1970-),男,博士,技术专家,CCF高级会员,主要研究领域为软件工程,软件分析;梁彬(1973-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为信息安全,软件分析;李炼(1977-),男,博士,研究员,博士生导师,CCF专业会员,主要研究领域为程序分析,软件工程;窦文生(1984-),男,博士,副研究员,CCF专业会员,主要研究领域为软件工程,程序分析;陈振邦(1981-),男,博士,副教授,CCF专业会员,主要研究领域为程序分析,形式化方法;陈立前(1982-),男,博士,副教授,CCF专业会员,主要研究领域为程序分析与验证,抽象解释;蔡彦(1986-),男,博士,研究员,CCF专业会员,主要研究领域为软件测试,程序分析.
通讯作者:张健,E-mail:zj@ios.ac.cn
中图分类号:
基金项目:国家重点基础研究发展计划（973）（2014CB340701）；中国科学院前沿科学重点项目（QYZDJ-SSW-JSC036）；国家自然科学基金（61772308，U1736209，61872273，61672045，61472440，61632015，61872445，61502465）

Recent Progress in Program Analysis

Author:

Affiliation:

Fund Project:

National Key Basic Research Program of China (973) (2014CB340701); Frontier Science Project of Chinese Academy of Sciences (QYZDJ-SSW-JSC036); National Natural Science Foundation of China (61772308, U1736209, 61872273, 61672045, 61472440, 61632015, 61872445, 61502465)

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

在信息化时代，人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一，日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等），特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、并发软件、分布式系统、二进制代码等）的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.

Abstract:

In the information age, people are increasingly demanding high quality of software systems. Program analysis is one of the important approaches to guarantee the quality of software, and has been receiving attentions from academia and industry. This article mainly focuses on the research progress in program analysis in the last decade. First, the article introduces the basic program analysis techniques, including abstract interpretation, data flow analysis, summary-based analysis, symbolic execution, dynamic analysis, machine learning-based program analysis, etc. Then, it summarizes program analysis approaches for different types of software systems, including mobile applications, concurrent software, distributed systems, binary code, etc. Finally, the article discusses potential research directions and challenges of program analysis in the future.

参考文献

相似文献

引证文献

引用本文

张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展.软件学报,2019,30(1):80-109

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2018-08-08
最后修改日期:2018-08-30
录用日期:
在线发布日期: 2018-11-23
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码