CN106802862B - 列车运行控制系统安全关键软件自动测试平台 - Google Patents

列车运行控制系统安全关键软件自动测试平台 Download PDF

Info

Publication number
CN106802862B
CN106802862B CN201611152749.3A CN201611152749A CN106802862B CN 106802862 B CN106802862 B CN 106802862B CN 201611152749 A CN201611152749 A CN 201611152749A CN 106802862 B CN106802862 B CN 106802862B
Authority
CN
China
Prior art keywords
test
subsystem
control system
operation control
train operation
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
Application number
CN201611152749.3A
Other languages
English (en)
Other versions
CN106802862A (zh
Inventor
郭进
李楠
张亚东
史增树
李耀
饶畅
曹雅鑫
杨武东
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Southwest Jiaotong University
China State Railway Group Co Ltd
Original Assignee
Southwest Jiaotong University
China Railway Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Southwest Jiaotong University, China Railway Corp filed Critical Southwest Jiaotong University
Priority to CN201611152749.3A priority Critical patent/CN106802862B/zh
Publication of CN106802862A publication Critical patent/CN106802862A/zh
Application granted granted Critical
Publication of CN106802862B publication Critical patent/CN106802862B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3676—Test management for coverage analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Train Traffic Observation, Control, And Security (AREA)

Abstract

本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。

Description

列车运行控制系统安全关键软件自动测试平台
技术领域
本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台。
背景技术
列车运行控制系统，简称列控系统，是保障列车在高速度、高密度的环境下安全运行、提高运输效率的重要部分。现代列控系统已经从轨道电路、机车信号等设备的简单组合，逐渐向功能完善、层次分明、集运行控制及自动驾驶为一体的综合自动化系统方向发展。在此过程中，软件被大量的应用在列控系统中，而且越来越多的安全相关功能由硬件移植到软件，使得列控系统软件成为“安全关键软件”。列控系统安全关键软件已经参与到列控系统的决策、控制及管理，而且软件执行的功能越来越多，复杂度也越来越高，软件遗漏需求、逻辑错误等均可能造成人员伤亡，重大财产损失及环境破坏等灾难性后果。列控系统安全关键软件必须经过全面、严格的测试，明确软件在各种场景下均不会导向危险。
测试平台是保证软件测试质量、提高测试效率和管理测试过程的关键技术。目前，列控系统安全关键软件的测试平台主要是仿真平台，通过模拟软件可能的场景进行测试，没有专门针对列控系统安全关键软件的自动软件测试平台。仿真平台的测试用例主要来自相关工程和专家的经验，工程的差异性和专家的人因不确定性都可能影响测试用例的质量，存在测试需求遗漏，测试不全面，测试需求重复等问题，导致列控系统安全关键软件存在安全隐患。同时，列控系统安全关键软件测试是一个复杂的过程，仿真平台的测试用例维护、测试过程管理、测试结果记录及结果分析都需要大量的人工参与。采用成熟的算法自动生成全面的测试用例，自动管理和分析测试结果的测试平台对提高列控系统安全关键软件的测试质量、效率和降低测试成本具有重要意义。
目前，列控系统软件测试平台主要是根据列控软件的功能及特点，分析软件与人员、其他系统或设备的交互，提取软件的输入、输出，搭建仿真平台，借助相关工程和专家的经验，模拟软件可能的各种场景，观察软件在这些场景下运行是否正常，同时人工记录和分析测试结果，达到测试的目的。
该技术的缺点：
(1)仿真平台存在不容易实体表现的抽象场景，如道岔转换过程中，容易遗漏测试场景。
(2)仿真平台的测试用例依赖相关项目和专家的经验，项目的差异性和专家的主观性导致难以保证测试用例的合理性，仿真场景可能存在重复、遗漏或错误，部分安全场景难以覆盖，为列车运行控制系统的运营埋下安全隐患；
(3)仿真平台成本高，测试用例的维护和更新、测试结果的记录和分析等都依赖人工，难以防止人因失误，同时测试效率较低。
发明内容
本发明旨在提出一套完整的列车运行控制系统安全关键软件自动测试平台，覆盖列车运行控制系统安全关键软件从需求分析、测试用例自动生成、自动测试、自动记录和分析测试结果的全过程。
具体技术方案为：
列车运行控制系统安全关键软件自动测试平台，包括建模子系统、测试路径生成子系统、组合覆盖子系统、测试结果分析子系统、通信接口子系统和数据管理子系统。
所述建模子系统完成列车运行控制系统安全关键软件功能需求建模，具有列车运行控制系统的标准化的功能模型库，针对具体功能进行测试时可通过功能模型库的模型单元快速建立软件系统的功能模型。
所述测试路径生成子系统将建模子系统生成的状态图模型转换为有向图模型，通过广度优先搜索、前缀图匹配等算法，生成符合覆盖准则的测试路径。
所述组合覆盖子系统采用组合测试思想，分析每条路径的边的可能的测试场景集，根据路径中边之间的顺序关系进行组合覆盖，得到测试用例，并将测试用例转化为XML测试脚本文件，存储到数据管理子系统。
所述通信接口子系统是平台与待测系统交互的关键，该子系统集成测试过程中需要与待测对象进行通信的设备，并通过统一的接口设备实现各个接口数据的发送和采集，将测试数据存储到数据管理子系统。
所述测试结果分析子系统比较测试过程中通信接口子系统发送的测试用例和接收到的被测设备的测试用例执行结果，，自动分析测试结果，生成测试结果报告。
所述数据管理子系统包含数据库和文件管理系统。其中数据库存储测试用例、环境数据以及实测过程中与待测系统交互的数据。文件管理系统存储列车运行控制系统基础信号组件的基础功能模型、测试路径XML文件、测试用例序列XML脚本文件和测试结果报告文件。
测试路径生成子系统与组合覆盖子系统，组合覆盖子系统与通信接口子系统，通信接口子系统与测试结果分析子系统之间均存在单向通信，前一子系统工作完成后向后续子系统发送信号，触发后续子系统工作，从而使得从测试路径生成至测试结果分析的整个流程可自动进行。
建模子系统采用SCADE(Safety Critical Application DevelopmentEnvironment)对待测对象进行模型构建。
测试路径生成子系统、组合覆盖子系统、通信接口子系统可在数据管理子系统的支持下独立运行，通过从数据管理子系统获取历史数据，上述子系统可针对特定数据生成相应的子系统运算结果。
本发明提供的列车运行控制系统安全关键软件自动测试平台，建立列车运行控制系统基础信号模型库，提高建模的准确度和效率；根据列车运行控制系统需求和功能模型库形式化地描述列车运行控制系统安全关键软件的需求，利用仿真和模型检测方法验证模型的安全性和活性，保障模型的正确性；利用广度优先搜索、前缀图匹配等算法，生成符合覆盖准则的测试路径，结合组合覆盖生成列车运行控制系统安全关键软件的测试用例，具有测试用例覆盖全面、不重复、不遗漏，包含异常测试场景和小概率场景的特点；测试序列自动生成与自动注入，并自动完成分析和统计测试结果，提高测试质量和效率，同时降低测试成本。
附图说明
图1是本发明的结构示意图；
图2是本发明的建模子系统结构示意图；
图3是本发明的测试路径生成子系统结构示意图；
图4是本发明的组合覆盖子系统结构示意图。
具体实施方式
结合附图说明本发明的具体实施方式。
本发明为列车运行控制系统安全关键软件自动测试平台，包括建模子系统、测试路径生成子系统、组合覆盖子系统、通信接口子系统、测试结果分析子系统和数据管理子系统，如图1所示。系统间各个子系统通过标准串口或高速以太网连接，其中建模子系统用于构建待测安全关键软件的功能需求模型，并对模型进行仿真和验证，保证模型的安全性和准确性。建模子系统通过接口A与测试路径生成子系统进行通信，将建模子系统的模型信息和模型修改信息传递给测试路径生成子系统。测试路径生成子系统、组合覆盖子系统、通信接口子系统、测试结果分析子系统分别通过接口D、E、F、G与数据管理子系统进行通信，从数据管理子系统中提取各个子系统操作所需数据。测试路径生成子系统通过接口A获取建模子系统的模型文件或更新的模型文件。通过接口B将生成的测试路径发送给组合覆盖子系统，组合覆盖子系统根据测试路径和路径的边代表的测试场景集自动生成测试用例。组合覆盖子系统通过接口C向通信接口子系统发送测试用例生成结束信息，通信接口子系统对待测系统自动测试。通信接口子系统通过接口H向测试结果分析子系统发送测试完成消息，测试结果分析子系统自动分析测试用例的执行情况。该系统的一般工作过程是。
建模子系统完成列车运行控制系统安全关键软件需求建模。首先根据《CTCS-3级列控系统系统需求规范(SRS)》和《CTCS-3级列控系统总体技术方案》等需求规范，利用建模子系统采用SCADE建立列车运行控制系统基础信号组件的基础功能模型库。然后，利用基础功能模型库中的模型组件针对具体的待测安全关键软件的功能构建软件系统模型，利用SCADE提供的仿真器和模型检测器保证模型的正确性，如图2所示。当建模子系统新建模型或者修改模型后，该子系统向测试路径生成子系统发送模型更新信息，测试路径生成子系统重新获取模型。测试路径生成子系统包括模型转换模块、算法选择模块以及路径校验模块。测试路径生成子系统从建模子系统接收待测对象的模型文件后，首先将经过验证的模型文件存储于数据管理子系统；然后对XML格式的模型信息文件进行解析。模型转换模块自动对模型信息进行筛选，提取保留模型信息包中符合图论有向图的信息，从而将SCADE模型转换为有向图模型。算法选择器模块通过界面配置图覆盖准则以及相关算法参数，系统根据配置从测试路径生成算法库中自动匹配算法生成测试路径。路径校验模块考察测试路径对图模型覆盖的完整度，当覆盖度满足要求时将测试路径转化为XML文件并存储于数据管理子系统并向组合覆盖子系统发送消息通知其存在新的测试路径需要处理，如图3所示。
组合覆盖子系统接收到测试路径生成子系统生成的测试路径后，组合覆盖子系统从数据管理子系统获取模型文件以及测试路径生成子系统生成的测试路径信息，分析每条路径的边上可能的安全关键软件的测试场景，采用组合测试的方式，根据路径中边的顺序关系对路径上所有的边的测试场景进行组合覆盖，得到测试用例，并将测试用例转化为XML脚本，以文件形式存储到文件管理子系统，将测试数据以数据库表结构存储于数据管理系统中，如图4所示。该子系统可与通信接口子系统通信，向通信接口子系统发送测试用例生成消息。
通信接口子系统接收到测试用例生成消息后，从数据管理子系统获取包含测试用例信息的XML脚本文件，将测试用例及必要的环境数据按照接口设备的规格要求发送给接口设备，接口设备驱动被测对象测试，同时实时采集被测设备对测试用例的执行结果。通信接口子系统将测试过程的状态及测试结果等信息存储于数据管理子系统，并向结果分析子系统发送测试完成信息。
测试结果分析子系统接收到测试完成信息之后从数据管理子系统获取测试过程数据及测试结果数据，结合测试序列脚本XML文件核对每一个测试用例的执行情况，自动统计测试用例的类型、比例，统计每个需求的失败用例并显示，包括需求名称、失败的测试用例、用例类型以及该需求中的同类型的所有测试用例。对于失败测试用例，系统进行故障追踪，将异常情况定位到具体模型测试路径的边场景中。最终根据测试分析结果生成测试报告，并以文本文件格式存储于数据管理子系统中。

Claims (4)

1.列车运行控制系统安全关键软件自动测试平台，其特征在于，包括建模子系统、测试路径生成子系统、组合覆盖子系统、测试结果分析子系统、通信接口子系统和数据管理子系统；
所述建模子系统完成列车运行控制系统安全关键软件功能需求建模，具有列车运行控制系统的标准化的功能模型库，针对具体功能进行测试时可通过功能模型库的模型单元快速建立软件系统的功能模型；
所述测试路径生成子系统将建模子系统生成的状态图模型转换为有向图模型，通过广度优先搜索、前缀图匹配算法，生成符合覆盖准则的测试路径；
所述组合覆盖子系统采用组合测试思想，分析每条路径的边的可能的测试场景集，根据路径中边之间的顺序关系进行组合覆盖，得到测试用例，并将测试用例转化为XML测试脚本文件，存储到数据管理子系统；
所述通信接口子系统是平台与待测系统交互的关键，所述的通信接口子系统集成测试过程中需要与待测对象进行通信的设备，并通过统一的接口设备实现各个接口数据的发送和采集，将测试数据存储到数据管理子系统；
所述测试结果分析子系统比较测试过程中通信接口子系统发送的测试用例和接收到的被测设备的测试用例执行结果，自动分析测试结果，生成测试结果报告；
所述数据管理子系统包含数据库和文件管理系统；其中数据库存储测试用例、环境数据以及实测过程中与待测系统交互的数据；文件管理系统存储列车运行控制系统基础信号组件的基础功能模型、测试路径XML文件、测试用例序列XML脚本文件和测试结果报告文件。
2.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，所述的测试路径生成子系统与组合覆盖子系统，组合覆盖子系统与通信接口子系统，通信接口子系统与测试结果分析子系统之间均存在单向通信，前一子系统工作完成后向后续子系统发送信号，触发后续子系统工作，从而使得从测试路径生成至测试结果分析的整个流程可自动进行。
3.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，建模子系统采用SCADE(Safety CriticalApplication Development Environment)对待测对象进行模型构建。
4.根据权利要求1所述的列车运行控制系统安全关键软件自动测试平台，其特征在于，测试路径生成子系统、组合覆盖子系统、通信接口子系统可在数据管理子系统的支持下独立运行，通过从数据管理子系统获取历史数据，所述的测试路径生成子系统、组合覆盖子系统可针对特定数据生成相应的子系统运算结果。
CN201611152749.3A 2016-12-14 2016-12-14 列车运行控制系统安全关键软件自动测试平台 Expired - Fee Related CN106802862B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201611152749.3A CN106802862B (zh) 2016-12-14 2016-12-14 列车运行控制系统安全关键软件自动测试平台

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201611152749.3A CN106802862B (zh) 2016-12-14 2016-12-14 列车运行控制系统安全关键软件自动测试平台

Publications (2)

Publication Number Publication Date
CN106802862A CN106802862A (zh) 2017-06-06
CN106802862B true CN106802862B (zh) 2020-05-08

Family

ID=58985130

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201611152749.3A Expired - Fee Related CN106802862B (zh) 2016-12-14 2016-12-14 列车运行控制系统安全关键软件自动测试平台

Country Status (1)

Country Link
CN (1) CN106802862B (zh)

Families Citing this family (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109086197A (zh) * 2017-06-14 2018-12-25 上海申通地铁集团有限公司 城市轨道交通cbtc系统的验收测试方法及系统
CN107944486B (zh) * 2017-11-20 2019-12-10 中国电子科技集团公司第四十一研究所 适用于自动测试的测试数据识别处理方法及系统
CN107885890A (zh) * 2017-12-15 2018-04-06 四川汉科计算机信息技术有限公司 基于云平台的一体化管理测试系统
CN109491919B (zh) * 2018-11-28 2021-10-26 中电科西北集团有限公司 一种软件测试方法及测试平台
CN110704323B (zh) * 2019-09-30 2023-05-23 交控科技股份有限公司 基于轨道交通线路数据的数据自动化测试方法及装置
CN111061249A (zh) * 2019-12-16 2020-04-24 卡斯柯信号(北京)有限公司 一种增强型列控系统无线闭塞控制器的自动化测试系统
CN111708345A (zh) * 2020-05-14 2020-09-25 北京西南交大盛阳科技股份有限公司 信号设备仿真测试系统、测试方法以及测试装置
CN112000557B (zh) * 2020-07-16 2023-09-12 浙江众合科技股份有限公司 轨道交通信号系统自动化测试装置
CN112000558A (zh) * 2020-07-16 2020-11-27 浙江众合科技股份有限公司 轨道交通信号系统自动化测试用例生成方法
CN112015639B (zh) * 2020-07-31 2024-03-15 北京轩宇信息技术有限公司 一种星载软件测试用例的生成方法及装置
CN112198867A (zh) * 2020-09-30 2021-01-08 南京理工大学 列车控制系统软件仿真测试方法
CN112631918B (zh) * 2020-12-25 2024-04-23 坤泰车辆系统（常州）有限公司 软件自动化测试验证的方法
CN113065195B (zh) * 2021-04-02 2023-04-14 中国第一汽车股份有限公司 一种车辆信息安全威胁评估方法、装置、介质及电子设备
CN113448846A (zh) * 2021-06-23 2021-09-28 西安交通大学 基于关键程度划分的并发活动图测试场景生成方法及系统
CN114489007A (zh) * 2022-01-18 2022-05-13 上汽通用五菱汽车股份有限公司 整车在环测试方法、系统、设备及计算机可读存储介质
CN115257891B (zh) * 2022-05-27 2024-06-04 浙江众合科技股份有限公司 基于关键位置抽取与随机位置融合的cbtc场景测试方法
CN115571202B (zh) * 2022-11-10 2023-03-28 卡斯柯信号(北京)有限公司 一种列控中心系统的复盘方法及装置
CN116578498B (zh) * 2023-07-12 2023-09-29 西南交通大学 一种单元测试用例自动生成方法及系统

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102368226A (zh) * 2011-10-10 2012-03-07 南京大学 一种基于扩展有限状态机可行路径分析的测试用例自动生成方法
US8443336B2 (en) * 2007-10-03 2013-05-14 Siemens Corporation System and method for applying model-based testing to train control systems
CN103257925A (zh) * 2013-04-28 2013-08-21 株洲南车时代电气股份有限公司 列车运行监控记录软件自动测试装置、系统及其方法

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8443336B2 (en) * 2007-10-03 2013-05-14 Siemens Corporation System and method for applying model-based testing to train control systems
CN102368226A (zh) * 2011-10-10 2012-03-07 南京大学 一种基于扩展有限状态机可行路径分析的测试用例自动生成方法
CN103257925A (zh) * 2013-04-28 2013-08-21 株洲南车时代电气股份有限公司 列车运行监控记录软件自动测试装置、系统及其方法

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
基于SCADE的地铁列车测速定位系统建模与安全性分析;刘欢;《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》;20161015(第10期);第21-60页 *
基于UML状态图的列控中心软件测试路径生成方法;王秀玄;《铁路计算机应用》;20160831;第25卷(第8期);第9-12、15页 *
基于场景的列控车载设备测试用例自动生成方法研究;赵伟慧;《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》;20140715(第07期);第3、17-61页 *
基于模型的车载设备测试用例自动生成研究;易承龙 等;《西华大学学报(自然科学版)》;20140430;第33卷(第2期);第58-62页 *

Also Published As

Publication number Publication date
CN106802862A (zh) 2017-06-06

Similar Documents

Publication Publication Date Title
CN106802862B (zh) 列车运行控制系统安全关键软件自动测试平台
US20170124234A1 (en) Failure logic modeling method for a high-speed railway train operation control on-board system
Fantechi et al. Some trends in formal methods applications to railway signaling
CN103744781B (zh) 一种联锁软件的测试方法和测试系统
US20170236234A1 (en) Risk management method and system for a land transporation system
US20200156678A1 (en) Railroad track verification and signal testing system
CN108920846B (zh) 一种高铁列控系统复杂运营场景的风险耦合分析方法
CN113268415B (zh) 一种基于测试用例的联锁规则自动测试系统及方法
CN109086197A (zh) 城市轨道交通cbtc系统的验收测试方法及系统
CN112198867A (zh) 列车控制系统软件仿真测试方法
CN112000558A (zh) 轨道交通信号系统自动化测试用例生成方法
Kadakolmath et al. A survey on formal specification and Verification of smart mass transit railway interlocking system
CN109815124A (zh) 基于mbse的联锁功能缺陷分析的方法及装置、联锁系统
Falcone et al. Modeling and simulation for the performance evaluation of the on-board communication system of a metro train
Yan et al. A failure mapping and genealogical research on metro operational incidents
Di Tommaso et al. The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system
CN108228989B (zh) 基于外部真实设备的故障插入系统
CN111737074A (zh) 用于城轨区域控制器的设备测试系统及方法
CN116279703A (zh) 全电子联锁测试系统、方法、装置及电子设备
CN114691488A (zh) 一种联锁系统自动化测试系统及方法
Wu Verifiable design of a satellite-based train control system with petri nets
Salierno et al. Specification and verification of railway safety-critical systems using tla+: A case study
Bonfiglio et al. Composable Framework Support for Software-FMEA through Model Execution
Yu et al. Model-based safety test automation of safety-critical software
Gao et al. An Edge Computing-Based Paltform of Railway Signalling System On-site Digital Smart Test

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
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20200508

Termination date: 20211214