-
题名数据流应用层载荷特征正则表达式的自动提取
被引量：2
- 1
-
-
作者
武飞
曾凡平
张辉
董齐兴
-
机构
中国科学技术大学计算机科学与技术学院
安徽省计算与通讯软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第8期1711-1716,共6页
-
基金
安徽省自然科学基金项目(11040606M131)资助
-
文摘
基于载荷特征的IP流分类技术的准确性较高,但是该分类技术的基础是提取出准确的载荷特征.目前大部分应用的载荷特征依靠手工逆向分析数据包结构来进行提取.然而手工分析提取应用产生的数据包是十分耗时的,特别是对于一个未知的应用.鉴于此,本文设计并实现了一种把固定位置载荷特征和载荷特征公共子串相结合的载荷特征自动提取算法.该算法可以自动提取应用层载荷特征并构造出正则表达式.除了可以提取出公共特征串之外,还可提取出很多特征提取算法所忽略的固定位置的单字节特征.实验结果验证了算法的有效性和准确性.
-
关键词
特征自动提取
正则表达式
载荷特征
数据流分类
-
Keywords
automatic signature generation
regular expression
payload signature
traffic classification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名程序断言与切片技术在检测程序非崩溃错误中的应用
- 2
-
-
作者
邓超强
曾凡平
张辉
张震宇
董齐兴
-
机构
中国科学技术大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
安徽省计算与通讯软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第8期1699-1704,共6页
-
基金
国家自然科学基金项目(61003027)资助
国家科技重大专项(2012ZX01039004)资助
安徽省自然科学基金项目(11040606M131)资助
-
文摘
针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.
-
关键词
断言
切片
程序执行监测
非崩溃错误
-
Keywords
assertion
slicing
program execution monitoring
non-crashing failure
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名改进动态符号执行中的非线性约束求解过程
被引量：2
- 3
-
-
作者
董齐兴
曾凡平
严俊
张辉
彭凌
-
机构
中国科学技术大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
安徽省计算与通讯软件重点实验室
中国科学院软件研究所软件工程技术研究开发中心
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第11期2396-2401,共6页
-
基金
安徽省自然科学基金项目(11040606M131)资助
国家自然科学基金项目(91118007)资助
-
文摘
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度.
-
关键词
软件测试
动态符号执行
非线性算术约束
约束相似性
-
Keywords
software testing
dynamic symbolic execution
non-linear arithmetic constraint
similarity of constraint
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名程序不变量到断言的自动转换方法研究及其应用
被引量：2
- 4
-
-
作者
邓超强
曾凡平
武飞
熊能
董齐兴
-
机构
中国科学技术大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
安徽省计算与通讯软件重点实验室
-
出处
《计算机应用与软件》
CSCD
北大核心
2012年第11期177-180,189,共5页
-
基金
安徽省自然科学基金项目(11040606M131)
-
文摘
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。
-
关键词
程序不变量
断言
回归测试
错误识别
测试用例集合约简
-
Keywords
Program invariant Assertion Regression test Error identification Test suite reduction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于启发式搜索的IP数据流分类方法的研究
被引量：2
- 5
-
-
作者
武飞
曾凡平
熊能
邓超强
董齐兴
-
机构
中国科学技术大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
安徽省计算与通讯软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第10期2153-2157,共5页
-
基金
安徽省自然科学基金项目(11040606M131)资助
-
文摘
基于应用层载荷特征的IP流分类技术的准确性较高,但是,当特征库庞大时遍历匹配特征库需要消耗大量的时间.鉴于此,提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法.通过从各种应用产生的数据包之间提取共同特征并以此共同特征建立启发式规则,根据启发式规则将特征库划分为多个特征子集,在数据包匹配过程中只需要根据启发式规则搜索匹配特定的特征子集,从而大大减少了对无关特征的匹配过程,使待匹配的特征子集具有更强的针对性、使得时间性能得到提高.对于部分应用采用以DNS为引导的方法来对数据包进行分类,该方法部分消除了基于载荷无法对加密数据进行识别的弊端.本文用C语言实现了该算法,并与开源软件l7-filter算法进行了对比实验.实验结果表明:在离线状态下,本文提出的方法的分类速度是l7-filter分类速度的6-10倍,总体识别准确性达到98%以上.
-
关键词
数据流分类
启发式规则
正则表达式
17-filter
-
Keywords
traffic classification
heuristic rules
regular expression
l7-filter
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名变概率的随机测试
- 6
-
-
作者
熊能
曾凡平
邓超强
武飞
董齐兴
-
机构
中国科学技术大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
安徽省计算与通讯软件重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第2期319-323,共5页
-
基金
安徽省自然科学基金项目(11040606M131)资助
-
文摘
适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一个错误.但是,现有的适应性随机测试的实现方案的时间效率不高,在生成测试用例的过程中大量的计算将消耗大量的时间.针对已有适应性随机测试耗时的缺点,提出一种快速的适应性随机测试的实现方法.该方法主要是通过改变输入域空间内不同区域的测试用例生成的概率来实现测试用例的均匀分布.为最大限度地减少时间消耗,该方法每次只计算局部输入域空间内测试用例的生成概率.该方法理论上生成n个测试用例的时间消耗为O(n log n).实验显示,本文提出的方法只需很低的时间消耗就能生成大量的测试用例.
-
关键词
随机测试
概率
适应性随机测试
二叉排序树
-
Keywords
random testing
probability
adaptive random testing
binary sort tree
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
