面向场景的列车控制系统安全性测试技术研究-软件工程专业毕业论文.docxVIP

面向场景的列车控制系统安全性测试技术研究学位论文完成日期： 面向场景的列车控制系统安全性测试技术研究 学位论文完成日期： 油ls年4jlⅪ 指导教师签字： 习互正二 答辩委员会成员签字： 万方数据 0III 0III I I IIIIlU lII IIIIIIIIIIIl 青岛科技大学研究生学位论文 Y27741 0 1．．．．．—— 面向场景的列车控制系统安全性测试技术研究 摘要 轨道交通列车控制系统因其高速、精准的控制行为，要求其构成的多系统间 的并发行为逻辑准确，而在这种典型的分布、实时和并发的安伞苛求系统中，交 互行为的时序性成为系统功能、安全性的重要特征。场景是刻画并发、分布系统 问动态行为的有效方法，常用于描述系统层行为的安全性需求和功能性需求，是 软件系统架构建模的主要依据，基于场景刻画轨道交通列车控制系统已被铁道总 公司定位为行业规范标准，成为第三方测试的主要依据规范。 面向技术规范的全覆盖测试需求是这类安全苛求系统安全性测试的基本需 求，但由于全覆盖在实践上的不可行性，如何产生针对性的测试用例成为业界研 究的热点，特别是能够产生面向不同危害级别的层次性测试用例，成为基于场景 测试成功应用的关键。 但在测试的实践中，面向场景的完备性测试难以实现，而实际测试更多的需 求是要求提供一种可行技术，能够产生满足特定行为特征覆盖的测试用例集合， 从而能够快速检测不同危害级别的系统缺陷。本文基于轨道交通运营场景的交互 行为特征，提出一种基于模式的测试技术，能够快速生成面向指定行为约束的测 试用例，从而能够快速检测系统的运营场景的违背性或符合性。本文的主要贡献 为： (1)给出轨道交通运营场景的模式分类，并采用LTS、FSM两种形式定义模式 语义，并给出基于模式的覆盖准则。 (2)基于图论测试技术，提出面向不同模式的测试用例生成技术，并给出算 法的正确性证明。 (3)给出场景行为分解的方法，基于模式测试技术，给出面向特定场景行为 的测试用例生成技术。 通过一些实例表明，这种测试用例生成技术能够快速产生面向特定行为特征 和约束的测试用例，一方面可以有效检测是否存在违背特定行为模式，同时能够 产生覆盖行为模式的测试用例，实现用较少的测试用例快速检测系统特定的行为 危：害。 关键词：列车控制系统动作序列模式运营场景模型测试标签系统 万方数据 青岛科技大学研究生学位论文RESEARCH 青岛科技大学研究生学位论文 RESEARCH 0N SCE]NARIO．ORIE]NTED SATETY TESTING 0F THE TRAIN CONTROL SYSTEM ABSTRACT In safety critical system which is a typical distribution of real—time and concurrent system，sequential interactive behavior has become an important feature of the system function and safety．Scenario iS an effective method to describe the dynamic behavior of concurrent and distributed multiple systems．And Scenario is often used to describe the system behavior layer of security requirements and functional requirements，which is a main basis of modeling software system．The scenario depicting the train control system has been located the industry standard by Railway corporation，and become the main basis for the third party testing． Full coverage of the test requirements of technical specification-oriented is the basic demand of this kind of safety critical system security testing．However,full coverage is not feasible in practice．How to generate specific test cases has become the foc