- 1
- 2
- 3
- 4
- 5
程序分析研究进展
资料介绍
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
部分文件列表
| 文件名 | 大小 |
| 程序分析研究进展.pdf | 910K |
最新上传
- 打赏
- 30日榜单
-
21ic下载 打赏310.00元 2天前
用户：w178191520
-
21ic下载 打赏310.00元 2天前
用户：小猫做电路
-
21ic下载 打赏310.00元 2天前
用户：zhengdai
-
21ic下载 打赏210.00元 2天前
用户：gsy幸运
-
21ic下载 打赏230.00元 2天前
用户：jh0355
-
21ic下载 打赏260.00元 2天前
用户：xzxbybd
-
21ic下载 打赏70.00元 2天前
用户：jh03551
-
21ic下载 打赏60.00元 2天前
用户：sun2152
-
21ic下载 打赏80.00元 2天前
用户：铁蛋锅
-
21ic下载 打赏60.00元 2天前
用户：xuzhen1
-
21ic下载 打赏60.00元 2天前
用户：liqiang9090
-
21ic下载 打赏30.00元 2天前
用户：wangcunxia
-
21ic下载 打赏20.00元 2天前
用户：玉落彼岸
-
21ic下载 打赏15.00元 2天前
用户：kk1957135547
-
21ic下载 打赏15.00元 2天前
用户：w993263495
-
21ic下载 打赏15.00元 2天前
用户：x15580286248
-
21ic下载 打赏15.00元 2天前
用户：w1966891335
-
21ic下载 打赏15.00元 2天前
用户：hp860629
-
21ic下载 打赏10.00元 2天前
用户：staven630
-
21ic下载 打赏10.00元 2天前
用户：我觉得八行
-
21ic下载 打赏10.00元 2天前
用户：曾多次
-
21ic下载 打赏10.00元 2天前
用户：272586851
-
21ic下载 打赏10.00元 2天前
用户：熄欲
-
SYFSSYYFF 打赏3.00元 3天前
-
我是蒙帆 打赏1.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：w178191520
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏210.00元 3天前
用户：zhengdai
-
21ic下载 打赏210.00元 3天前
用户：jh0355
-
21ic下载 打赏210.00元 3天前
用户：jh03551
-
21ic下载 打赏210.00元 3天前
用户：xzxbybd
-
21ic下载 打赏70.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏60.00元 3天前
用户：sun2152
-
21ic下载 打赏60.00元 3天前
用户：xuzhen1
-
21ic下载 打赏60.00元 3天前
用户：liqiang9090
全部评论(0)