软件容错的前提和基础——避错方法研究

来源 :第九届全国容错计算学术大会 | 被引量 : 0次 | 上传用户:cynthia0737
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
避错与容错是保证软件可用性的两种主要方法,而且避错方法又是实现软件容错的先决条件.避错法用于解决如何避免软件内部程序逻辑错误和功能差错等问题,是保证软件质量的关键方法,其内涵和形式随着计算机学科的长足发展而日益充实和丰富.本文从思想方法、技术工具和过程管理等方面系统地研究和总结适用于各种层次软件开发的有效避错方法.
其他文献
轻质骨材混凝土相较于普通混凝土具有质轻、隔热性佳、耐火性强且强度及耐久性均能满足工程需求之特点。但材料行为与普通混凝土有所差异,预应力构件设计考量时将与常重混凝土
本文首先对亮蓝中的同分异构体间相对比例作了数学模拟,后通过亮蓝商品样的HPLC、LC-MS分析及合成相关同分异构体,确定了各同分异构体的液相位置及比例,验证了数学模拟.最后
本文介绍了喹吖啶酮衍生物合成及应用的进展,尤其对喹吖啶酮磺酰胺、苯甲酰亚胺亚甲基喹吖啶酮三大类喹吖啶酮衍生物的合成及其在颜料表面改性上的应用进行了系统论述.
企业能源管理即是对企业用能情况进行全面的审计和考核,是解决能源紧张、促进节能的有效措施之一。该文介绍了企业能源审计的方法及审计软件制作,使转换能源等价折标系数的计算
本文针对我国唯一一部行业以上级别的热疲劳试验方法一"金属板材热疲劳试验方法"(HB6660-1992)存在的问题和不足,对包括术语与定义、试验参数、试验方案和实际操作方法提出了
研究了一种定向凝固镍基高温合金的高温低循环疲劳行为。结合对合金微观变形结构的观察,分析了温度、应变保持时间对合金低循环疲劳性能的影响。结果表明,温度对合金的变形有
本文介绍的人机语音交互平台是一个利用语音识别成果的系统,本系统最初在PC 的Windows系统下开发,已经成功运用在机器人上面,本文将详细介绍这个系统的构成、功能以及实现。另一
本文对双癸基二甲基氯化铵的基本性能及应用进行了分析。研究表明,双癸基二甲基氯化按完全适合用于洗涤类的产品,添加后的产品无论是稳定性、杀菌性都很好,而且它的配方工艺简便
在大量实验室试验的基础上,总结、分析了煤岩组合模型的冲击倾向性,并与单一煤模型的冲击倾向性进行了对比分析.研究结果表明,采用煤岩组合模型测得的冲击倾向性指标均高于单
本文对实时分布式计算机系统中的容错技术进行了研究,并提供了一种具有容错功能的实时分布式计算机系统的体系结构.理论和实践证明该研究方案在理论上是正确的,在实践中是可