-
题名语义可感知的灰盒编译器模糊测试
- 1
-
-
作者
欧先飞
蒋炎岩
许畅
-
机构
计算机软件新技术全国重点实验室(南京大学)
南京大学计算机学院
-
出处
《软件学报》
北大核心
2025年第7期2947-2963,共17页
-
基金
国家重点研发计划(2022YFB4501801)
国家自然科学基金(62025202,62272218)
江苏省前沿引领技术基础研究专项(BK20202001)。
-
文摘
模糊测试技术在软件质量保障、软件安全测试等领域起到重要作用.然而,在面对编译器这样输入语义复杂的系统时,现有的模糊测试工具由于其变异策略中缺乏对语义的感知能力,导致生成的程序难以通过编译器前端检查.提出了一种语义可感知的灰盒模糊测试方法,旨在提高模糊测试工具在编译器测试领域的效能.设计并实现了一系列可保持输入语义合法性并探索上下文多样性的变异操作符,并针对这些操作符的特点开发了高效的选择策略.将这些策略与传统的灰盒模糊测试工具相结合,实现了灰盒模糊测试工具SemaAFL.实验结果表明,通过应用这些变异操作符,SemaAFL在GCC和Clang编译器上的代码覆盖率相比AFL++和同类工具GrayC提高了约14.5%和11.2%.在为期一周的实验期间,SemaAFL发现并报告了6个以前未被发现的GCC和Clang缺陷.
-
关键词
编译器测试
语义可感知的模糊测试
灰盒模糊测试
-
Keywords
compiler testing
semantic aware fuzz testing
greybox fuzz testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于字段感知的文本协议灰盒模糊测试方法
- 2
-
-
作者
孙语韬
徐向华
-
机构
杭州电子科技大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2024年第10期3110-3118,共9页
-
文摘
基于变异的灰盒协议模糊测试方法使用便捷、可扩展性好,但缺乏协议报文格式信息,只能对报文整体进行变异以产生测试用例,导致生成的大部分测试报文会被被测协议实现直接拒绝,严重影响测试效率。针对这一问题,提出了基于字段感知的文本协议模糊测试方法。该方法在基于变异的协议模糊测试中加入了模板学习的概念,使用分隔符划分报文字段,使用字段字典获取每个字段的合法取值;然后,针对划分后的报文,设计了多种字段级的变异策略,并根据每个字段可能的取值数量和覆盖率反馈计算相应的字段变异能量;此外,还利用对报文进行字段划分的结果,对被测协议实现的状态进行更细粒度的刻画。实验结果表明,该方法可以提高经典的基于变异的协议模糊测试框架AFLNET产生的可被被测协议实现接受的测试用例的比例,进而将测试效率提高到5倍以上。这表明基于变异的协议模糊测试方法普遍存在的可被接受的测试用例比例过低的问题确实会影响最终的测试效率,改善测试用例的被接受率可以大幅提高测试效率。
-
关键词
网络安全
协议测试
模糊测试
字段感知
字段变异能量度量
细粒度状态刻画
-
Keywords
network security
protocol testing
fuzzing
field perception
field’s mutation energy measurement
fine-grained state characterization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名动态资源感知的并行化模糊测试框架
被引量：4
- 3
-
-
作者
廉美
邹燕燕
霍玮
邹维
-
机构
中国科学院信息工程研究所网络安全防护技术北京市重点实验室
中国科学院大学
-
出处
《计算机应用研究》
CSCD
北大核心
2017年第1期52-57,共6页
-
基金
国家"863"计划资助项目(2015AA017202)
-
文摘
针对现有的并行模糊测试在测试效率、资源利用率以及异常处理上的局限性,围绕测试资源的生成、使用及容错三个方面提出了一种动态资源感知的系统化解决方案。针对测试环境在大规模和多场景两个维度快速搭建的需求,提出一种基于云平台的动态构建方法,加快测试环境部署,提高有效fuzz时间;针对并行模糊测试中资源利用率低的问题,提出一种多层次并行度动态调整的资源配置策略,优化整体测试资源配置并提高单机负载;针对大规模并行测试中节点易发生故障的问题,提出基于优先级调度的容错处理方法。最后,设计并实现了一个基于四级流水线并行处理结构的通用模糊测试框架。实验证明,该框架能够有效提高并行模糊测试的测试效率和资源利用率,实现系统的有效容错。
-
关键词
漏洞挖掘
并行模糊测试
资源感知
测试框架
云平台
-
Keywords
vulnerability
parallel fuzzing test
resource awareness
testing framework
cloud infrastructure
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-
-
题名基于模糊语义距离的多媒体信息检索方法研究
被引量：5
- 4
-
-
作者
张李义
-
机构
武汉大学信息资源研究中心
-
出处
《情报学报》
CSSCI
北大核心
2003年第2期131-135,共5页
-
基金
教育部重点研究基地科研项目
-
文摘
与传统的数据库精确查询不同,多媒体信息检索的查询条件是不完备的.本文叙述利用模糊语义距离来检索多媒体数据库中信息的原理、算法,并将模糊相似测试作为检索结果判断标准,最后通过一个示例来说明本方法的使用.
-
关键词
模糊语义距离
多媒体信息检索
多媒体数据库
模糊相似测试
模糊集合
-
分类号
G354
[文化科学—情报学]
-
-
题名基于模糊语义的影视特效动画辅助生成系统设计
被引量：6
- 5
-
-
作者
王鑫
-
机构
韩国世宗大学
济南大学泉城学院
-
出处
《现代电子技术》
2021年第6期129-132,共4页
-
文摘
针对目前快速动画生成系统生成动画场景生动性差的缺陷,设计基于模糊语义的影视特效动画辅助生成系统。用户通过前台浏览器子系统展示界面输入所需生成影视特效动画的文字信息,利用通信网络将用户输入信息传送至后台服务器子系统的文字解析模块,再利用模糊语义方法解析输入文字。将文字解析结果发送至动画生成模块并利用数据库模块生成动画,影视特效生成模块依据用户需求利用粒子系统生成影视特效,所生成动画与影视特效利用场景合成模块通过小振波理论合成,并将最终生成结果通过通信网络传送至前台浏览器子系统,展示界面,从而实现影视特效动画辅助生成系统。系统测试结果表明,该系统可实现影视特效动画辅助生成效果,且具有较高的实时帧率,生动性强。
-
关键词
影视
特效动画
辅助生成系统
模糊语义
通信网络
系统测试
-
Keywords
film and television
special effect animation
auxiliary generation system
fuzzy semantics
communication network
system testing
-
分类号
TN613-34
[电子电信—电路与系统]
-
-
题名基于具身认知的老年人多通道感知与行为研究
被引量：6
- 6
-
-
作者
杨冬梅
张从
张健楠
-
机构
河北工业大学
-
出处
《包装工程》
CAS
北大核心
2022年第14期122-128,共7页
-
基金
天津艺术规划基金项目(C16064)
河北省社会科学基金项目(HB16YS017)。
-
文摘
目的基于老年用户需求,结合用户多通道感知特征,分析老年人使用产品时具身的体验与感受,并得到用户偏好,促进老年产品设计,以满足用户生理、心理需求。方法以老年康复辅具为设计载体,采用优序图法、行为地图法分析数据,构建用户需求与具身行为的关联模型,挖掘交互过程中的问题动作及相关接触点,以指导后续设计研究。基于感性工学的0阶感性概念法,构建0阶-PAD情绪词汇衍生模型。运用语义差分法得到用户对产品的感性意象数据,采用主成分分析、皮尔逊相关性分析等方法得到满足用户需求的问题动作、相关接触点偏好。结果依据感性意象与喜爱程度评价结果衍生的设计要素进行老年流食杯设计实践,应用模糊综合评价法对设计方案进行验证。结论从用户具身的知觉感知与需求出发,结合感性工学相关方法获得老年用户对使用产品的偏好,为设计实践提供客观的理论依据与实践验证,对老年产品设计提供一定的设计研究参考。
-
关键词
产品设计
老年流食杯
具身认知
多通道感知
语义差分法
模糊综合评价
-
Keywords
product design
elderly liquid food cup
embodied cognition
multi-channel perception
semantic differ-ence method
fuzzy comprehensive evaluation
-
分类号
TB472
[一般工业技术—工业设计]
-
