期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于异常控制流的错误程序行为分析方法
被引量:
1
1
作者
江建慧
吴捷程
孙亚
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第7期972-981,共10页
通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常...
通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.
展开更多
关键词
错误程序行为
软件差错
异常控制流
故障注入
下载PDF
职称材料
运行时异常对软件静态测试的影响研究
被引量:
6
2
作者
金大海
宫云战
+1 位作者
杨朝红
肖庆
《计算机学报》
EI
CSCD
北大核心
2011年第6期1090-1099,共10页
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分...
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要.
展开更多
关键词
软件测试
静态分析
运行时
异常
异常
模式
异常控制流
下载PDF
职称材料
Java程序异常信息分析插件的研究与设计
被引量:
2
3
作者
宋道远
贲可荣
《计算机科学》
CSCD
北大核心
2014年第8期106-108,共3页
异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序...
异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序分析和优化。基于Eclipse开发环境,设计了一个异常信息分析插件,用于分析Java程序异常信息,给出了代码提示,生成了异常控制流图,以帮助开发人员更快更好地书写异常处理代码。
展开更多
关键词
异常
处理
插件设计
异常控制流
图
下载PDF
职称材料
面向业务过程异常检测的深度学习模型BPAD-LS
被引量:
2
4
作者
付建平
赵海燕
+1 位作者
曹健
陈庆奎
《小型微型计算机系统》
CSCD
北大核心
2022年第5期902-912,共11页
近年来,越来越多的企业组织使用业务过程管理系统管理和控制他们的业务过程.然而,在业务过程的执行过程中,容易出现各种各样的异常,如控制流异常、数据流异常、时间异常和资源异常等.控制流是业务过程的主干,检测控制流异常对业务过程...
近年来,越来越多的企业组织使用业务过程管理系统管理和控制他们的业务过程.然而,在业务过程的执行过程中,容易出现各种各样的异常,如控制流异常、数据流异常、时间异常和资源异常等.控制流是业务过程的主干,检测控制流异常对业务过程的正常执行具有至关重要的作用.为了检测业务过程在执行过程中出现的控制流异常,本文提出了一种基于自注意力机制与长短期记忆网络(LSTM)相结合的神经网络模型预测业务过程的下一个活动,将预测的活动与实际发生的活动进行比较以检测业务过程是否发生控制流异常,其中自注意力用于建模活动序列中活动之间的依赖关系,而LSTM仅用于编码活动的位置信息.此外,为了解决假阳性的问题,本文提出了一种通过计算异常分数并基于阈值的方法确定实际发生的活动是否异常.为了验证方法检测异常的性能,实验中选用了5种典型的方法进行比较.实验结果表明,所提出的方法能有效检测控制流异常.
展开更多
关键词
业务过程
异常
检测
控制流
异常
自注意力机制
神经网络
下载PDF
职称材料
题名
一种基于异常控制流的错误程序行为分析方法
被引量:
1
1
作者
江建慧
吴捷程
孙亚
机构
同济大学软件学院
出处
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018年第7期972-981,共10页
基金
国家自然科学基金(61432017
61772199)
文摘
通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.
关键词
错误程序行为
软件差错
异常控制流
故障注入
Keywords
erroneous program behavior
software error
exception control flow
fault injection
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
运行时异常对软件静态测试的影响研究
被引量:
6
2
作者
金大海
宫云战
杨朝红
肖庆
机构
北京邮电大学网络与交换技术国家重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2011年第6期1090-1099,共10页
基金
国家"八六三"高技术研究发展计划项目基金(2009AA012404)
国家自然科学基金(91018002)资助
文摘
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要.
关键词
软件测试
静态分析
运行时
异常
异常
模式
异常控制流
Keywords
software testing
static analysis
runtime exception
exception pattern
exception control flow
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Java程序异常信息分析插件的研究与设计
被引量:
2
3
作者
宋道远
贲可荣
机构
海军工程大学计算机工程系
出处
《计算机科学》
CSCD
北大核心
2014年第8期106-108,共3页
基金
国家自然科学基金(61272108)
软件工程国家重点实验室开放基金(SKLSE2012-0938)资助
文摘
异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序分析和优化。基于Eclipse开发环境,设计了一个异常信息分析插件,用于分析Java程序异常信息,给出了代码提示,生成了异常控制流图,以帮助开发人员更快更好地书写异常处理代码。
关键词
异常
处理
插件设计
异常控制流
图
Keywords
Exception handling, Plug-in design, Exception control flow graph
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
面向业务过程异常检测的深度学习模型BPAD-LS
被引量:
2
4
作者
付建平
赵海燕
曹健
陈庆奎
机构
上海市现代光学系统重点实验室
上海交通大学计算机科学与技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第5期902-912,共11页
基金
国家自然科学基金项目(62072301)资助。
文摘
近年来,越来越多的企业组织使用业务过程管理系统管理和控制他们的业务过程.然而,在业务过程的执行过程中,容易出现各种各样的异常,如控制流异常、数据流异常、时间异常和资源异常等.控制流是业务过程的主干,检测控制流异常对业务过程的正常执行具有至关重要的作用.为了检测业务过程在执行过程中出现的控制流异常,本文提出了一种基于自注意力机制与长短期记忆网络(LSTM)相结合的神经网络模型预测业务过程的下一个活动,将预测的活动与实际发生的活动进行比较以检测业务过程是否发生控制流异常,其中自注意力用于建模活动序列中活动之间的依赖关系,而LSTM仅用于编码活动的位置信息.此外,为了解决假阳性的问题,本文提出了一种通过计算异常分数并基于阈值的方法确定实际发生的活动是否异常.为了验证方法检测异常的性能,实验中选用了5种典型的方法进行比较.实验结果表明,所提出的方法能有效检测控制流异常.
关键词
业务过程
异常
检测
控制流
异常
自注意力机制
神经网络
Keywords
business process
anomaly detection
control flow anomaly
self-attention mechanism
neural network
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于异常控制流的错误程序行为分析方法
江建慧
吴捷程
孙亚
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2018
1
下载PDF
职称材料
2
运行时异常对软件静态测试的影响研究
金大海
宫云战
杨朝红
肖庆
《计算机学报》
EI
CSCD
北大核心
2011
6
下载PDF
职称材料
3
Java程序异常信息分析插件的研究与设计
宋道远
贲可荣
《计算机科学》
CSCD
北大核心
2014
2
下载PDF
职称材料
4
面向业务过程异常检测的深度学习模型BPAD-LS
付建平
赵海燕
曹健
陈庆奎
《小型微型计算机系统》
CSCD
北大核心
2022
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部