形式化联锁软件测试技术研究

来源 :兰州交通大学 | 被引量 : 4次 | 上传用户:cngd0613
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机联锁系统使用建筑面积小、易于设计改造和维护,便于添加新功能,因此在铁路运输系统中得到了广泛的应用。安全是铁路运输系统中经久不变的话题,故计算机联锁系统是安全性和可靠性都要求极高的系统。现今,在计算机联锁系统硬件得到保障的前提下,联锁软件的安全性及可靠性成为了铁路信号领域密切关注的问题。软件测试是保证软件质量的方法之一。传统的联锁软件测试通常由手工完成,工作量大,并且一定程度上依赖于测试人员的专业知识和经验,故其测试效率和测试质量很难得到保证。因此,联锁软件的自动化测试目前备受重视。联锁软件测试用例的设计是软件测试的难点所在,也是自动化测试的关键所在,其决定了自动化测试的质量及效率。本论文通过分析计算机联锁系统的功能及软硬件结构,使用UML建模语言对联锁系统相关模块进行模型设计,然后基于UML模型自动化生成联锁测试用例。鉴于联锁系统不同模块描述的侧重点不同,本论文使用状态图和顺序图两种模型对其进行建模,生成了一次进路处理过程状态图、进路选路过程和信号开放过程顺序图,然后再分别基于状态图和顺序图生成联锁测试用例。基于状态图的联锁软件测试用例的自动生成技术,以一次进路处理过程状态图为例,结合状态图测试覆盖准则,根据图论中的相关理论,将测试覆盖准则下测试用例的生成分别转化成了对Hamilton圈、欧拉迹和顶点的度的求解问题。基于顺序图的联锁软件测试用例的自动生成技术,提出了将顺序图转化为有向图SG,结合顺序图的测试覆盖准则,使用深度优先遍历算法对有向图SG进行遍历,得到相应顺序图下的测试场景,从而生成了测试用例。论文以进路选路过程顺序图及信号开放过程顺序图为例,对这一方法进行了运用。论文提出的基于UML模型的联锁软件测试用例的生成技术,减少了对测试人员的技术依赖,提高了测试用例生成的自动化程度,以及软件测试的质量和效率,保障了计算机联锁系统的安全性及可靠性。
其他文献
随着医院规模的不断扩大和计算机的不断发展,医学图像归档及通信系统(PACS)成为国内医学数字图像及传输领域的一个研究热点。数字成像及通信协议(DICOM)是医学数字图像及传输
在当今社会类型各异的突发事件层出不穷的情况下,城市综合应急指挥系统越来越受到人们的关注,近年中国各大城市也正积极进行城市综合应急系统的建设。而在应急事件的处理中,
精密光测数字图像处理分析技术,在当今的数字信息时代得到了迅速的发展和广泛的应用,并显示了重要的地位。这种非接触式方法可以广泛地应用于物体形状尺寸的直接测量。但目前
网格(Grid)一词在20世纪90年代中期首次被用来描述用于科学和工程分布式计算的基础设施。这种基础设施把计算资源、数据存储资源、广域网络、仪器设备等连成有机的整体,方便用
基于网络的计算是当前国内外研究的热点,特别是随着网格计算的提出,许多学者对此进行了大量的研究工作,使得网格计算由最初的以协议为中心的体系架构转变为基于服务的体系架构。
学位
数据仓库(DW)的建立将数据处理的两种类型——操作型处理和分析型处理明确地区分开来,形成了DB-DW两层体系结构,但这两种处理之间并不是泾渭分明的。在实际用户需求中,对数据的
随着数字多媒体技术在网络上的广泛应用,数字产品以其方便快捷,深受人们喜爱,电子出版、网络视频、数字图书馆、电子商务迅猛发展。虽然它给人们带来了便利,但是同时也带来了安全
科学可视化技术可以广泛应用于医学、气象学、地质学等多个领域,是当前发展最为迅速的技术之一。体绘制技术作为科学可视化的关键技术也得到了国内外研究者的极大关注。虽然
随着计算机技术和网路的发展和普及,信息化已经影响到社会的各行各业,正在蓬勃发展的电子政务就是其发展的结果。当前电子政务发展很迅猛,从上到下,各级政府都在建立自己的电子政
需求工程是软件工程的初始阶段,是整个软件开发过程的基础,也是项目成败的关键阶段之一.近些年来,随着软件规模的不断增大和在各个领域的广泛应用,使软件工程研究越来越重视