计算可靠性分析和程序设计语言对计算可靠性的影响

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:neocage
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着应用软件的规模逐渐由几百行代码扩展到数万行,软件可靠性开始成为一个重要的研究课题。低可靠性经常会导致重要的、灾难性的后果。一个著名的例子就是第一次海湾战争中,飞毛腿导弹没能被成功拦截。尽管研究人员和工程师提出许多软件可靠度模型,但是软件可靠性问题仍然存在。我们试图从另一个角度来分析软件可靠性问题。我们分析软件的开发和执行平台可能对软件可靠性产生的影响。该平台包括指令集结构,操作系统,编译器和程序设计语言。我们认为,在特定的平台上开发或者执行的软件将具有一个软件可靠性的最大值,该值会随着平台的不同而变化。我们的最终目标就是构建一个软件参数模型,用以预测在某个平台下软件可以达到的最高可靠度,以及选择出满足给定可靠度要求的软件开发平台。本论文侧重分析程序语言对软件可靠性的影响。为了清晰地定义失效的概念,本论文重点研究应用软件的计算可靠性,通过对比实验来度量程序语言对计算可靠性的影响。本论文研究了三种流行的程序语言,比较了它们对软件可靠性的影响程度。实验结果显示,Fortran语言的计算可靠度同C/C++语言相当,而Java的计算可靠度要低于C/C++。造成这种差异的主要原因在于程序语言底层函数库,基本运算的计算误差是影响计算可靠性的主要因素。
其他文献
为满足棒材分离系统研制和开发的需要,利用仿真平台对棒材完全分离控制策略进行了研究,主要内容有:完全分钢方案。在介绍端部棒材在线点支及分离系统之后提出棒材完全分离的
团簇是一种介于微观与宏观世界的物质,有着独特的物理化学性质。团簇的性质是由其结构决定的,因此,确定团簇的结构就成为了团簇科学界关注的重要问题。团簇结构的形成是由组
医学数字图像与通信协议(DICOM),是目前建设图像归档和通信系统(PACS)被广泛遵循的一个国际标准,也是PACS成功运行的关键。研究DICOM标准,自主开发符合DICOM标准规范的PACS系
分销渠道是企业完成产品分销任务的重要资源,分销渠道的管理是企业市场营销工作的重要组成部分。在企业的销售过程中,分销渠道体系的健康与否,决定着渠道中各个实体之间是否
进化测试是近年来刚刚兴起的测试数据自动生成技术,已在很多实际工程中得到了成功应用。然而,在白盒测试中,当程序中存在枚举变量时,利用传统适值函数计算公式所得到的适值地
在纠错性软件维护中,相当大一部分错误是由于程序对别名表达式指向的对象进行了误操作而引发的。因此,针对别名引发的软件错误,本文讨论了基于别名分析的错误诊断技术,以及基
近几年来,随着三维游戏一系列的创作产品不断地兴起,计算机不仅在在文化创作(例如广告设计、电影创作、动画特效)、人机交互、游戏创作、广告娱乐等应用中发挥着不可替代的影
随着互联网和多媒体技术的迅速发展,人们可以访问到的多媒体数据急剧增多。视频作为多媒体信息中最复杂的一种媒体形式,凭借其多样化的表现形式、丰富的语义内容,以及快捷的
空间由于其独特的信息获取优势成为了世界各军事强国竞相争夺的战略制高点。发展高效、安全、先进的空天信息网络技术,使空间信息系统可以高效的互联互通,使空间信息数据可以高
本文基于军事作战对通信网络的特殊需求,分析并抽象出战术互联网络的应用场景。考虑到MANET在战场环境的应用,对战术互联网络进行建模,生成场景,并将其特征归纳为分层分布式的拓