收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

程序分析研究进展

张健  张超  玄跻峰  熊英飞  王千祥  梁彬  李炼  窦文生  陈振邦  陈立前  蔡彦  
【摘要】:在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.

知网文化
【相似文献】
中国期刊全文数据库 前17条
1 邢光荣,郑国梁,李宣东;一种基于格局的程序分析方法[J];软件学报;1994年05期
2 褚玉清;一个反动态跟踪程序的破译方法[J];小型微型计算机系统;1988年02期
3 肖率;梁钢;;设计文摘两则[J];雷达与对抗;1989年01期
4 高方社;徐建城;李丛;孟凡鹏;;C语言程序分析器的设计与实现[J];电子设计工程;2014年04期
5 刘宗田;姜川;;程序分析的专家模型与方法学[J];计算机科学;1996年06期
6 冯辉宁;;基于分段执行和摘要的动态程序分析[J];计算机应用研究;2010年06期
7 刘磊,袁琦,金成植;基于信息流分析的程序分析技术[J];计算机研究与发展;1997年S1期
8 陈国勋;;程序分析的归结技术[J];计算机应用与软件;1992年02期
9 孙建宏,朱玉珑;过程嵌套调用图生成程序NESTING.COM——VAX/VMS上的一个程序分析工具[J];小型微型计算机系统;1990年01期
10 袁杰勋;尤晋元;龚为众;;C语言程序分析器6833-cflow的自动生成[J];计算机工程与应用;1991年11期
11 朱俚治;;程序属性的检测与程序属性的分类[J];计算机测量与控制;2018年03期
12 岳珍梅;张伟刚;;Java程序分析工具在复杂网络背景下的分析与设计[J];电子技术与软件工程;2014年13期
13 秦小麟;一个支持C程序分析的维护工具[J];计算机工程与设计;1992年04期
14 谢雪胜;C语言程序分析解题技巧[J];电脑知识与技术;2003年29期
15 蒋金山;SCO XENIX DAEMON程序分析与编程[J];电脑与信息技术;1995年05期
16 蒋刚;李兆鹏;;C程序分析工具中程序切片的设计与实现[J];小型微型计算机系统;2018年03期
17 郑瑶海;陈伟;赵琛;;基于中间表示的可复用程序分析系统[J];计算机工程;2007年09期
中国重要会议论文全文数据库 前1条
1 缪力;张大方;杨学东;;计算有互斥机制的并发程序的程序切片[A];第十届全国容错计算学术会议论文集[C];2003年
中国博士学位论文全文数据库 前7条
1 连瑞琦;具有可适应性的程序分析技术[D];中国科学院研究生院(计算技术研究所);2000年
2 涂明君;程序化的哲学阐释[D];中国人民大学;2008年
3 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
4 李倩;Java程序指向分析研究[D];南京大学;2012年
5 章程;基于机器学习和程序分析相结合的程序调试技术研究[D];上海交通大学;2013年
6 马晓东;C程序内存错误静态分析技术研究[D];国防科学技术大学;2009年
7 凌翔;需求模型和程序间行为一致性的比较检测[D];武汉大学;2013年
中国硕士学位论文全文数据库 前10条
1 何兴陆;面向隐私泄露分析的污点逆向传播技术[D];国防科学技术大学;2016年
2 张俊男;基于程序分析和神经网络语言模型的代码推荐研究[D];上海师范大学;2018年
3 张若愚;静态程序分析辅助的动态漏洞挖掘[D];上海交通大学;2010年
4 汪国俊;基于程序分析的B公司原料采购计划数字化管理研究[D];东北大学;2010年
5 李学博;基于UML的工艺程序分析系统的分析与设计[D];山东大学;2006年
6 张弛;基于可配置程序分析的抽象解释方法研究[D];南京航空航天大学;2017年
7 王福维;面向动态污点分析技术的二进制程序分析与漏洞挖掘研究[D];北京邮电大学;2015年
8 侯苏宁;基于抽象解释的数值程序分析技术研究[D];国防科学技术大学;2009年
9 孔亚茹;面向移动计算迁移的程序组件分割策略研究与设计[D];北京邮电大学;2016年
10 田楠;多面体抽象域的整数实现及效率改进方法[D];国防科学技术大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978