期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
航天嵌入式软件运行时错误静态分析方法
被引量：
6
1
作者
王崑声
詹海潭
+2 位作者
经小川
李宁
张刚
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2013年第2期160-165,共6页
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路...
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
展开更多
关键词
运行时错误
路径敏感
上下文敏感
属性模型
属性流
下载PDF
职称材料
多元χ演算运行时错误的不可判定性
2
作者
陈韬略
韩婷婷
+1 位作者
颜锋
吕建
《武汉大学学报（理学版）》
CAS
CSCD
北大核心
2004年第5期601-604,共4页
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检...
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.
展开更多
关键词
多元χ演算
运行时错误
不可判定性
并发理论
进程代数
通信安全
下载PDF
职称材料
软件白盒测试的方法与实践
被引量：
7
3
作者
封亮
严少清
《计算机工程》
CAS
CSCD
北大核心
2000年第12期87-90,共4页
主要介绍了进行软件白盒测试，包括静态测试分析、覆盖测试分析、运行时错误检测的方法、工具及实践。
关键词
白盒测试
覆盖测试分析
软件开发
软件质量
下载PDF
职称材料
军工高安全软件数值型运行时错误分析方法
4
作者
黄明
詹海潭
+3 位作者
张伟
经小川
李宁
王潇茵
《空间控制技术与应用》
CSCD
北大核心
2016年第6期58-62,共5页
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断...
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.
展开更多
关键词
抽象解释
有界模型验证
数值型运行时错误
值范围分析
下载PDF
职称材料
基于变量跟踪的运行时错误现场分析工具
5
作者
张天炯
王铮
《计算机应用》
CSCD
北大核心
2014年第3期857-860,共4页
运行时错误是程序动态运行时产生的错误,错误发生后,需要借助传统的调试手段分析错误原因。对于某些异常行为和多线程程序不能再现真实的执行环境,传统的调试分析手段的作用不明显。如果能够捕获程序执行时的变量信息,那么运行时错误现...
运行时错误是程序动态运行时产生的错误,错误发生后,需要借助传统的调试手段分析错误原因。对于某些异常行为和多线程程序不能再现真实的执行环境,传统的调试分析手段的作用不明显。如果能够捕获程序执行时的变量信息,那么运行时错误现场也会被捕获,进而以此为依据分析错误原因。对此提出基于变量跟踪的运行时错误现场捕获技术,它可以根据用户需求捕获特定变量信息,从而有效提高了变量信息获取的灵活性。以该技术为基础实现了运行时错误现场分析工具(RFST),该工具能够为程序运行时错误分析提供错误现场和辅助分析手段。
展开更多
关键词
运行时错误现场
调试分析
变量跟踪
自动插桩技术
下载PDF
职称材料
题名
航天嵌入式软件运行时错误静态分析方法
被引量：
6
1
作者
王崑声
詹海潭
经小川
李宁
张刚
机构
中国航天科技集团公司第七一○研究所
出处
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2013年第2期160-165,共6页
基金
国家"八六三"计划项目(2009AA010313)
国家自然科学基金重点资助项目(90818024)
文摘
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
关键词
运行时错误
路径敏感
上下文敏感
属性模型
属性流
Keywords
path
sensitive
context
sensitive
runtime
error
property
model
property
flow
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
多元χ演算运行时错误的不可判定性
2
作者
陈韬略
韩婷婷
颜锋
吕建
机构
南京大学计算机软件新技术国家重点实验室
出处
《武汉大学学报（理学版）》
CAS
CSCD
北大核心
2004年第5期601-604,共4页
基金
国家重点基础研究发展规划973项目资助(2002CB312002)
国家自然科学基金资助项目(60273034)
国家863高科技项目资助项目(2002AA116010)
文摘
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.
关键词
多元χ演算
运行时错误
不可判定性
并发理论
进程代数
通信安全
Keywords
concurrent
theory
process
algebra
χ
calculus
runtime
error
undecidablity
分类号
TN918 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
软件白盒测试的方法与实践
被引量：
7
3
作者
封亮
严少清
机构
信息产业部电子第
出处
《计算机工程》
CAS
CSCD
北大核心
2000年第12期87-90,共4页
基金
电科院软件工程化资助项目
文摘
主要介绍了进行软件白盒测试，包括静态测试分析、覆盖测试分析、运行时错误检测的方法、工具及实践。
关键词
白盒测试
覆盖测试分析
软件开发
软件质量
Keywords
White-box
testing
Static
analysis
Measurements
for
maintainability
Coverage
testing；
runtime
error
checking
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
军工高安全软件数值型运行时错误分析方法
4
作者
黄明
詹海潭
张伟
经小川
李宁
王潇茵
机构
中国工程物理研究院
中国航天系统科学与工程研究院
出处
《空间控制技术与应用》
CSCD
北大核心
2016年第6期58-62,共5页
基金
国家自然科学基金资助项目(91418204)
文摘
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.
关键词
抽象解释
有界模型验证
数值型运行时错误
值范围分析
Keywords
abstract
interpretation
bounded
model
check
numerical
runtime
error
value
analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于变量跟踪的运行时错误现场分析工具
5
作者
张天炯
王铮
机构
重庆大学计算机学院
出处
《计算机应用》
CSCD
北大核心
2014年第3期857-860,共4页
文摘
运行时错误是程序动态运行时产生的错误,错误发生后,需要借助传统的调试手段分析错误原因。对于某些异常行为和多线程程序不能再现真实的执行环境,传统的调试分析手段的作用不明显。如果能够捕获程序执行时的变量信息,那么运行时错误现场也会被捕获,进而以此为依据分析错误原因。对此提出基于变量跟踪的运行时错误现场捕获技术,它可以根据用户需求捕获特定变量信息,从而有效提高了变量信息获取的灵活性。以该技术为基础实现了运行时错误现场分析工具(RFST),该工具能够为程序运行时错误分析提供错误现场和辅助分析手段。
关键词
运行时错误现场
调试分析
变量跟踪
自动插桩技术
Keywords
runtime
error
site
debug
analysis
variable
tracking
automatic
instrumentation
technology
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
航天嵌入式软件运行时错误静态分析方法
王崑声
詹海潭
经小川
李宁
张刚
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2013
6
下载PDF
职称材料
2
多元χ演算运行时错误的不可判定性
陈韬略
韩婷婷
颜锋
吕建
《武汉大学学报（理学版）》
CAS
CSCD
北大核心
2004
0
下载PDF
职称材料
3
软件白盒测试的方法与实践
封亮
严少清
《计算机工程》
CAS
CSCD
北大核心
2000
7
下载PDF
职称材料
4
军工高安全软件数值型运行时错误分析方法
黄明
詹海潭
张伟
经小川
李宁
王潇茵
《空间控制技术与应用》
CSCD
北大核心
2016
0
下载PDF
职称材料
5
基于变量跟踪的运行时错误现场分析工具
张天炯
王铮
《计算机应用》
CSCD
北大核心
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
