CN106814730B - 列车运行控制系统安全关键软件测试用例生成方法 - Google Patents
列车运行控制系统安全关键软件测试用例生成方法 Download PDFInfo
- Publication number
- CN106814730B CN106814730B CN201611153324.4A CN201611153324A CN106814730B CN 106814730 B CN106814730 B CN 106814730B CN 201611153324 A CN201611153324 A CN 201611153324A CN 106814730 B CN106814730 B CN 106814730B
- Authority
- CN
- China
- Prior art keywords
- path
- test
- control system
- operation control
- abstract
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0208—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the configuration of the monitoring system
- G05B23/0213—Modular or universal configuration of the monitoring system, e.g. monitoring system having modules that may be combined to build monitoring program; monitoring system that can be applied to legacy systems; adaptable monitoring system; using different communication protocols
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24065—Real time diagnostics
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
本发明涉及轨道交通领域,具体为列车运行控制系统安全关键软件测试用例生成方法,包括(1)根据列车运行控制系统的需求规范,采用状态图形式化地描述列车运行控制系统需求,然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径,(3)根据步骤(2)的测试路径,分析出边的测试场景的集合,采用组合覆盖的方式,生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法,测试用例能够覆盖列控系统安全关键软件的全部需求,同时不存在重复测试项;组合覆盖使得测试用例包含列控系统的小概率场景、异常事件,能够测试列控系统的安全性需求,提高测试效率,降低测试成本。
Description
技术领域
本发明涉及轨道交通领域,具体为列车运行控制系统安全关键软件测试用例生成方法。
背景技术
列车运行控制系统,简称列控系统,是轨道交通系统的重要组成和安全关键系统之一,其核心作用是指挥和控制列车在高速度、高密度的追踪条件下安全运行,是轨道交通系统的“中枢神经和大脑”。随着计算机、通信、电子和自动控制等技术在列控系统中的广泛应用,软件已经成为列控系统的重要组成部分,其中,承担安全关键功能的软件被称为列控系统安全关键软件。列控系统安全关键软件承担的安全功能越来越多、软件规模越来越大、复杂度越来越高,在满足并发性、实时性等因素的同时,还需要考虑安全性的特殊需求。一旦列控系统安全关键软件发生逻辑错误,轻则可能导致系统运行中断,影响行车效率,重则可能导致行车事故,造成人员伤亡、重大财产损失及环境破坏等灾难性后果。因此,必须对列控系统安全关键软件进行系统、严格的测试,保证软件安全功能逻辑的正确性。
测试用例是列控系统安全关键软件测试的重要基础,测试用例的优劣直接影响测试工作的质量。若测试用例重复度高,则影响测试效率,可能导致人力、物力、时间、资源的极大浪费;若测试用例不完备,则影响测试的有效性,甚至隐藏在列控系统安全关键软件中的部分安全隐患不能得到有效辨识和控制,可能危及行车安全。且列控系统安全关键软件功能逻辑、数据交互及状态转移极其复杂,软件的输出是列控系统运营场景中多事件、多因素在特定时序、特定逻辑下相互作用的结果,给列控系统安全关键软件的测试工作带来了很大的难度。
目前,列控系统安全关键软件的测试主要依赖专家经验。通过参照欧洲列车运行控制系统ETCS的典型测试用例,结合中国列车运行控制系统CTCS的实际运营需求,借助专家经验,人工编制列控系统的测试用例,再根据技术规范构建测试场景,验证各种测试场景下系统的正确性,在列控系统发展的初期起到了重要作用。而依据专家经验的测试方法,受限于专家对系统故障及异常情况的认知,针对复杂系统的测试,人工编制的测试用例难免存在测试项遗漏的问题,难以对列控系统的功能、场景,尤其是特殊功能或场景的进行全覆盖,可能为运营阶段埋下安全隐患;另外,人工编制的测试用例容易存在测试项重复的问题,造成测试用例冗杂、测试工作繁重、测试效率低下、耗时费力,测试用例的合理性难以得到有效保证。国内外一些学者对列控系统测试用例生成技术进行了相关的学术研究,如基于模型的测试方法,但仍处于理论阶段,不能生成可执行的测试用例。
因而,需要针对列控系统安全关键软件的功能需求和具体特点,研究列控系统安全关键软件自动测试理论、方法和技术,构建自动测试平台和工具,科学编制测试用例,实现测试自动化,提高测试的完备性和高效性。
现有技术中,参考相关工程的测试用例,结合列控系统的具体特点,借助专家经验,通过人工编制测试用例、逐步完善的方式进行测试。以CTCS-3级列控系统为例,原铁道部颁布了《CTCS-3级列控系统测试用例(v3.0)》,作为列控系统实验室仿真测试、现场测试、联调联试以及互联互通测试的依据。CTCS-3级列控系统软件测试以该文件作为依据,人工编制测试用例,根据测试用例进行人工测试。该技术的缺点:
(1)新建项目时,若没有相关工程测试用例可供参考,则重新构建测试用例存在很大困难;
(2)依赖专家经验编制测试用例,存在一定的主观性,编制的测试用例难以保证合理性,可能存在测试项重复、遗漏或错误问题,导致测试效率低、测试不完备,部分安全问题测试难以覆盖,为列控系统的运营埋下安全隐患。
另外,基于状态图的列控安全关键软件测试用例生成方法是一种基于“状态图”和“图论”的自动生成测试用例的方法,主要包括以下方面:
(1)需求建模:采用状态图描述列控系统系统需求;
(2)需求分析:将UML状态图解析为“图论”技术中的相关边、节点等信息,然后利用“图论”的算法,解析出数量少但覆盖全的测试路径,主要包括两个阶段:
a)为了利用“图论”的算法分析(1)中的状态图,对该状态图进行标准化,将状态图转换为平坦化的图模型;
b)在平坦化的图模型的基础上,将对状态图的操作转化为图论中的边、回路及顶点关系,采用相应的图论算法对平坦化模型进行遍历,在满足测试覆盖标准的前提下,解析出数量少但覆盖全的测试路径。
(3)生成测试用例:根据(2)中解析出的测试路径,获取每一条测试路径对应在UML状态图中的需求信息,在此基础上为每条测试路径上的每一条边生成抽象的测试用例,进而每条测试路径的测试用例构成测试序列。
该技术的缺点:基于状态图的测试序列生成方法没有结合生成测试数据的方法,最终得到的是状态图上的迁移条件,仅为抽象测试用例,未提供抽象测试用例转换为具体测试用例的方法,不能用于列控系统安全关键软件的测试,不具有可实施性。
发明内容
本发明旨在提出一种全面、高效的列控系统安全关键软件测试用例生成方案,为达到上述技术目的,本发明采取的技术方案为:
列车运行控制系统安全关键软件测试用例生成方法,包括以下过程:
(1)列车运行控制系统安全关键软件建模;
根据列车运行控制系统的需求规范,采用状态图形式化地描述列车运行控制系统需求,然后通过仿真及模型检测方法验证模型的正确性。
(2)根据步骤(1)所建立的状态图模型生成测试路径,包括以下过程:
a)首先对步骤(1)生成的状态图去层次化,得到平坦的状态图,然后将平坦的状态图等价转化为有向图模型,状态图的状态和迁移分别对应图模型的节点和边,同时记录图模型边与平坦状态图的迁移条件的映射关系;
b)利用广度优先算法遍历有向图模型进行,生成有向图的节点之间的路径集;
c)利用有向图模型、路径集,生成抽象测试集;
d)根据有向图模型,依据边覆盖、节点覆盖及主路径覆盖测试充分性准则,找出覆盖所有需求的超集测试需求集;
e)利用抽象测试路径集,对超集测试需求集进行拆分;利用采用前缀图匹配算法计算出最优测试路径,生成数量少但覆盖全面的路径,得到测试路径集。
通过图论算法分析测试路径的方法,也可以是除广度优先、前缀图匹配之外的方法。
(3)根据步骤(2)的测试路径生成测试用例;
步骤(2)生成的每条测试路径都包含多条边,每条边代表列车运行控制系统的测试场景,分析出边的测试场景的集合;采用组合测试的方式,根据边在路径中的顺序关系,对每条测试路径的边的场景集进行组合覆盖,计算出该测试路径的测试用例。
组合覆盖考虑了边场景之间的关系,包含了小概率事件场景,使得测试用例全面地覆盖列控系统可能的场景,保证了安全性方面的测试。
本发明提供的列车运行控制系统安全关键软件测试用例生成方法,通过图论算法的边、节点及路径分析和图边、路径的组合覆盖,提出测试用例自动生成算法。由于算法的完备性和约简性,测试用例能够覆盖列控系统安全关键软件的全部需求,同时不存在重复测试项;组合分析使得测试用例包含列控系统的小概率场景、异常事件,能够测试列控系统的安全性需求。
附图说明
图1是本发明的建模子系统示意图;
图2是本发明的测试路径生成方法子系统示意图;
图3是本发明的组合测试用例生成子系统示意图;
图3A是实施例步骤(3)的流程图;
图3B为实施例的有向图;
图3C为实施例的前缀图;
图4是实施例有向图生成测试用例的算法原理图;
图4A是实施例a)S21的流程图;
图4B是实施例b)S22的流程图;
图4C是实施例c)S23的流程图;
图4D是实施例d)S24的流程图;
图4E是实施例e)S25的流程图。
具体实施方式
下面参考附图,详细说明本发明的具体实施方式。
(1)列车运行控制系统安全关键软件建模;
根据列车运行控制系统的需求规范,采用状态图形式化地描述列车运行控制系统需求,然后通过仿真及模型检测方法验证模型的正确性,如图1所示。
(2)图2是本发明实施例的测试路径生成方法。其中由有向图生成测试用例的算法原理如图4所示,根据步骤(1)所建立的状态图模型生成测试路径,包括以下步骤:
a)S21,对建立的列控软件UML图模型进行平坦化、生成有向图。
具体地,对步骤(1)生成的状态图去层次化,得到平坦的状态图,分析状态图的迁移条件对应列车运行控制系统的可能的测试场景,然后将平坦的状态图模型转化为等价的有向图模型,其中状态图的状态转化为有向图的节点,状态图的迁移转化为有向图的边,同时记录平坦状态图的迁移条件和有向图的边的映射关系,如图4A所示;
b)S22,利用有向图模型,生成图中节点之间的路径集。
具体地,包括以下步骤:
S221,根据S21步骤产生的有向图,识别出图中的起始节点集,基于广度优先搜索对有向图进行遍历,以起始节点集中的每一个起始节点为根节点,建立广度优先搜索树集,得到有向图起始节点集到图模型中任一结点的路径集,如图4B所示;
c)S23,利用有向图模型、路径集,生成抽象测试集。
具体地,如图4C,包括以下步骤:
S231,根据S21步骤得到的有向图,识别出图中的终止节点集。
S232,遍历S22步骤生成的路径集,提取路径集中从起始节点到终止节点的路径,构成抽象测试路径子集,同时将路径集与抽象测试路径子集相交的部分从路径集中移除,更新路径集。
S233,遍历路径集,检查每条路径是否包含终止节点,如果包含,则将该条路径从终止节点处截断,构造出从起始节点到终止节点的测试路径,并将新构造的测试路径加入到抽象测试路径子集中,同时移除路径集中对应的路径。
S234,再次遍历路径集,依次判断路径集中的每条路径是否与抽象测试路径子集中的每条抽象测试路径是否有一个或多个重复的节点,如果有,则从与抽象测试路径的第一个重复节点开始,对路径集中的路径按照抽象测试路径进行扩展,得到新的抽象测试路径,并将该路径加入到抽象测试子集中,同时移除路径集中对应的路径。
S235,判断路径集是否为空,如果为空,则令抽象测试子集为抽象测试集。如果不为空,则抛出错误异常,终止执行。
d)S24,利用有向图模型,基于测试覆盖准则,生成超集测试需求集。
此处提到的测试覆盖准则,是指基于结构化的图覆盖准则,包括但不限于:节点覆盖准则、边覆盖准则、边对覆盖准则,简单路径覆盖准则,主路径覆盖准则以及全路径覆盖测准则。此处提到的超集测试需求集,是指对测试需求路径集进行优化后的路径组合集合。
具体地,如图4D,包括以下步骤:
S241,根据S21的有向图,基于上述某一特定的覆盖准则,生成测试需求路径集。
S242,对需求路径集中的路径进行两两比较,将路径之间的重复节点个数作为重复度。
S243,根据路径之间的重复度,构造前缀图,图的顶点为各条需求路径的最后一个节点;图的边为需求路径之间的重复条件,即路径之间有重复,则前缀图对应顶点之间有一条边相连;边的权重为路径之间的重复度。
S244,根据前缀图构造对应的二分图,并计算出二分图的一个最大匹配集。
S245,对最大匹配集中的路径构造圈覆盖集。
S246,循环执行步骤S245,直至圈覆盖集与最大匹配集中没有顶点相连。
S247,对于测试需求路径集与圈覆盖集的并集,计算集合中每条路径的开销复杂度,将开销复杂度最小的路径按先后顺序加入到超集测试需求集中,然后在对应的并集中移除该条路径。此处的开销复杂度,是指路径中涵盖到而超集测试需求集中没有涵盖到的节点数与路径自身的节点总数之比。
S248,重复步骤S248,直至并集为空。
e)S25,利用抽象测试路径集,对超集测试需求集进行拆分,得到测试路径集。
具体地,如图4E,S25包括以下步骤:
S251,遍历超集测试需求,如果需求中前一条路径与后一条路径具有连接关系,则将两条路径为连接为同一条路径,并重新加入到超集测试需求集中,同时移除对应的前后两条具有连接关系的路径。
S252,重复步骤S251,直至需求中前一条路径与后一条路径不具有连接关系。
S253,遍历超集测试需求集,利用抽象测试集中的路径,对超集测试需求集中的每一条路径进行扩展,得到完整的测试路径集。
S254,遍历测试路径集,移除集合中重复的路径,得到最终的测试路径集。
通过图论算法分析测试路径的方法,也可以是除广度优先、前缀图匹配之外的方法。
(3)根据步骤(2)的测试路径集生成测试用例集,如图3所示,包括以下步骤
a)S31,根据测试路径集和变迁对应的列车运行控制系统的测试场景,生成测试用例。
具体地:
S311,遍历测试路径集中的每一条测试路径,根据S21分析变迁对应的列车运行控制系统的测试场景,对每一条路径中的边,将边上的变迁对应的列车运行控制系统的测试场景作为组合条件,采用组合测试用例生成算法,选取特定的组合覆盖准则,生成最终的测试用例集。其中,特定的组合覆盖准则包括但不限于:单因素覆盖准则、两两组合覆盖准则、三三组合覆盖准则,四四组合覆盖准则、混合覆盖准则等。
步骤(3)生成的每条测试路径都包含多条边,每条边代表一个场景;采用组合测试的方式,对每条测试路径的边场景进行组合覆盖,计算出该测试路径的测试用例。
以如图3B有向图为例,下面介绍采用主路径覆盖准则,采用前缀图匹配算法,自动生成测试路径的详细过程。
S22,识别出图中的起始节点为[1],终止节点为[6],采用改进广度优先搜索算法得到路径集[1,3,2],[1,2,4],[1,2,3],[1,3,4]。
S23是生成抽象测试集。
S231,识别图中终止结点[4]。
S232,得到路径集后,提取路径集中从起始节点到终止节点的路径为[1,2,4],[1,3,4],以这两条路径构成抽象路径测试子集,同时在路径集中移除路径[1,2,4],[1,3,4],此时路径集为[1,3,2],[1,2,3],抽象测试路径子集为[1,2,4],[1,3,4]。
S233,再次检查路径集中的所有路径,没有发现有路径包含终止节点,不用进行路径。
S234,遍历路径集,发现路径[1,3,2]最后一个节点[2]与抽象测试路径[1,2,4]重复,所以对路径[1,3,2]进行扩展,得到抽象测试路径[1,3,2,4],将路径[1,3,2,4]加入到抽象测试路径子集中,同时在路径集中把[1,3,2]路径移除。按照相同道理,再检查路径[1,2,3],对其进行扩展,并在移除对应路径后,最终得到路径集为空集,得到测试路径子集为
[1,2,4],[1,3,4],[1,3,2,4],[1,2,3,4]。
S235,路径集为空集条件成立,进入下一步骤S24
S24,利用有向图模型,基于测试覆盖准则,生成超集测试需求集。对于有向图,以主路径覆盖准则为例加以说明。
S241,选择主路径覆盖准则,生成测试需求路径集[1,2,3,4],[1,3,2,4],[1,3,4],[1,2,4],[2,3,2],[3,2,3]。
S242,构造主路径之间的重复度矩阵如下,矩阵中第i行,第j列元素的值为第i条路径和第j条路径之间的重复度且i不等于j,其中i=1,2,3,4,5;j=1,2,3,4,5。其中主路径自身不构成重复关系,无穷大表示两条路径之间没有连接关系。
S243,根据重复度构造出前缀图,如图3C所示。
S244,构造二分图,左图为[1],[4],右图为[2,3,2],[3,2,3]。计算最大配集为([2,3,2],[3,2,3]),([3,2,3],[2,3,2])。
S245,构造最大匹配集中的圈覆盖集为[3,2,3,2]。
S246,圈覆盖集中已没有定点与最大匹配集相连,条件满足。
S247,构造测试需求路径集与圈覆盖集的并集为[3,2,3,2],[2,3,2],[3,2,3],[1,3,4],[1,2,4],[1,2,3,4],[1,3,2,4],计算每条路径的开销复杂度为1,1,1,1,1,1,1。则默认将路径[3,2,3,2]加入超集测试需求集中,同时在并集中移除路径[3,2,3,2]。
S248重复S247,直至并集为空,得到超集测试需求集[3,2,3,2],[1,3,4],[1,2,4],[1,2,3,4],[1,3,2,4]。
S25,利用抽象测试路径集,对超集测试需求进行拆分,得到测试路径集。
S251,对S248得到的超集测试需求集进行遍历,发现每条路径均不存在连接关系,则转至步骤S252。
S252,转至步骤S253。
S253,抽象测试路径集为[1,2,4],[1,3,4],[1,3,2,4],[1,2,3,4],对超集测试需求集中的路径进行扩展,得到测试路径集[1,3,2,3,2,4],[1,3,2,3,2,4],[1,3,4],[1,2,4],[1,2,3,4],[1,3,2,4]。
S254,边路测试路径集,移除其中的重复路径,测到最终的测试路径集[1,3,2,3,2,4],[1,3,4],[1,2,4],[1,2,3,4],[1,3,2,4]。
S31,以S254生成的路径[1,2,3,4]为例,分析路径中的三条边对应的列车运行控制系统的测试场景;由于每条边反应轨道区段的占用情况,测试场景包括轨道区段占用(0)和轨道区段出清(1)两种情况;
S32,选择强度为2的组合覆盖,生成测试用例为(110),(101),(011),(000)。
Claims (1)
1.列车运行控制系统安全关键软件测试用例生成方法,其特征在于,包括以下过程:
(1)列车运行控制系统安全关键软件建模;
根据列车运行控制系统的需求规范,采用状态图形式化地描述列车运行控制系统需求,然后通过仿真及模型检测方法验证模型的正确性;
(2)根据步骤(1)所建立的状态图模型生成测试路径,包括以下过程:
a)首先对步骤(1)生成的状态图去层次化,得到平坦的状态图,然后将平坦的状态图等价转化为有向图模型,状态图的状态和迁移分别对应图模型的节点和边,同时记录图模型边与平坦状态图的迁移条件的映射关系;
b)利用广度优先算法遍历有向图模型进行,生成有向图的节点之间的路径集;
c)利用有向图模型、路径集,生成抽象测试集;具体包括以下步骤:
S231,根据(b)步骤得到的有向图,识别出图中的终止节点集;
S232,遍历(b)步骤生成的路径集,提取路径集中从起始节点到终止节点的路径,构成抽象测试路径子集,同时将路径集与抽象测试路径子集相交的部分从路径集中移除,更新路径集;
S233,遍历路径集,检查每条路径是否包含终止节点,如果包含,则将该条路径从终止节点处截断,构造出从起始节点到终止节点的测试路径,并将新构造的测试路径加入到抽象测试路径子集中,同时移除路径集中对应的路径;
S234,再次遍历路径集,依次判断路径集中的每条路径是否与抽象测试路径子集中的每条抽象测试路径是否有一个或多个重复的节点,如果有,则从与抽象测试路径的第一个重复节点开始,对路径集中的路径按照抽象测试路径进行扩展,得到新的抽象测试路径,并将该路径加入到抽象测试子集中,同时移除路径集中对应的路径;
S235,判断路径集是否为空,如果为空,则令抽象测试子集为抽象测试集;如果不为空,则抛出错误异常,终止执行;
d)根据有向图模型,依据边覆盖、节点覆盖及主路径覆盖测试充分性准则,找出覆盖所有需求的超集测试需求集;
e)利用抽象测试路径集,对超集测试需求集进行拆分;利用采用前缀图匹配算法计算出最优测试路径,生成数量少但覆盖全面的路径,得到测试路径集;
通过图论算法分析测试路径的方法,也可以是除广度优先、前缀图匹配之外的方法;
(3)根据步骤(2)的测试路径生成测试用例;
步骤(2)生成的每条测试路径都包含多条边,每条边代表列车运行控制系统的测试场景,分析出边的测试场景的集合;采用组合测试的方式,根据边在路径中的顺序关系,对每条测试路径的边的场景集进行组合覆盖,计算出该测试路径的测试用例。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201611153324.4A CN106814730B (zh) | 2016-12-14 | 2016-12-14 | 列车运行控制系统安全关键软件测试用例生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201611153324.4A CN106814730B (zh) | 2016-12-14 | 2016-12-14 | 列车运行控制系统安全关键软件测试用例生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106814730A CN106814730A (zh) | 2017-06-09 |
CN106814730B true CN106814730B (zh) | 2019-01-01 |
Family
ID=59110319
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201611153324.4A Expired - Fee Related CN106814730B (zh) | 2016-12-14 | 2016-12-14 | 列车运行控制系统安全关键软件测试用例生成方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106814730B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2024126442A1 (de) | 2022-12-12 | 2024-06-20 | Gts Deutschland Gmbh | Verfahren zum automatischen erstellen eines testskripts |
Families Citing this family (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109669436B (zh) * | 2018-12-06 | 2021-04-13 | 广州小鹏汽车科技有限公司 | 一种基于电动汽车的功能需求的测试用例生成方法和装置 |
CN109900494B (zh) * | 2019-02-25 | 2021-04-13 | 上海机动车检测认证技术研究中心有限公司 | 一种测试用例的生成方法 |
CN110333998B (zh) * | 2019-03-27 | 2020-12-22 | 北京航空航天大学 | 一种网络化控制cps系统的智能化测试场景编排方法 |
CN110398949B (zh) * | 2019-05-15 | 2022-04-05 | 中铁检验认证中心有限公司 | 一种基于黑箱测试的高速铁路列车运行控制系统的测试平台 |
CN110781557B (zh) * | 2019-10-14 | 2023-04-07 | 中国航空工业集团公司沈阳飞机设计研究所 | 一种飞机系统模型仿真测试流程优化方法 |
CN111190406B (zh) * | 2019-12-25 | 2022-11-18 | 中国航空工业集团公司西安飞机设计研究所 | 一种起落架控制系统软件的测试方法 |
CN111723008B (zh) * | 2020-05-29 | 2024-06-11 | 北京机电工程研究所 | 一种基于状态转换图的测试路径生成方法 |
CN112015639B (zh) * | 2020-07-31 | 2024-03-15 | 北京轩宇信息技术有限公司 | 一种星载软件测试用例的生成方法及装置 |
CN112286793A (zh) * | 2020-09-28 | 2021-01-29 | 马瑞利汽车零部件(芜湖)有限公司 | 基于状态机的车灯控制器测试用例自动生成方法 |
CN112198867A (zh) * | 2020-09-30 | 2021-01-08 | 南京理工大学 | 列车控制系统软件仿真测试方法 |
CN113836750B (zh) * | 2021-11-03 | 2023-04-14 | 西南交通大学 | 一种列控系统车载设备现场测试案例执行距离的估算方法 |
CN115167344B (zh) * | 2022-06-24 | 2023-06-13 | 西南交通大学 | 高铁列控地面信号控制设备监督测试方法与系统及应用 |
CN115571202B (zh) * | 2022-11-10 | 2023-03-28 | 卡斯柯信号(北京)有限公司 | 一种列控中心系统的复盘方法及装置 |
CN115494829B (zh) * | 2022-11-16 | 2023-03-14 | 华侨大学 | 一种自主列车运行控制系统建模及验证方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102109848A (zh) * | 2010-12-24 | 2011-06-29 | 清华大学 | 一种高速列车运行控制系统的可靠性增长测试方法 |
CN103218299A (zh) * | 2013-05-17 | 2013-07-24 | 网宿科技股份有限公司 | 优化的蚁群算法测试用例自动生成方法和系统 |
JP2015157535A (ja) * | 2014-02-24 | 2015-09-03 | 公益財団法人鉄道総合技術研究所 | 列車制御システムの試験・運用段階の安全要件確認支援システム |
CN105730473A (zh) * | 2016-02-15 | 2016-07-06 | 中铁第四勘察设计院集团有限公司 | 一种试车线列控系统和试车方法 |
-
2016
- 2016-12-14 CN CN201611153324.4A patent/CN106814730B/zh not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102109848A (zh) * | 2010-12-24 | 2011-06-29 | 清华大学 | 一种高速列车运行控制系统的可靠性增长测试方法 |
CN103218299A (zh) * | 2013-05-17 | 2013-07-24 | 网宿科技股份有限公司 | 优化的蚁群算法测试用例自动生成方法和系统 |
JP2015157535A (ja) * | 2014-02-24 | 2015-09-03 | 公益財団法人鉄道総合技術研究所 | 列車制御システムの試験・運用段階の安全要件確認支援システム |
CN105730473A (zh) * | 2016-02-15 | 2016-07-06 | 中铁第四勘察设计院集团有限公司 | 一种试车线列控系统和试车方法 |
Non-Patent Citations (3)
Title |
---|
列车运行控制系统分层形式化建模与验证分析;吕继东;《中国博士学位论文全文数据库 工程科技Ⅱ辑》;20110915;全文 |
形式化方法在列车运行控制系统中的应用;曹源等;《交通运输工程学报》;20100228;全文 |
面向图论和面向对象的列控数字轨道地图研究;陈德旺等;《铁道学报》;20120630;全文 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2024126442A1 (de) | 2022-12-12 | 2024-06-20 | Gts Deutschland Gmbh | Verfahren zum automatischen erstellen eines testskripts |
Also Published As
Publication number | Publication date |
---|---|
CN106814730A (zh) | 2017-06-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106814730B (zh) | 列车运行控制系统安全关键软件测试用例生成方法 | |
CN104166942B (zh) | 基于cim模型的跨区域供电范围搜索方法及其系统 | |
CN103092755B (zh) | 一种列控系统测试序列的自动生成方法 | |
CN105302112A (zh) | Icni系统智能故障诊断系统 | |
CN110245088A (zh) | 一种基于Jenkins的缺陷自动验证系统及验证方法 | |
CN109241674A (zh) | 一种智能网联车辆编队的多时延稳定性分析方法 | |
CN103558767A (zh) | 一种列控系统测试序列的辅助生成方法和系统 | |
CN111694741A (zh) | 一种基于路径深度覆盖的测试用例设计方法 | |
CN112487592B (zh) | 基于贝叶斯网络的任务可靠性建模分析方法 | |
CN103226636B (zh) | 基于定性推理的放大电路故障传播分析方法 | |
CN107678973A (zh) | 一种测试脚本的自动生成方法及系统 | |
CN106296127A (zh) | 一种智能变电站业务流程的动态构建系统及方法 | |
CN102063369A (zh) | 一种基于aadl模态时间自动机模型的嵌入式软件测试方法 | |
CN110162003A (zh) | 一种行车主动服务系统测试验证平台及其测试方法 | |
CN114064922B (zh) | 一种基于第三方云平台的服务价值链多链知识图谱构建方法 | |
CN115292816A (zh) | 自动驾驶测试方法、装置、设备及存储介质 | |
CN116011110A (zh) | 一种自动驾驶汽车安全性等级评估方法及系统 | |
Christen et al. | PARIS: planning algorithms for reconfiguring independent sets | |
CN113157562A (zh) | 一种基于扩展有限状态机模型的测试用例生成方法及平台 | |
CN104750610A (zh) | 基于占优度的消息传递并行程序变异体约简方法 | |
CN105022864B (zh) | 一种基于扩展依赖矩阵的系统测试点选取方法 | |
Cox et al. | Efficient and distributable methods for solving the multiagent plan coordination problem | |
CN106161618A (zh) | 一种车联网专用短程通信系统路侧通信单元布局优化方法 | |
Zhang et al. | A method of fault tree generation based on go model | |
Liu et al. | Research in public transport vehicle scheduling |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20190101 Termination date: 20211214 |
|
CF01 | Termination of patent right due to non-payment of annual fee |