张亚军

作品数:1被引量:6H指数:1
导出分析报告
供职机构:北京航空航天大学计算机学院更多>>
发文主题:白盒分布式模型自动化更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机科学》更多>>
所获基金:国家教育部博士点基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
自动化白盒模糊测试技术研究被引量:6
《计算机科学》2014年第2期7-10,22,共5页张亚军 李舟军 廖湘科 蒋瑞成 李海峰 
国家自然科学基金(61170189,60973105,90718017);教育部博士点基金(201111 02130003)资助
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全...
关键词:模糊测试 符号执行 自动化白盒模糊测试 自动化白盒模糊测试分布式模型 
检索报告 对象比较 聚类工具 使用帮助 返回顶部