文档名：软件分析技术、应用与趋势
软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.
作者：王千祥 张健 谢涛 张路 熊英飞 陈雨亭 陈振邦[5]卜磊[6]陈立前[5]梁彬[7]江贺[8]李征[9]李戈 彭鑫[10]钟浩 董威[5]贾向阳[11]马菲菲 蒲戈光[12]刘烃[13]刘辉[14]
作者单位：北京大学,北京中国科学院软件所研究员,北京美国伊利诺伊大学厄巴纳-香槟分校计算机科学系,美国,伊利诺伊上海交通大学,上海国防科技大学,北京南京大学,南京中国人民大学,北京大连理工大学,大连北京化工大学,北京复旦大学,上海武汉大学,武汉华东师范大学,上海西安交通大学,西安北京理工大学,北京CCF软件工程专业委员会
母体文献：CCF2015-2016中国计算机科学技术发展报告会论文集
会议名称：CCF2015-2016中国计算机科学技术发展报告会
会议时间：2016年10月1日
会议地点：太原
主办单位：中国计算机学会
语种：chi
分类号：TP3TP2
关键词：软件分析 缺陷检测 程序测试 代码搜索 软件质量
在线出版日期：2018年11月22日
基金项目：
相似文献
相关博文
- 文件大小:
- 4.15 MB
- 下载次数:
- 60
-
高速下载
|
|
