程序分析研究进展
作者：张健; 张超; 玄跻峰; 熊英飞; 王千祥; 梁彬; 李炼; 窦文生; 陈振邦; 陈立前; 蔡彦
摘要：在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 计算机软件及计算机应用
收录：
- 上海图书馆馆藏
- CSCD 中国科学引文数据库来源期刊(含扩展版)
- 知网收录(中)
- 北大期刊(中国人文社会科学期刊)
- 维普收录(中)
- 国家图书馆馆藏
- 万方收录(中)
- SA 科学文摘(英)
- Pж(AJ) 文摘杂志(俄)
- EI 工程索引(美)
- JST 日本科学技术振兴机构数据库(日)
- 统计源期刊(中国科技论文优秀期刊)
关键词：
- 程序分析
- 软件质量保障
- 静态分析
- 动态分析
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
