主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展.软件学报,2019,30(1):0
程序分析研究进展
Recent Progress in Program Analysis
投稿时间:2018-08-08  修订日期:2018-08-30
DOI:10.13328/j.cnki.jos.005651
中文关键词:  程序分析  软件质量保障  静态分析  动态分析
英文关键词:program analysis  software quality assurance  static analysis  dynamic analysis
基金项目:国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308,U1736209,61872273,61672045,61472440,61632015,61872445,61502465)
作者单位E-mail
张健 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院大学, 北京 100049 
zj@ios.ac.cn 
张超 清华大学 网络科学与网络空间研究院, 北京 100084  
玄跻峰 武汉大学 计算机学院, 湖北 武汉 430072  
熊英飞 高可信软件技术教育部重点实验室(北京大学), 北京 100871  
王千祥 华为技术有限公司, 北京 100095  
梁彬 中国人民大学 信息学院, 北京 100872  
李炼 中国科学院大学, 北京 100049
中国科学院 计算技术研究所, 北京 100190 
 
窦文生 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院大学, 北京 100049 
 
陈振邦 国防科技大学 计算机学院, 湖南 长沙 410073  
陈立前 国防科技大学 计算机学院, 湖南 长沙 410073  
蔡彦 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190  
摘要点击次数: 1232
全文下载次数: 546
中文摘要:
      在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望程序分析未来的研究方向和挑战.
英文摘要:
      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, we introduce the basic program analysis techniques, including abstract interpretation, data flow analysis, summary-based analysis, symbolic execution, dynamic analysis, machine learningbased program analysis, etc. Then, we summarize program analysis approaches for different types of software systems, including mobile applications, concurrent software, distributed systems, binary code, etc. Finally, we discuss potential research directions and challenges of program analysis in the future.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利