安徽省自然科学基金(11040606M131)

作品数：12被引量：24H指数：3
导出分析报告
相关作者：曾凡平董齐兴武飞邓超强王健康更多>>
相关机构：中国科学技术大学安徽省计算与通讯软件重点实验室中国科学院软件研究所更多>>
相关期刊：《电子技术（上海）》《计算机应用》《计算机应用与软件》《小型微型计算机系统》更多>>
相关主题：正则表达式程序不变量数据流分类ANDROID流分类更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态分析的Android GUI遍历方法被引量：3
《计算机应用》2016年第10期2811-2815,共5页汤杨 曾凡平 王健康 黄心依 
安徽省自然科学基金资助项目(11040606M131)~~
针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建...
关键词：静态分析 动态测试 事件模拟 活动调用图 函数调用图 图形用户界面遍历 
Android应用程序的隐式控制流图构建
《电子技术（上海）》2016年第8期36-40,23,共6页王健康 曾凡平 
安徽省自然科学基金项目(No.11040606M131)
由于Android系统的事件驱动特性,应用程序中存在着大量的隐式调用,这是静态分析工具构建控制流图过程中面临的一个比较大的挑战。本文结合工具Edge Miner提供的描述框架层中隐式调用的API总结,利用过程内后向数据流分析技术,提取应用程...
关键词：安卓 控制流 静态分析 字节码 应用程序 隐式调用 
基于多重对应分析的Android应用安全等级评估被引量：3
《电子技术（上海）》2016年第8期72-78,共7页黄心依 曾凡平 
安徽省自然科学基金项目(No.11040606M131)
随着Android移动终端的普及,Android操作系统已经成为了越来越多的恶意软件攻击的目标。然而不同恶意软件的威胁程度是不同的,例如窃取用户银行账户的应用的威胁性要远大于读取用户联系人的应用的威胁性。因此本文针对这个问题提出了And...
关键词：ANDROID操作系统 多重对应分析 安全等级评估模型 安全值 安全属性 
用优化的正则表达式引擎进行快速网络流分类被引量：1
《小型微型计算机系统》2015年第12期2690-2695,共6页王建敏 曾凡平 王健康 
安徽省自然科学基金项目(11040606M131)资助
依赖于正则表达式匹配的深度包检测技术因准确率高成为网络流分类广泛使用的技术.为了能在线性时间内对网络流进行快速分类,需采用时间高效的确定性有限自动机（DFA）匹配引擎,但DFA存在空间爆炸问题,无法满足实际需求.为了解决这个问题...
关键词：流量分类 正则表达式 特征匹配 默认目的状态 位图 
改进动态符号执行中的非线性约束求解过程被引量：2
《小型微型计算机系统》2014年第11期2396-2401,共6页董齐兴 曾凡平 严俊 张辉 彭凌 
安徽省自然科学基金项目(11040606M131)资助;国家自然科学基金项目(91118007)资助
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约...
关键词：软件测试 动态符号执行 非线性算术约束 约束相似性 
程序断言与切片技术在检测程序非崩溃错误中的应用
《小型微型计算机系统》2014年第8期1699-1704,共6页邓超强 曾凡平 张辉 张震宇 董齐兴 
国家自然科学基金项目(61003027)资助;国家科技重大专项(2012ZX01039004)资助;安徽省自然科学基金项目(11040606M131)资助
针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序...
关键词：断言 切片 程序执行监测 非崩溃错误 
数据流应用层载荷特征正则表达式的自动提取被引量：2
《小型微型计算机系统》2014年第8期1711-1716,共6页武飞 曾凡平 张辉 董齐兴 
安徽省自然科学基金项目(11040606M131)资助
基于载荷特征的IP流分类技术的准确性较高,但是该分类技术的基础是提取出准确的载荷特征.目前大部分应用的载荷特征依靠手工逆向分析数据包结构来进行提取.然而手工分析提取应用产生的数据包是十分耗时的,特别是对于一个未知的应用.鉴于...
关键词：特征自动提取 正则表达式 载荷特征 数据流分类 
变概率的随机测试
《小型微型计算机系统》2014年第2期319-323,共5页熊能 曾凡平 邓超强 武飞 董齐兴 
安徽省自然科学基金项目(11040606M131)资助
适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一...
关键词：随机测试 概率 适应性随机测试 二叉排序树 
程序不变量到断言的自动转换方法研究及其应用被引量：2
《计算机应用与软件》2012年第11期177-180,189,共5页邓超强 曾凡平 武飞 熊能 董齐兴 
安徽省自然科学基金项目(11040606M131)
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断...
关键词：程序不变量 断言 回归测试 错误识别 测试用例集合约简 
基于启发式搜索的IP数据流分类方法的研究被引量：2
《小型微型计算机系统》2012年第10期2153-2157,共5页武飞 曾凡平 熊能 邓超强 董齐兴 
安徽省自然科学基金项目(11040606M131)资助
基于应用层载荷特征的IP流分类技术的准确性较高,但是,当特征库庞大时遍历匹配特征库需要消耗大量的时间.鉴于此,提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法.通过从各种应用产生的数据包之间提取共同特征并以此共...
关键词：数据流分类 启发式规则 正则表达式 17-filter 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部