张大林

作品数：2被引量：14H指数：1
导出分析报告
供职机构：北京邮电大学更多>>
发文主题：控制流状态机抽象语法树符号化信息库更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《软件学报》《中国科学：信息科学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于缺陷关联的静态分析优化被引量：14
《软件学报》2014年第2期386-399,共14页张大林 金大海 宫云战 王前 董玉坤 张海龙 
国家自然科学基金(91318301;61202080);国家高技术研究发展计划(863)(2012AA011201)
缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关...
关键词：静态分析 优化 缺陷关联 抽象解释 状态切片 
基于踪迹挖掘的自动缺陷警报分类方法
《中国科学：信息科学》2014年第1期91-107,共17页张大林 金大海 宫云战 张海龙 杨学红 
国家自然科学基金(批准号:61202080);国家自然科学基金重大研究计划(批准号:91318301);国家高技术研究发展计划(863)(批准号:2012AA011201)资助项目
缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,...
关键词：静态分析 警报分类 踪迹 踪迹挖掘 频繁模式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部