检索结果-内蒙古大学图书馆

计算机科学 2011年第1期38卷 290-294,F0003页

作者：徐建军谭庆平国防科学技术大学计算机学院长沙410073

继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静... 详细信息

继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法。首先通过数据流分析技术提取所有可能影响程序执行的寄存器活跃区间,然后基于活跃区间的路径表达式分析其执行时间和出现频率,最后在此基础上计算在寄存器软错误影响下的程序可靠性。实验表明,该方法的分析结果与AVF分析法保持一致,同时其结果还指出相关的寄存器活跃区间的执行时间和出现频率,这为实现针对寄存器软错误的高效容错方法提供了依据。

关键词：软错误寄存器程序可靠性程序分析

来源：评论

学校读者我要写书评

暂无评论

基于环型复杂度的一种判断程序可靠性的统计方法

引用

计算机工程与应用 2003年第5期39卷 82-85页

作者：蔡民上海市计算技术研究所上海200040

软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型... 详细信息

软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测。

关键词：环型复杂率统计方法软件蓝图可靠性模型软件质量程序可靠性

来源：评论

学校读者我要写书评

暂无评论

面向软错误的程序可靠性优化技术研究

面向软错误的程序可靠性优化技术研究

引用

作者：吴江国防科技大学

学位级别：硕士

在大气层外的空间环境中,存在大量电子、质子和重离子等高能带电粒子,这些粒子会造成航天器半导体电路发生单粒子效应。单粒子效应是由于高能带电粒子对于集成电路一次轰击所造成的故障,主要包括单粒子翻转、单粒子功能中断和单粒子瞬... 详细信息

在大气层外的空间环境中,存在大量电子、质子和重离子等高能带电粒子,这些粒子会造成航天器半导体电路发生单粒子效应。单粒子效应是由于高能带电粒子对于集成电路一次轰击所造成的故障,主要包括单粒子翻转、单粒子功能中断和单粒子瞬态故障,这一类故障又被称为软错误。在航天领域由于高能粒子辐照的存在,系统可靠性十分容易收到软错误的影响。软错误对程序可能造成很多负面影响。其中静默数据损坏是指在软错误的影响下,程序正常执行至结束但是结果发生错误。由于这一特性,静默数据损坏被视为软错误影响下对程序可靠性影响最大的负面因素,所造成的负面影响可能会造成很严重的后果。现代的编译器在编译过程中会提供优化功能。编译优化会可能对指令顺序进行调换,对指令数量进行删减,这样就会导致错误传播过程发生改变,从而影响程序发生软错误的可能性,进一步影响程序发生静默数据损坏的可能性。然而,编译器提供的编译优化选项往往是针对程序性能提升进行设计,对于程序可靠性的提升并不显著。其次,编译器提供的编译优化选项具有普适性不具有针对性,无法针对特定的程序实现可靠性的显著提升。因此,针对不同的程序,要想使得编译优化选项效果最优就需要对编译优化选项进行配置,调整编译优化通道的顺序和数量。本文主要针对编译优化对于基于软错误的程序可靠性的影响展开研究,提出基于编译优化技术的程序可靠性优化方法,从以下两方面展开工作:(1)在LLVM编译框架的基础上,结合程序可靠性分析模型,研究LLVM编译优化通道以及子序列对于程序可靠性的影响,对编译优化序列与程序可靠性之间的关系进行定量分析,为针对特定程序生成特定的编译优化序列打下基础;(2)对强化学习的算法特性进行分析研究,提出基于强化学习的面向程序可靠性的编译优化序列生成框架P2OR,并设计深度强化学习模型POACER并实现强化学习模型。通过智能体的探索与策略学习,为特定程序生成可靠性提升最为显著的编译优化序列,并通过实验进行验证。

关键词：软错误静默数据损坏程序可靠性 LLVM 编译优化序列强化学习

来源：评论

学校读者我要写书评

