OD体育- OD体育官方网站- APP下载全电子计算机联锁软件质量度量分析与研究

2026-03-28

  OD体育,OD体育官方网站,OD体育APP下载

OD体育- OD体育官方网站- OD体育APP下载全电子计算机联锁软件质量度量分析与研究

  兰州交通大学硕士学位论文摘要铁路信号设备或系统的可靠性与安全性对保障列车的正常运行具有重要意义,在系统设计时必须遵循“故障一安全”原则。在铁路信号系统中,计算机联锁已经得到了广泛的应用。安全是整个联锁系统设计的核心主题,铁路标准要求联锁软件的安全性等级必须达到SIL4。在联锁软件开发过程中,对软件的可靠性、可维护性等方面也不能忽略,从而保证整个软件的质量。因此,对全电子计算机联锁软件质量度量的研究至关重要。本文以全电子计算机联锁软件为研究对象,首先分析了系统的结构以及功能特点。联锁系统属于安全相关系统,其软件要求保证其可靠性与安全性;论文同时提出了软件质量的概念以及软件质量度量模型,井说明了软件测试、软件度量、代码重构等软件质量保证手段。其次,论文介绍了几种最具代表性的软件度量方法:源代码行度量方法、从程序结构角度提出的McCabe圈复杂性度量方法、从程序文本角度提出的Halstead软件科学度量方法和基于信息流的HenryKafura方法。最后,通过分析这几种典型的软件度量方法,发现这些方法并不能全面的度量整个软件的质量。为了解决度量的片面性问题,结合现有的软件度量方法,本文提出了一种全面的软件度量方法,其核心思想是对代码长度、圈复杂度、软件科学度量值以及信息流度量值进行综合处理。该方法能够实现从软件的长度、结构、信息流等角度来综合评价软件质量。本文利用该方法对联锁软件进行质量度量,以量化的形式表征软件内部质量水平。首先参照软件内部质量度量标准,选择清晰性、可维护性、易测试性三个质量特性作为联锁软件质量评价标准。接着计算出每个质量特性相关度量元的值,建立了联锁软件内部质量评价的静态度量模型。最后通过实例计算出了联锁软件度量结果。通过以上度量分析,发现有些度量值低于指标的最小值,有些却超过最大值,软件的综合质量比较低。为了提高计算机联锁软件质量水平,本文提出了一种质量度量引导优化(QualityMetrics-DirectedOptimization,简称QMDO)的方法。QMDO方法的基本思想是:运用全面度量方法对联锁软件进行质量度量,对照度量结果,采用代码优化技术对联锁软件进行修改并重新度量,对比之前的度量结果,优化后各度量项能够达到联锁软件的要求范围。QMDO方法明显改善了代码的清晰性、可维护性、易测试性,极大地提高了代码质量,为利用软件度量提高软件质量找到了一条有效的途径。关键字:计算机联锁软件;软件质量;软件度量;质量度量弓l导优化论文类型:应用研究

  全电子计算机联锁软件质量度量分析与研究Abstract,玎1ereliabilityandsecurityofrailwaysignalingequipmentors弘temisofgreatsignificancetotrainprotectionofthenormaloperation.Wemustfollowtheprincipleof“fiIil・safe”intheprocessofdesigningthesystem.Thecomputerinterlockingsystemhasbeen慨delyusedi11therailwaysignalingsystem,ofwhichacoretopicissafety.Thesafetyintegritylevelof也einterlockingsoftwaremustachieveSIL4.Inthedevelopmentofthesoftware,wecannotignoretherellabilityandthemaintainabilityofthesoftware,itwillsufferthequalityofthewholesoftware.Therefore,itiscriticaltoresearchontheinterlockingsoftwarequalitycharacteristics.眦spaperstudiestheall-electriccomputerinterlockingsoftware.First,analysesthearchitectuNandfunctionsoftheinterlockingsystem,whichisasafety-relatedsystemsothatitssoftwaremustbereliabilityandsafety,andproposestheconceptofsole[warequalityandthemetricsmodelofsoftwarequality,explainsmanytechniquesforguaranteeingthesoftwarequalitySBchaSsoftwaretest,SO自cWaremetrics,coderestructuring.Second,introducesallkindsoftherepresentativesoftwaremetricsmethods,forexample,softwaremetricsforlinesofcode,McCabemetricsallowingfortheprogramcomplexity,Halsteadsofbvare scientific metrics for the program text complexity.We find these methods Call not measllre all aspects of the quality of the whole software through analyzing these methods. In order to improve the problem of partial metrics,this paper proposes the method that Can measure more aspects relatively,which iS combined with the software quality evaluation, and modeling the interlocking soRware quality metrics.ne method allows for many aspects of software quality such as software length,structure,information flow eteachieving the target of measuring all aspects of software quality.We refer to softrare quality metrics standards,select clarity,maintainabilitytestability as the interlocking software quality characteristics。and work out the valLlc of each me壤cs element about quality characteristics, and based 011 the comprehensive mcNcs method forwardly.Then we build the static metrics ofthe interlocking soRware quality evaluation,and work out the interlocking software metrics in several cases and calculate internaI quality of the software in the way of quantization. Through analysis and calculation,some metriCS below its minimum,while others overrun its maximum.TMs will suffer the software overall quality. In order to improve也e software quality,this Paper proposes ame也od of Qualit3’-Metrics-Directed Optimization(i.e,,QMDO).We come up with the following key idea of QMDO:we modi母the program by using code optimization techniques,while referring to its metfics results,and then measure the quality of the program modified. Contrasting with the first quality metrics results,We find each metrics items Can reach their —II—

  兰州交通大学硕士学位论文 scope required.The QMDO obviously improves the clazity,maintainabilitytestability of program codes,at the same time makes the quality of codes betterand provides all effective way to improve the software quality through software metrics. Key Words:Computer Interlock Software,Software QualitySoftware Metrics,Quality Metrics-Directed Optimization —III

  全电子计算机联锁软件质景度量分析与研究 目录摘要……………………………………………………………………………………….I Abstract…………….…………,…………..…………………..。..….………………………。……………………………II 1绪论……………………………………………………………………………………………………………………….1 l。l研究背景…………………………………………………………………………….1 1.2研究目的及意义…………………………………………………………………….1 1.3国内外研究现状……………………………………………………………………,2 1.4论文组织结构……………………………………………………………………….3 2全电子计算机联锁系统……………………………………………………………………4 2.1全电子计算机联锁系统的发展…………………………………………………….4 2.2全电子计算机联锁系统的结构及功能………………………………………………4 2.3全电子计算机联锁系统的特点……………………………………………………..7 2。4全电子计算机联锁软件…………………………………………………………….7 2.4.1软件的总体结构……………………………………………………………。7 2.4。2软件的功能……………………………………………………………………,9 2.4.3软件的特点………………………………………………………………….10 3软件质量度量研究………………………………………………………………………。11 3.1软件质量……………………………………………………………………………11 3。1.1软件质量度量模型…………………………………………………………11 3.1.2软件质量保证手段…………………………………………………………12 3.2软件度量……………………………………………………………………………,14 3.2.1软件度量分析………………………………………………...…………….15 3.2.2软件度量的实施……………………………………………………………16 3.3软件度量的方法……………………………………………………………………17 3.3.1代码行度量…………………………………………………………………17 3.3.2 McCabe圈复杂性度量……………………………………………………..18 3.3.3 Halstead软件科学度量…………………………………………………….,20 3.3.4数据流信息的程序复杂性度量……………………………...…………….22 3.4全面的软件度量方法………………………………………………………………23 4计算机联锁软件质量度量研究………………………………………………………..:…27 4.1联锁软件质量特性…………………………………………………………………27 4.2联锁软件质量度量模型……………………………………………………………28

  兰卅f交通大学硕士学位论文 4.3联锁软件分析………………………………………………………………………29 4.4联锁软件质量度量…………………………………………………………………32 4.4.1清晰性度量…………………………………………………………………32 4.4.2可维护性度量……………………………………………………………….34 4.4.3易测试性度量………………………………………………………………36 5软件质量度量的应用……………………………………………………………………..39 5.1代码优化技术………………………………………………………………………39 5.2质量度量引导优化…………………………………………………………………40 5.3优化后的质量度量…………………………………………………………………42 5.4度量结果对比分析…………………………………………………………………45 结论………………………………………………………………………………………………………………….48 致谢………………………………………………………………………………………………………………….49 参考文献……………………………………………………………………………………。50 攻读学位期间的研究成果…………………………………………………………………..52

  兰州交通大学硕士学位论文 1绪论 1.1课题研究背景 铁路是大容量和大众化的交通运输工具,安全运输是铁路追求的目标,通常所说的 “安全第一”表明安全在铁路中的地位。“故障一安全”的理念也源于铁路…。在这些 系统中不光要能保证系统在正常情况下的安全运行,同时还必须考虑系统在出现某些不 正常的情况下,如何避免或减少危及人身安全或大宗财物损失的事故发生。 目前,在铁路运输系统中,计算机联锁系统已经得到了广泛的应用,与以前的继电 联锁相比,计算机联锁系统是以软件来实现由继电逻辑完成的信号设备之间的联锁关 系。然而对软件质量的研究和应用,并不像硬件那样成熟,在计算机联锁系统中,软件 是执行联锁运算的核心部分,它的失效有可能导致列车的相撞或颠覆等重大事故,因此, 如何保障联锁软件的质量也就成了开发计算机联锁软件的一项重要课题。 联锁子系统是铁路信号控制设备中地面设备的重要组成部分,在信号、道岔和进路 之间建立一定的相互关系和控制顺序,保障列车的行车调车安全,联锁系统本身须具有 高度的安全性和可靠性,联锁系统的设计须遵循“故障一安全”原则12J。 铁路车站联锁软件是一种典型的安全性苛求软件(Safety-Critical SoRware)。一是软 件具有生命攸关的功能,失效意味着可能带来涉及人身安全的重大损失:二是联锁软件 因车站布局不同规模也不尽相同,每一个车站的联锁软件都是一件相异的单独产品,但 不是一个软件版本的重复,这就符合安全性苛求软件的生命攸关性、复杂性和独特性的 要求【3】o作为安全性苛求软件对于质量有特殊的要求,对软件进行测试和评估是系统生 命周期中重要环节。 联锁软件在保证软件功能的同时也要保证软件的质量,但是对质量的高低如何来评 价又是一个重要的研究领域。本论文在分析软件质量的基础上提出了四点对于如何提高 软件质量的方法,而主要研究方向是软件质量度量,采用什么方法进行度量,以及通过 度量评价软件的质量,对于一些度量结果不理想的代码进行修改,降低相应的度量指标, 从而提高软件的质量。 1.2研究目的和意义 在软件开发的历史中,我们可以意识到,软件危机在一定的层次上反映了软件开发 中管理的重要性。对管理层人员来说,没有对软件过程的可见度就无法管理,而没有对 见到的事物有适当的度量或适当的准则去判断、评估和决策,也无法进行优秀的管理【4】。 我们说软件工程的方法论主要在提供可见度方面下工夫。但仅仅是方法论的提高并不能

  全电子计算机联锁软件质量度量分析与研究 使其成为工程学科[51。这就需要使用度量。度量是一种可用于决策的可比较的对象。度 量已知的事物是为了进行跟踪和评估。对于未知的事物,度量则用于预测。 目前软件度量的成果是非常初步的,还需要大量的工作才能真正地做到实用化。认 识到软件度量的实用化成果将对软件的高质量和高速发展有不可估量的影响。 由于信号系统对安全的苛求性,所以针对软件的安全性和可靠性进行测试验证,遵 循“故障一安全”原则是必须的。在保证联锁软件安全性的同时兼顾可靠性以及可维护 性,对软件质量的提高有很大的帮助。在软件开发中,软件度量的根本目的是为了管理 的需要。利用度量来提高软件质量是对软件度量结果的应用。 计算机联锁软件关注安全性,铁路标准要求达到安全完整性等级SIL4级,在保证 高安全性的前提下,兼顾软件的可靠性以及可维护性等方面,从而保证整个系统的质量, 所以研究联锁软件的可靠性以及可维护性等方面.对提高软件的整体质量来说至关重 要,通过对度量指标的分析,采取一定的技术手段对代码进行优化,达到系统指定的要 求,在保证系统安全性的前提下提高了软件的质量。因此,对联锁软件进行质量度量具 有重要意义。 1.3国内外研究现状 在六十年代,主要是七十年代,人们就开始了软件量度和度量的基础性工作,根据 这些早期工作,八九十年代有了更迸一步的研究成果。提出软件度量的原因是基于大家 都认为结构和模块化对开发可靠性软件非常重要,许多软件专家认为软件系统模块化越 高且模块结构越简单,软件可靠性就越能得到保证【6】。 软件度量的早期工作主要集中在复杂性度量上,主要分为程序结构复杂性度量、计 算复杂性度量、逻辑复杂性度量、概念复杂性度量和文本复杂性度量。最常用的四种度 量方法是:代码行度量法(Lines ofCode,LOC)、McCabe的圈复杂度度量法、Halstead度 量法和信息流量(IF)度量法(伯】。它们分别被认为测量软件的长度、程序中操作数和操作 码的数量、程序中的分支数和模块间信息流量的多少。 国外对软件度量的研究开始的比较早。在美国,许多度量研究活动是由美国卡内基 梅隆的软件工程研究所主办进行的,这些活动是促进组织间提高应用软件度量的舞台。 许多大型公司和组织广泛地应用了软件度量。如美国电话电报公司、美国国家航空和宇 宙航行局,摩托罗拉公司等f91。英国伦敦南湾大学系统和软件工程中心提出伦敦南湾大 学提出一个叫“基于结构的软件度量”的研究项目,目的是在现有研究的基础上建立标 准模型,分析和度量软件结构。欧共体从1989年到1992年,创立了一个叫 METKIT(Metrics Educational Toolkit 2384,度量教育工具包)项目。METKIT的目的通过

  兰州交通大学硕士学位论文 开发面向工程和学术界的教材来唤起相关人员的度量意识和提高软件度量在欧洲工程 界的应用【101。德国自1993年后在GI(Gesellschaft fur Informatik)的支持下,建立一个软 件度量组织。不久之后德国政府宣布了一项研究课程,其中软件度量是其中的主要部分 【1l】。日本在软件度量方面的成果是Azuma的IS09126标准,伴随着这个标准,有超过 100个软件度量方法作为软件品质的定量标准被提出【l引。 我国对软件度量的研究还是很初步的,对比其他国家,在这方面我们还没有形成系 统的知识领域,许多研究机构和大学都对CMMI、IS09000等在软件工程领域的应用进 行了深入的探讨和研究,出现了如新太科技的软件质量提升系统、北大青鸟系列产品、 中国科学院软件研究所的软件质量保证平台等。由此看来,软件度量的研究在我国还有 很大的发展空间。 1.4论文组织结构 本文共分五章,内容安排如下: 第1章:绪论,主要对论文的研究背景与意义、研究现状及论文的内容安排进行阐 述。 第2章:全电子计算机联锁系统,主要介绍联锁系统的结构和功能,以及全电子计 算机联锁软件的功能、结构和特点。 第3章:软件质量与度量理论基础,介绍软件质量的概念以及如何提高软件质量, 通过对软件测试、软件度量、代码重构以及全面的质量管理等技术手段的描述来说明影 响软件质量的因素。但是对于软件质量的高低的评价就需要引入软件度量的概念,主要 分析了四种典型的软件度量方法,在此基础上提出了一种全面的度量方法。 第4章:联锁软件质量度量,在第三章提出的全面软件度量的基础上进一步提出纯 内部质量度量的三个特性,并建立了联锁软件质量度量模型。以一段道岔模块的代码为 例,为内部质量特性选择适当的度量元,分析代码结构及功能,并对各度量项做了计算。 第5章:质量度量的应用,提出了一种度量指导优化的方法。经过在清晰性、可维 护性、易测试性三个质量特性方面的度量,得出质量特性不符合基本要求,因此对代码 做了优化并重新度量,对比之前的度量结果,软件质量有了明显的提高。 最后总结全文,对本文工作进行全面总结,给出本文所取得的成果,并指出存在的 不足和改进方向。

  全电子计算机联锁软件质量度簧分析与研究 2全电子计算机联锁系统 2,1全电子计算机联锁系统的发展 铁路信号计算机联锁系统是一种以计算机为主要技术手段实现车站联锁的系统,是 保障行车安全的基础设备之一。随着电子技术的飞速发展,20世纪60年代人们已经开 始尝试采用电子器件取代继电器来构成铁路信号电子联锁控制系统。1978年,由瑞典研 制的世界上第一套计算机联锁成功应用,掀开了车站联锁控制系统研究与应用的新篇 章。随后,各国竞相研究开发计算机联锁控制系统,到20世纪90年代,不少国家已经 大面积推广计算机联锁控制系统【13l。在我国,铁道科学研究院、通信信号总公司研究设 计院等单位于80年代也相继开展了计算机联锁系统的研制工作。1984年,通信信号总 公司研究设计院研制出国内第一套计算机联锁系统,填补了我国计算机联锁的空白。 1989年,铁道科学研究院研制的计算机联锁在郑州北编组站开通使用,这是首次计算机 联锁应用于国有铁路。从1994年起,铁道科学研究院、通信信号总公司、北京交通大 学、卡斯柯公司研制的计算机联锁系统也开始相继推广使用【141。 随着我国铁路不断地提速和运输效率的逐渐提高,对计算机联锁的安全性及控制的 要求也越来越高,而国内车站的联锁控制现在主要是6502电气集中联锁控制和计算机 联锁加继电器控制。由于这两种系统中都存在继电器,都有维修、运行及施工等方面的 问题,难以适应新的更高的要求,并且基础信号设备模拟量监测上也存在一定问题,需 要单独增加微机监测系统,而全电子计算机联锁系统,去掉了执行部分的继电器电路, 代之以智能全电子执行单元,实现控制、监督、监测一体化,为铁路信号设备的升级做 了有益的技术积累。 由兰州交通大学自动控制研究所研制的LDJL.II型全电子化计算机联锁系统是全国 首创,建立了在软、硬件双重保的铁路信号控嗣的新一代全电子化联锁设备,是目前惟 一实现全部电子化并通过铁道部鉴定的计算机联锁系统。 2.2全电子计算机联锁系统的结构及功能 全电子计算机联锁系统与计算机联锁系统~样,都是以计算机作为联锁运算设备, 采取集中控制的方式控制和采集室外三大监控对象状态的系统。两者的主要不区别在于 接口部分,全电子计算机联锁采用智能化的全电子执行单元,对底层信号设备进行控制 和监测【1 51。而计算机联锁系统主要利用安全型继电器接口电路来完成该功能的。根据系 统各主要部分的功能分工及设置地点的不同。LDJL-II型全电子计算机联锁系统一般层 次结构如图2.1所示,共分为三层:操作表示层、联锁逻辑层及全电子执行层。

地址:广东省广州市天河区88号 客服热线:400-123-4567 传真:+86-123-4567 QQ:1234567890

Copyright © 2012-2025 OD体育- OD体育官方网站- OD体育APP下载 版权所有 非商用版本