武飞
- 作品数：11 被引量：18H指数：2
- 供职机构：中国科学技术大学更多>>
- 发文基金：安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于柔性压力阵列传感器的人体静态平衡功能评估被引量：4
- 2018年
- 采用实验室研发的柔性压力阵列传感器来对人体静态平衡功能进行定量分析,使用意大利Tecnoboay公司的Pro—Kin254型动静态平衡测试系统作为标准平衡测试设备,比较了利用柔性压力阵列传感器和Pro.Kin254系统得到的基于压力中心的静态平衡参数的异同,结果表明柔性压力阵列传感器在静态平衡测试中与Pro—Kin254系统的结果相符,可以用来测定人体静态平衡能力。
- 武飞武飞
- 基于启发式搜索的IP数据流分类方法的研究被引量：2
- 2012年
- 基于应用层载荷特征的IP流分类技术的准确性较高,但是,当特征库庞大时遍历匹配特征库需要消耗大量的时间.鉴于此,提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法.通过从各种应用产生的数据包之间提取共同特征并以此共同特征建立启发式规则,根据启发式规则将特征库划分为多个特征子集,在数据包匹配过程中只需要根据启发式规则搜索匹配特定的特征子集,从而大大减少了对无关特征的匹配过程,使待匹配的特征子集具有更强的针对性、使得时间性能得到提高.对于部分应用采用以DNS为引导的方法来对数据包进行分类,该方法部分消除了基于载荷无法对加密数据进行识别的弊端.本文用C语言实现了该算法,并与开源软件l7-filter算法进行了对比实验.实验结果表明:在离线状态下,本文提出的方法的分类速度是l7-filter分类速度的6-10倍,总体识别准确性达到98%以上.
- 武飞曾凡平熊能邓超强董齐兴
- 关键词：数据流分类启发式规则正则表达式
- 基于启发式搜索的IP数据流分类方法的研究
- 安徽省计算与通讯软件重点实验室，合肥230026基于应用层载荷特征的IP流分类技术的准确性较高，但是，当特征库庞大时遍历匹配特征库需要消耗大量的时间。鉴于此，提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法...
- 武飞曾凡平熊能邓超强董齐兴
- 关键词：数据流分类启发式规则正则表达式
- 文献传递
- 变概率的随机测试
- 2014年
- 适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一个错误.但是,现有的适应性随机测试的实现方案的时间效率不高,在生成测试用例的过程中大量的计算将消耗大量的时间.针对已有适应性随机测试耗时的缺点,提出一种快速的适应性随机测试的实现方法.该方法主要是通过改变输入域空间内不同区域的测试用例生成的概率来实现测试用例的均匀分布.为最大限度地减少时间消耗,该方法每次只计算局部输入域空间内测试用例的生成概率.该方法理论上生成n个测试用例的时间消耗为O(n log n).实验显示,本文提出的方法只需很低的时间消耗就能生成大量的测试用例.
- 熊能曾凡平邓超强武飞董齐兴
- 关键词：二叉排序树
- 程序不变量到断言的自动转换方法研究及其应用
- 程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为对应...
- 邓超强曾凡平武飞熊能董齐兴
- 关键词：程序不变量断言
- 一种生成测试用例的方法及装置
- 一种生成测试用例的方法，该方法包括：随机生成一个测试用例；判断所述测试用例是否违反与测试用例集合的似然不变量集合相对应的断言；当所述测试用例违反断言时，将所述测试用例添加到测试用例集合中，并进行不变量提取，以生成添加了所...
- 曾凡平袁园邓超强武飞熊能董齐兴
- 文献传递
- 程序不变量到断言的自动转换方法研究及其应用被引量：2
- 2012年
- 程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。
- 邓超强曾凡平武飞熊能董齐兴
- 关键词：程序不变量断言
- 基于污点跟踪的黑盒fuzzing测试被引量：6
- 2012年
- 针对传统fuzzing测试中的低效率问题,提出一种基于污点跟踪的黑盒fuzzing测试方法.通过将合法输入标记为污染源,并记录污点在应用程序中的传播过程,提取关键的污点信息,用以指导新的测试用例的生成.这样生成的测试用例,具有更好的针对性,以及能够达到较深的代码深度,有良好的代码覆盖率,能更好的挖掘出潜在的漏洞和安全脆弱点.采用这种方法对几款图形处理软件和图形库进行了测试,发现了一个漏洞,并提交SecurityFocus通过.
- 朱贯淼曾凡平袁园武飞
- 关键词：FUZZING黑盒漏洞挖掘
- 基于柔性压力阵列传感器的人体平衡能力评定研究
- 在人们的日常生活中,平衡能力起着非常重要的作用,如果人体的平衡能力受到损害,将会导致很多与运动相关的生理性疾病,因此开展针对人体平衡能力的评估研究对健康人的平衡能力提升、老年人的跌倒预防以及平衡功能障碍患者的康复治疗都非...
- 武飞
- 关键词：人体平衡能力
- 文献传递
- 数据流应用层载荷特征正则表达式的自动提取被引量：2
- 2014年
- 基于载荷特征的IP流分类技术的准确性较高,但是该分类技术的基础是提取出准确的载荷特征.目前大部分应用的载荷特征依靠手工逆向分析数据包结构来进行提取.然而手工分析提取应用产生的数据包是十分耗时的,特别是对于一个未知的应用.鉴于此,本文设计并实现了一种把固定位置载荷特征和载荷特征公共子串相结合的载荷特征自动提取算法.该算法可以自动提取应用层载荷特征并构造出正则表达式.除了可以提取出公共特征串之外,还可提取出很多特征提取算法所忽略的固定位置的单字节特征.实验结果验证了算法的有效性和准确性.
- 武飞曾凡平张辉董齐兴
- 关键词：正则表达式数据流分类
