软件分析:技术、应用与趋势
软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章,分别介绍了软件分析技术的主要进展、软件分析技术应用方面的进展,以及软件分析的相关技术发展趋势.
软件分析 缺陷检测 程序测试 代码搜索 软件质量
王千祥 张健 谢涛 张路 熊英飞 陈雨亭 陈振邦 卜磊 陈立前 梁彬 江贺 李征 李戈 彭鑫 钟浩 董威 贾向阳 马菲菲 蒲戈光 刘烃 刘辉
北京大学,北京 中国科学院软件所研究员,北京 美国伊利诺伊大学厄巴纳-香槟分校计算机科学系,美国,伊利诺伊 上海交通大学,上海 国防科技大学,北京 南京大学,南京 中国人民大学,北京 大连理工大学,大连 北京化工大学,北京 复旦大学,上海 武汉大学,武汉 华东师范大学,上海 西安交通大学,西安 北京理工大学,北京 CCF软件工程专业委员会
国内会议
太原
中文
55-113
2016-10-01（万方平台首次上网日期，不代表论文的发表时间）