暂无评论

电算化会计系统的程序可靠性审计

引用

外国经济与管理 1985年第7期 34-36页

作者：唐清亮

<正> 电算化审计最困难的任务之一是计算机程序的审计。要完成这个任务,首先要对程序控制功能的可靠性进行测试。测试会计系统内部控制功能的可靠性,称为符合性测试(Compliance Testing)。本文拟对计算机程序进行符合性... 详细信息

<正> 电算化审计最困难的任务之一是计算机程序的审计。要完成这个任务,首先要对程序控制功能的可靠性进行测试。测试会计系统内部控制功能的可靠性,称为符合性测试(Compliance Testing)。本文拟对计算机程序进行符合性测试的三种方法作一评介。

关键词：程序控制功能计算机程序程序可靠性三种方法数据处理计算机编制测试数据输出结果处理结果输入数据

来源：评论

学校读者我要写书评

暂无评论

提高程序可靠性的若干方法

引用

信息系统工程 1992年第3期5卷 61-63页

作者：王天中余存鹤

来源：评论

学校读者我要写书评

暂无评论

基于代码段多副本对比机制提高程序可靠性方法

基于代码段多副本对比机制提高程序可靠性方法

引用

作者：张兴军董小社雷济凯郑豪刘鹏飞王恩东胡雷钧张东伍卫国 710049 陕西省西安市咸宁路28号

本发明公开了基于代码段多副本对比机制提高程序可靠性方法，通过启动内核线程作为初始化线程，初始化线程获取进程内存信息，在物理内存中保存进程代码段的两份副本，并把进程代码段划分为固定大小的内存区域，按照划分结果，启动相应... 详细信息

标准号: CN101901174A

本发明公开了基于代码段多副本对比机制提高程序可靠性方法，通过启动内核线程作为初始化线程，初始化线程获取进程内存信息，在物理内存中保存进程代码段的两份副本，并把进程代码段划分为固定大小的内存区域，按照划分结果，启动相应数目的内核线程作为一致性维护线程实时维护进程代码段区域和其副本之间的一致性，发现由于各种软硬件故障造成的程序代码段错误，并且及时恢复。本发明实现简单、对被保护进程透明、并且能够有效的检测程序代码段错误，防止由于代码段错误造成的程序崩溃甚至系统失效，提高了程序运行的可靠性。

关键词：线程程序代码进程代码内核线程初始化副本代码段多副本对比机制程序可靠性软硬件故障一致性维护固定大小内存区域内存信息维护进程物理内存系统失效被保护进程透明检测发现

来源：评论

学校读者我要写书评

暂无评论

基于代码段多副本对比机制提高程序可靠性方法

基于代码段多副本对比机制提高程序可靠性方法

引用

作者：张兴军董小社雷济凯郑豪刘鹏飞王恩东胡雷钧张东伍卫国 710049 陕西省西安市咸宁路28号

标准号: CN101901174B

来源：评论

学校读者我要写书评

暂无评论

利用FoxPro中DEBUG和TRACE提高程序的可靠性

引用

电脑技术信息 1996年第10期 40-42页

作者：马群上海港湾学校

来源：评论

学校读者我要写书评

暂无评论

面向软错误的寄存器活跃区间分析

引用

小型微型计算机系统 2012年第1期33卷 83-89页

作者：徐建军谭庆平叶俊国防科学技术大学计算机学院长沙410073

继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方... 详细信息

继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.

关键词：软错误寄存器程序可靠性数据流分析过程间分析

来源：评论

学校读者我要写书评

暂无评论

反编译在航天工业中的应用

引用

宇航学报 1998年第3期19卷 97-102页

作者：赵蕾吴岩王开铸哈尔滨工业大学计算机系

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；介绍了反编译的背景知识；给出一个实用的反编译系统ＤＣＰＬ的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。

关键词：反编译软件工具程序验证程序可靠性航天

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：