张大林
- 作品数：12 被引量：13H指数：1
- 供职机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种基于状态分区的静态缺陷检测求精方法
- 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位...
- 金大海张大林宫云战王雅文黄俊飞
- 文献传递
- 一种静态缺陷检测方法及其系统
- 本发明涉及一种静态缺陷检测方法及其系统，该方法包括：S1、构造被测程序的抽象语法树和控制流图；S2、根据预设的缺陷模式，建立所述缺陷模式的状态机实例，并将所述状态机实例置于待测程序的控制流入口；S3、依路径遍历控制流图，...
- 黄俊飞张大林金大海宫云战王雅文
- 基于踪迹挖掘的自动缺陷警报分类方法
- 2014年
- 缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.
- 张大林金大海宫云战张海龙杨学红
- 关键词：踪迹
- 高速散射通信系统中同步技术研究
- 为使高速散射通信系统在恶劣的信道条件下,具有较高的符号传输速率,可以采用自适应调制编码和高阶调制技术。通信系统在确保链路传输质量的基础上,尽可能采用高阶调制,以充分利用信道资源。采用了自适应调制编码和高阶调制方式的高速散...
- 张大林
- 关键词：SC-FDE时频同步
- 一种缺陷关联方法及装置
- 本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列...
- 金大海宫云战张大林黄俊飞王雅文
- 文献传递
- 一种基于状态分区的静态缺陷检测求精方法
- 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位...
- 金大海张大林宫云战王雅文黄俊飞
- 一种缺陷关联方法及装置
- 本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列...
- 金大海宫云战张大林黄俊飞王雅文
- 文献传递
- 基于缺陷关联的静态分析优化被引量：13
- 2014年
- 缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22%的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测.
- 张大林金大海宫云战王前董玉坤张海龙
- 一种静态缺陷检测方法及其系统
- 本发明涉及一种静态缺陷检测方法及其系统，该方法包括：S1、构造被测程序的抽象语法树和控制流图；S2、根据预设的缺陷模式，建立所述缺陷模式的状态机实例，并将所述状态机实例置于待测程序的控制流入口；S3、依路径遍历控制流图，...
- 黄俊飞张大林金大海宫云战王雅文
- 文献传递
- 一种基于抽象解释技术的缺陷警报分组方法及装置
- 本发明公开了一种基于抽象解释技术的缺陷警报分组方法，所述方法包括：获取函数控制流图上节点的抽象语义，并获取函数控制流图上所述节点的求精的抽象语义；当在所述节点上报告一个以上缺陷警报时，依据所述缺陷警报间的抽象依赖关系，对...
- 金大海宫云战黄俊飞王雅文张大林
- 文献传递
