-
题名多粒度数据变更影响域分析方法
被引量：1
- 1
-
-
作者
胡文华
牟永敏
-
机构
北京信息科技大学计算机学院
-
出处
《计算机工程与设计》
北大核心
2019年第9期2483-2488,共6页
-
基金
北京市自然科学基金项目(Z160002)
网络文化与数字传播北京市重点实验室开放课题基金项目(ICDD2017XX)
-
文摘
完整准确提取程序变更影响范围是分析由数据变化引发程序错误的关键,能够有效缩短回归测试的周期。为此,提出一种基于多粒度的数据变更影响域分析方法。通过静态分析,结合程序局部控制信息和数据信息流规则,提取关键函数,得到影响函数调用路径,以程序影响函数调用路径为分析集,提取受变更影响的基本路径集,即从函数粒度和语句粒度对数据变更影响域进行分析,分别得到影响函数调用路径和影响基本路径集。大量实验结果表明,该方法能够完整准确提取程序影响函数调用路径和影响基本路径集,定位数据变更影响域,提高回归测试的效率。
-
关键词
多粒度
关键函数
数据流信息规则
影响函数调用路径
影响基本路径集
数据变更影响域
-
Keywords
multi-granularity
key function
data information flow rules
affected function call path
affected basic path set
data change impact domain
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名不可达基路径的静态检测方法
被引量：4
- 2
-
-
作者
张艳梅
姜淑娟
王庆坛
赵雪峰
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《计算机科学与探索》
CSCD
2012年第2期144-155,共12页
-
基金
国家自然科学基金No.60970032
江苏省自然科学基金No.BK2008124
+1 种基金
江苏省"青蓝工程"
江苏省研究生培养创新工程项目No.CX10B_157Z~~
-
文摘
不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达路径的静态检测方法。该方法根据数据流信息判断产生冲突的分支,进而利用分支冲突检测路径的可达性;在数据流分析时考虑异常处理结构和变量别名对数据流信息的影响。实例分析结果表明,该方法可以进一步提高路径可达性检测的准确度。
-
关键词
不可达路径
异常处理
数据流信息
分支冲突
别名分析
-
Keywords
infeasible path
exception-handling
dataflow information
branch conflict
alias analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名结构测试中的可达路径选择方法
被引量：1
- 3
-
-
作者
万琳
肖庆
宫云战
-
机构
装甲兵工程学院计算机应用室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第2期42-43,46,共3页
-
文摘
在简单介绍了传统的不可达路径的排除方法后，主要介绍能有效改善其缺陷的可达路径选择方法。基于最少谓词思想的路径生成方法得到广泛的认可，但其实现方法的不同同样会影响路径的可达效果，文中介绍的综合利用控制流信息和数据流信息的方法较之单纯地利用控制流或数据流信息会生成更好的路径。
-
关键词
结构测试
可达路径选择方法
软件工程
静态分析
数据流信息
-
Keywords
Infeasible path；Branch correlation；Path with low number predicates
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于随机森林分类模型的DDoS攻击检测方法
被引量：4
- 4
-
-
作者
于鹏程
戚湧
李千目
-
机构
南京理工大学计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2017年第10期3068-3072,共5页
-
基金
国家自然科学基金资助项目(61272419)
中央高校基本科研业务费专项资金资助(30916015104)
江苏省产学研前瞻性基金资助项目(BY2014089)
-
文摘
分布式拒绝服务(distributed denial-of-service,DDoS)是目前常见的网络攻击方式之一。基于机器学习算法(SVM、HMM等)的DDoS攻击检测技术取得一些进展,但还存在着样本数量过多时易发生过拟合和未充分利用上下文信息等不足。为了弥补以上不足,提出一种基于随机森林的DDoS攻击检测方法,将数据流信息熵作为分类标准,令source IP、destination IP、destination Port分别代表数据流的源地址、目的地址、目的端口,采用SIDI(source IP-destination IP)、SIDP(source IP-destination Port)和DPDI(destination Port-destination IP)三个信息熵来分别表征三种多对一的特征,对TCP洪水攻击、UDP洪水攻击、ICMP洪水攻击等三种常见的攻击方式进行特征分析,在此基础上使用基于随机森林分类模型分别对三类DDoS攻击方式进行分类检测,实验结果表明该模型能够较为准确地区分正常流量和攻击流量,与HMM、SVM方法相比,基于RFC模型的DDoS检测方法有较高的检测率和较低的误报率。
-
关键词
随机森林
数据流信息熵
分布式拒绝服务
检测
-
Keywords
random forest
data stream information entropy
DDoS
detection
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
-
题名一个面向任务图并行程序的错误检查工具
被引量：2
- 5
-
-
作者
刘艳娜
陈莉
唐生林
-
机构
中国科学院计算机研究所
-
出处
《计算机科学》
CSCD
北大核心
2017年第3期38-41,共4页
-
基金
国家自然科学基金(61432018)
国家高技术研究发展计划(863)(2012AA010902)资助
-
文摘
AceMesh是一种基于数据流描述的任务并行编程语言,它允许程序员从串行程序出发,追加并行区域、并行循环的制导以及任务区的数据访问信息,AceMesh编译系统则自动把该程序转化为异步任务图并行的程序。分析了AceMesh程序改写中常见的并行化错误,介绍了其错误检查工具AceMeshCheck的结构,描述了访存轨迹的高效收集、存储方法以及逻辑形状推导的三维压缩算法。实验表明,AceMeshCheck不仅能分析出制导程序中的典型错误,而且开销较小。
-
关键词
任务并行语言
数据流信息
错误检查
动态分析
网格应用
-
Keywords
Task parallel language,Dataflow, Error checking,Dynamic program analysis, Mesh application
-
分类号
TP321
[自动化与计算机技术—计算机系统结构]
-
