-
题名一种针对软错误的程序可靠性定量分析方法
被引量：6
- 1
-
-
作者
徐建军
谭庆平
熊磊
叶俊
-
机构
国防科学技术大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第3期675-679,共5页
-
文摘
宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义.
-
关键词
软错误
单粒子翻转
程序可靠性分析
错误传播
-
Keywords
soft error
single event upset
program reliability analysis
error propagation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名寄存器软错误对程序可靠性影响的静态分析
- 2
-
-
作者
徐建军
谭庆平
-
机构
国防科学技术大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2011年第1期290-294,F0003,共6页
-
文摘
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法。首先通过数据流分析技术提取所有可能影响程序执行的寄存器活跃区间,然后基于活跃区间的路径表达式分析其执行时间和出现频率,最后在此基础上计算在寄存器软错误影响下的程序可靠性。实验表明,该方法的分析结果与AVF分析法保持一致,同时其结果还指出相关的寄存器活跃区间的执行时间和出现频率,这为实现针对寄存器软错误的高效容错方法提供了依据。
-
关键词
软错误
寄存器
程序可靠性
程序分析
-
Keywords
Soft error
Register file
Program reliability
Program analysis
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-
-
题名基于环型复杂度的一种判断程序可靠性的统计方法
- 3
-
-
作者
蔡民
-
机构
上海市计算技术研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第5期82-85,共4页
-
文摘
软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测。
-
关键词
环型复杂率
统计方法
软件蓝图
可靠性模型
软件质量
程序可靠性
-
Keywords
reliability of software,software blueprint ,loop complexity,model of reliability
-
分类号
TM311.5
[电气工程—电机]
-
-
题名一种计算具有不可靠结点分布式计算网络可靠性的算法
被引量：4
- 4
-
-
作者
孙艳蕊
张祥德
-
机构
东北大学理学院
-
出处
《通信学报》
EI
CSCD
北大核心
2002年第9期22-28,共7页
-
基金
国家自然科学基金资助项目(19701006)
-
文摘
提出了几个保持可靠性不变的缩减,结合这些缩减,利用因子分解公式建立了一个计算具有不可靠结点的分布式计算网络分布程序可靠性的有效算法,算法的时间复杂性是O(N·(V+E)),并对一些网络在Pentium 120 计算机上作了计算,结果显示用本文算法计算DPR所产生的N和所用时间比其它算法的要小得多。
-
关键词
分布式计算网络
不可靠结点
分布程序可靠性
算法
因子分解公式
-
Keywords
distributed computing network
imperfect node
distributed program reliability
algorithm
factoring formula
-
分类号
TP393.01
[自动化与计算机技术—计算机应用技术]
-
-
题名考虑土层性质的基坑土钉支护整体稳定可靠性分析
被引量：5
- 5
-
-
作者
祝方才
阎颜
-
机构
株洲工学院
长城铝业公司建设公司
-
出处
《地质与勘探》
CAS
CSCD
北大核心
2003年第4期78-80,共3页
-
文摘
详细研究了在考虑土层性质差异的情况下基坑土钉支护的整体稳定可靠性分析方法,基于Monte-Carlo模拟方法开发了相应的可靠性分析程序,并结合工程实例进行了具体分析。研究表明,相对顶部土层来说,土钉支护整体稳定可靠性对底部土层抗剪强度参数变异性较为敏感,因此当基坑存在不同性质土层时,必须考虑土层性质差异对基坑稳定可靠性的影响。
-
关键词
土层性质
基坑
土钉支护
可靠性分析程序
整体稳定
抗剪强度参数
变异性
-
Keywords
foundation, soil-nail support, reliability
-
分类号
TU432
[建筑科学—岩土工程]
TU94
[建筑科学—建筑技术科学]
-
-
题名软件可靠性讨论
- 6
-
-
作者
金茂顺
周舜华
-
机构
航空航天部第
-
出处
《计算机工程与设计》
CSCD
北大核心
1992年第6期3-7,共5页
-
文摘
本文主要讨论软件可靠性模型及其理论的某些缺陷,并扼要地介绍了一些常用的软件可靠性技术,给出了提高软件可靠性的若干实用方法或措施。
-
关键词
软件
计算机程序可靠性
可靠性研究
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名面向软错误的寄存器活跃区间分析
被引量：1
- 7
-
-
作者
徐建军
谭庆平
叶俊
-
机构
国防科学技术大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第1期83-89,共7页
-
文摘
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.
-
关键词
软错误
寄存器
程序可靠性
数据流分析
过程间分析
-
Keywords
soft error
register file
program reliability
data flow analysis
inter-procedural analysis
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名反编译在航天工业中的应用
被引量：1
- 8
-
-
作者
赵蕾
吴岩
王开铸
-
机构
哈尔滨工业大学计算机系
-
出处
《宇航学报》
EI
CAS
CSCD
北大核心
1998年第3期97-102,共6页
-
基金
国防科工委支持项目
-
文摘
本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。
-
关键词
反编译
软件工具
程序验证
程序可靠性
航天
-
Keywords
Decompilation Software tool Program verification Program reliability
-
分类号
V446
[航空宇航科学与技术—飞行器设计]
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名审计证据
- 9
-
-
作者
任咏恒
-
机构
杭州商学院
-
出处
《财会月刊》
1996年第2期37-38,共2页
-
文摘
第3号国际审计标准规定:“审计师应该通过履行符合性与实质性程序来获得充分适当的证据,以使他能够从中得出合理的结论,并以此为根据对财务信息提出意见。符合性程序是为了合理确认审计所信赖的内部控制内在有效运行而设计的测试。实质性程序是为了证明会计制度所产生的数据的完整、精确和有效而设计的测试。实质性程序有两种类型:①交易和余额细节的测试;②重要的比率和趋势分析,包括由此引起的对异常波动和异常项目的调查。”为了进一步阐述这一基本准则,国际审计实务委员会于1982年元月颁布了第7号国际审计标准《审计证据》。
-
关键词
审计证据的相关性
审计师
内部控制
外部证据
财务信息
符合性
审计标准
内部证据
审计实务
可靠性程序
-
分类号
F23
[经济管理—会计学]
-
