论文部分内容阅读
计算机联锁系统使用建筑面积小、易于设计改造和维护,便于添加新功能,因此在铁路运输系统中得到了广泛的应用。安全是铁路运输系统中经久不变的话题,故计算机联锁系统是安全性和可靠性都要求极高的系统。现今,在计算机联锁系统硬件得到保障的前提下,联锁软件的安全性及可靠性成为了铁路信号领域密切关注的问题。软件测试是保证软件质量的方法之一。传统的联锁软件测试通常由手工完成,工作量大,并且一定程度上依赖于测试人员的专业知识和经验,故其测试效率和测试质量很难得到保证。因此,联锁软件的自动化测试目前备受重视。联锁软件测试用例的设计是软件测试的难点所在,也是自动化测试的关键所在,其决定了自动化测试的质量及效率。本论文通过分析计算机联锁系统的功能及软硬件结构,使用UML建模语言对联锁系统相关模块进行模型设计,然后基于UML模型自动化生成联锁测试用例。鉴于联锁系统不同模块描述的侧重点不同,本论文使用状态图和顺序图两种模型对其进行建模,生成了一次进路处理过程状态图、进路选路过程和信号开放过程顺序图,然后再分别基于状态图和顺序图生成联锁测试用例。基于状态图的联锁软件测试用例的自动生成技术,以一次进路处理过程状态图为例,结合状态图测试覆盖准则,根据图论中的相关理论,将测试覆盖准则下测试用例的生成分别转化成了对Hamilton圈、欧拉迹和顶点的度的求解问题。基于顺序图的联锁软件测试用例的自动生成技术,提出了将顺序图转化为有向图SG,结合顺序图的测试覆盖准则,使用深度优先遍历算法对有向图SG进行遍历,得到相应顺序图下的测试场景,从而生成了测试用例。论文以进路选路过程顺序图及信号开放过程顺序图为例,对这一方法进行了运用。论文提出的基于UML模型的联锁软件测试用例的生成技术,减少了对测试人员的技术依赖,提高了测试用例生成的自动化程度,以及软件测试的质量和效率,保障了计算机联锁系统的安全性及可靠性。