CN108595317A - 一种轨道交通安全计算机嵌入式自动化测试方法 - Google Patents

一种轨道交通安全计算机嵌入式自动化测试方法 Download PDF

Info

Publication number
CN108595317A
CN108595317A CN201711467138.2A CN201711467138A CN108595317A CN 108595317 A CN108595317 A CN 108595317A CN 201711467138 A CN201711467138 A CN 201711467138A CN 108595317 A CN108595317 A CN 108595317A
Authority
CN
China
Prior art keywords
case
test
scene
test case
variant
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.)
Granted
Application number
CN201711467138.2A
Other languages
English (en)
Other versions
CN108595317B (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.)
Hefei Gocom Information & Technology Co Ltd
Original Assignee
Hefei Gocom Information & Technology Co Ltd
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 Hefei Gocom Information & Technology Co Ltd filed Critical Hefei Gocom Information & Technology Co Ltd
Priority to CN201711467138.2A priority Critical patent/CN108595317B/zh
Publication of CN108595317A publication Critical patent/CN108595317A/zh
Application granted granted Critical
Publication of CN108595317B publication Critical patent/CN108595317B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3696Methods or tools to render software testable
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3684Test management for test design, e.g. generating new test cases
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test 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)
  • Debugging And Monitoring (AREA)

Abstract

本发明涉及一种轨道交通安全计算机嵌入式自动化测试方法,包括:(1)测试用例自动生成步骤,测试用例读取步骤及测试用例执行步骤。本发明通过界面控件来设计测试用例的方式,替代传统的采用脚本的方式设计测试用例,使得测试软件的易用性、易扩展性和易维护性将得到极大的提升,不仅大幅降低测试人员的劳动量和知识水平,同时也极大地帮助了产品的测试和升级。本发明在解决该问题的基础上,还提供了简单的测试用例设计文件的存储方式,使用文本文件或数据库,对用户通过界面设计的测试用例进行存储、查询与删除,后台程序采用应用程序引用和控件引用的编程方式,使程序功能模块化,方便后续的维护与升级。

Description

一种轨道交通安全计算机嵌入式自动化测试方法
技术领域
本发明涉及软件测试技术领域,具体涉及一种轨道交通安全计算机嵌入式自动化测试方法。
背景技术
如今的自动化测试领域正朝着信息化、智能化、网络化不断发展,可以开发一套易用、易维护、易扩展和低耦合的测试软件平台越来越越重要。传统的测试方案都是采用编写测试脚本的方式进行测试,且应用程序功能简单,模块间耦合性强,使用脚本编写用例的方案易于出现格式不规范或者错误,进而造成编译错误,甚至无法执行测试的情况,因此用脚本设计测试用例,对设计人员有一定的程序设计要求,易用性较弱。轨道相关的工业领域包括地铁、高铁、城轨、磁悬浮等关系着重大公共安全的行业,一般有着严格的安全性要求,所以在投入使用前,有一套高质量的测试***至关重要。
发明内容
本发明的目的在于提供一种轨道交通安全计算机嵌入式自动化测试方法,通过界面控件来设计测试用例,避免使用脚本编写用例的方案易于出现格式不规范或者错误而造成的编译错误,甚至无法执行测试的情况出现。
为实现上述目的,本发明采用了以下技术方案:
一种轨道交通安全计算机嵌入式自动化测试方法,包括以下步骤:
(1)测试用例自动生成步骤,包括:
(11)设置平台用例设计界面的控件值;
(12)自动读取平台设计界面数据,该数据类型为变体;
(13)将界面数据类型的变体转换为字符串;
(14)将字符串存储到文本文件或数据库中;
(2)测试用例读取步骤,包括:
(21)从文本文件或数据库中,读取用例的字符串形式的数据;
(22)将数据类型的字符串转换为变体;
(23)将变体值整体复制给该平台的用例设计界面显示并设置端口,并通过通讯端口发送给被测对象;
(3)测试用例执行步骤,包括:
(31)在程序启动的时候,将测场景名称和试用例名称导入树形控件;
(32)创建一个单独的事件触发线程,运行定时器的时间用例触发信号和通讯来的距离用例触发信号来触发用例事件;
(33)若树形控件中拥有触发用例事件,且所在的场景被选中,则在树形控件中进行标记并计数;若触发用例事件不存在或者所在场景未被选中,则忽略该触发请求,准备接收下一个触发请求;
(34)根据场景名和标记的用例名到用例存储的文本文件或数据库中获取该用例值字符串,并将字符串转换为指定的变体值;
(35)将(34)中的变体值发送给被测设备;
(36)实时采集被侧设备的数据信息并对该信息进行解包,通过界面显示;
进一步的,所述步骤(36)中,所述变体值通过DIO板卡,或串口和以太网发送给被测设备。
进一步的,所述测试用例功能包括:加载功能、加载用例、注册场景、注册用例、注销场景、注销用例、设置用例、开始测试、停止测试及查看用例功能。
进一步的,所述的测试用例的存储方式,是将整个用例界面作为对象,进行整体数据格式转换,转换后的数据为字符串格式,存到文本文件或数据库中。
由上述技术方案可知,本发明所述的轨道交通安全计算机嵌入式自动化测试方法,通过界面控件来设计测试用例的方式,替代传统的采用脚本的方式设计测试用例,使得测试软件的易用性、易扩展性和易维护性将得到极大的提升,不仅大幅降低测试人员的劳动量和知识水平,同时也极大地帮助了产品的测试和升级。本发明在解决该问题的基础上,还提供了简单的测试用例设计文件的存储方式,使用文本文件或数据库,对用户通过界面设计的测试用例进行存储、查询与删除。该方案后台程序采用应用程序引用和控件引用的编程方式,使程序功能模块化,方便后续的维护与升级。
附图说明
图1是本发明的测试用例自动生成流程图;
图2是本发明的测试用例读取步骤;
图3是本发明的测试用例执行步骤。
具体实施方式
下面结合附图对本发明做进一步说明:
如图1-3所示的一种轨道交通安全计算机嵌入式自动化测试方法,包括以下步骤:
S1:测试用例自动生成步骤,包括:
S11:设置平台用例设计界面的控件值;
S12:自动读取平台设计界面数据,该数据类型为变体;
S13:将界面数据类型的变体转换为字符串;
S14:将字符串存储到文本文件或数据库中;该存储方式是将整个界面作为对象,进行整体数据格式转换,转换后的数据为字符串格式,存到文本文件或数据库中。查看用例配置的时候,将文本文件或数据库中的字符串内容在进行逆转换,整体地设置界面控件。
S2:测试用例读取步骤,包括:
S21:从文本文件或数据库中,读取用例的字符串形式的数据;
S22:将数据类型的字符串转换为变体;
S23:将变体值整体复制给该平台的用例设计界面显示并设置端口,并通过通讯端口发送给被测对象;
S3:测试用例执行步骤,包括:
S31:在程序启动的时候,将测场景名称和试用例名称导入树形控件;
S32:创建一个单独的事件触发线程,运行定时器的时间用例触发信号和通讯来的距离用例触发信号来触发用例事件;
S33:构建树形控件,将测试用例导入树形控件,若树形控件中拥有触发用例事件,且所在的场景被选中,则在树形控件中进行标记并计数;若触发用例事件不存在或者所在场景未被选中,则忽略该触发请求,准备接收下一个触发请求;
S34:根据场景名和标记的用例名到用例存储的文本文件或数据库中获取该用例值字符串,并将字符串转换为指定的变体值;
S35:将S35中的变体值通过DIO板卡,或串口和以太网发送给被测设备;S35:实时采集被测设备上的DIO板卡的输入量,或来自串口和以太网的数据,并对该信息进行解包,然后在主调程序界面上显示。
本实施例的测试用例是以用例为中心展开的,包括用例的设计、存储、查看、删除和执行等功能,具体功能如下:
加载功能:程序初始化的时候,获取该程序在某相对路径下的所有程序模块名称,并加载到主调程序的菜单中,为后续的功能操作做准备。
加载用例:程序初始化的时候,获取该程序在某相对路径下的用例设计文件中的场景名和用例名,加载到树形控件中,为加载所有功能提供数据源;
注册场景:定义测试的某一种测试工况,如列车启动,列车制动,列车入库等;
注册场景具体操作步骤如下:弹出对话框,输入需要注册的新场景名称;该模块程序将打开在某相对目录下INI文件;在INI文件中搜索该新场景名是否已经被注册过;新场景名若未被注册,则把新场景名写入INI文件,并更新TEE内容;新场景名若已被注册过,则提示该用例已经被注册过,请重新输入,程序结束。
注册用例:定义某个测试场景中的一系列测试过程,如不同时刻给某个继电器进行控制,通过网络或串口通讯,向被测***发送指令等,用例名称格式包括“T+数字”和“D+数字”,分别表示列车运行了一定时间(T+数字)或者一定距离(D+数字)执行该用例;
注册用例具体步骤:弹出对话框,输入需要注册的新用例名称;该模块程序将打开在某相对目录下INI文件;搜索该新用例名是否已被注册过;若未被注册,则把新用例名写入INI文件,并更新TEE内容;若已被注册,则提示该用例已经被注册过,请重新输入;程序结束。
注销场景:删除某个场景及其所有用例,表明以后不再进行该场景的测试;具体步骤为:弹出对话框,输入需要删除的场景;该模块程序将打开在某相对目录下INI文件;删除指定的场景及其下面所有的用例;程序结束。
注销用例:删除某个场景中某个用例,表明以后不再进行该用例的测试;具体步骤为:弹出对话框,输入需要删除的指定场景名下的用例名;该模块程序将打开在某相对目录下INI文件;删除指定场景名下用例名;程序结束。
设置用例:设置测试用例中的值,在条件满足的情况下,执行该用例内容;设置用例的具体步骤为:首选通过在树形控件中选中获得设置的用例路径,即场景名和用例名;然后获取主调程序引用,通过该引用获得主调程序前面板的用例控件引用;通过用例控件引用获得所有用例控件的变体值;再将变体值转换成字符串;然后该模块程序将打开在某相对目录下INI文件;将该字符串写入到该INI文件中;关闭INI文件,则设置完成,程序结束。
查看用例:通过点击树形控件中的用例名称,则可以看到该用例的值,查看用例的设置是否符合要求;
首选通过在树形控件中选中获得设置的用例路径,即场景名和用例名;然后该模块程序将打开在某相对目录下INI文件;查找该场景下用例的字符串值;关闭INI文件;然后将该字符串值转化为变体值;获取主调程序引用;通过该引用获得主调程序前面板的用例控件引用;通过用例控件引用设置所有用例控件的变体值;程序结束。
开始测试:根据在树形控件中配置的测试内容,然后执行自动化测试,无人值守,测试完成自动停止,具体测试步骤为:
(1)获得主调程序引用;
(2)通过主调程序的引用,获得主调程序的控件用例的引用;
(3)从控件用例引用中,选出树形控件的引用;
(4)通过树形控件引用,清除控件标记和计数;
(5)统计需测场景的最小时间周期和用例总数;
(6)设置全局变量Start=T,定时器开始执行;
(7)进入测试,判断测试条例是否测试完毕,或者全局变量Start=F?,若是执行(8),否执行(15)
(8)定时器开始运行,达到最小周期,则触发事件;
(9)查找RREE控件中是否存在该用例,且其所在的场景被选中,若是,执行(10),若否执行(7);
(10)打开在指定的相对路径下的INI文件;
(11)获取该用例的字符串值;
(12)关闭INI文件;
(13)将用例的字符串值转化为用例控件的变体值,设置DIO板卡和通讯;
(14)用例计数+1,返回(7)
(15)测试结束。
停止测试:设置全局变量Start=F即可,即终止自动化测试。
本发明的各功能模块后台程序都是通过应用程序引用和界面控件引用的方式进行编写,当调用的时候,功能模块后台程序自动调用主调程序的前面板控件和文本文件或数据库进行操作,实现程序无耦合的模块化设计,所有功能模块程序都按照该方式编写。主调程序在运行时,自动在某个相对路径下搜索功能模块程序,并将功能模块程序名称加载到主调程序的菜单中,主调程序通过菜单调用这些功能模块程序,当需求变更或功能扩展时,只需修改功能模块程序本身即可。以消除功能模块程序之间,主调程序与被调用功能模块程序之间的耦合。主调程序在初始化时会自动搜索用例文本文件或数据库,获得测试场景名称和测试用例名称,以树形结构在树形控件中显示。在树形控件中场景名前有单选框,方便在测试之前,对需要进行测试的项目进行配置。该用例文本文件或数据库保存在主调程序的某个相对路径下。
本发明所述的程序会自动搜索当前所有功能模块的名称,并自动加载到菜单中,便于后续程序的升级和维护。除了加载功能外,在初始化时,程序还自动加载既往定义好的测试场景和测试用例,将其加载到树形控件中,便于后续程序的操作。在测试之前,可以自由配置测试方案,任意搭配测试场景,然后按照选择的场景进行测试。本测试方案,使得测试软件的易用性、易扩展性和易维护性将得到极大的提升,不仅大幅降低测试人员的劳动量和知识水平,同时也极大地帮助了产品的测试和升级。
以上所述的实施例仅仅是对本发明的优选实施方式进行描述,并非对本发明的范围进行限定,在不脱离本发明设计精神的前提下,本领域普通技术人员对本发明的技术方案作出的各种变形和改进,均应落入本发明权利要求书确定的保护范围内。

Claims (4)

1.一种轨道交通安全计算机嵌入式自动化测试方法,其特征在于,包括以下步骤:
(1) 测试用例自动生成步骤,包括:
(11)设置平台用例设计界面的控件值;
(12)自动读取平台设计界面数据,该数据类型为变体;
(13)将界面数据类型的变体转换为字符串;
(14)将字符串存储到文本文件或数据库中;
(2)测试用例读取步骤,包括:
(21)从文本文件或数据库中,读取用例的字符串形式的数据;
(22)将数据类型的字符串转换为变体;
(23)将变体值整体复制给该平台的用例设计界面显示并设置端口,并通过通讯端口发送给被测对象;
(3)测试用例执行步骤,包括:
(31)在程序启动的时候,将测场景名称和试用例名称导入树形控件;
(32)创建一个单独的事件触发线程,运行定时器的时间用例触发信号和通讯来的距离用例触发信号来触发用例事件;
(33)若树形控件中拥有触发用例事件,且所在的场景被选中,则在树形控件中进行标记并计数;若触发用例事件不存在或者所在场景未被选中,则忽略该触发请求,准备接收下一个触发请求;
(34)根据场景名和标记的用例名到用例存储的文本文件或数据库中获取该用例值字符串,并将字符串转换为指定的变体值;
(35)将(34)中的变体值发送给被测设备;
(36)实时采集被侧设备的数据信息并对该信息进行解包,通过界面显示。
2.根据权利要求1所述的轨道交通安全计算机嵌入式自动化测试方法,其特征在于:所述步骤(36)中,所述变体值通过DIO板卡,或串口和以太网发送给被测设备。
3.根据权利要求1所述的轨道交通安全计算机嵌入式自动化测试方法,其特征在于:所述测试用例功能包括:加载功能、加载用例、注册场景、注册用例、注销场景、注销用例、设置用例、开始测试、停止测试及查看用例功能。
4.根据权利要求1所述的轨道交通安全计算机嵌入式自动化测试方法,其特征在于:所述的测试用例的存储方式,是将整个用例界面作为对象,进行整体数据格式转换,转换后的数据为字符串格式,存到文本文件或数据库中。
CN201711467138.2A 2017-12-28 2017-12-28 一种轨道交通安全计算机嵌入式自动化测试方法 Active CN108595317B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201711467138.2A CN108595317B (zh) 2017-12-28 2017-12-28 一种轨道交通安全计算机嵌入式自动化测试方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201711467138.2A CN108595317B (zh) 2017-12-28 2017-12-28 一种轨道交通安全计算机嵌入式自动化测试方法

Publications (2)

Publication Number Publication Date
CN108595317A true CN108595317A (zh) 2018-09-28
CN108595317B CN108595317B (zh) 2021-06-11

Family

ID=63633446

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201711467138.2A Active CN108595317B (zh) 2017-12-28 2017-12-28 一种轨道交通安全计算机嵌入式自动化测试方法

Country Status (1)

Country Link
CN (1) CN108595317B (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111124883A (zh) * 2019-11-15 2020-05-08 苏州浪潮智能科技有限公司 一种基于树形表格的测试用例库引入方法、***及设备
CN112925296A (zh) * 2021-01-29 2021-06-08 华南理工大学 一种基于人工智能的图形化车载网络诊断方法

Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030227480A1 (en) * 2002-06-11 2003-12-11 Polk George Allyn Method and apparatus for testing embedded examples in GUI documentation
US20080270996A1 (en) * 2007-04-25 2008-10-30 Samsung Electronics Co., Ltd. Apparatus and method for automatically extracting interface of embedded software
CN101571802A (zh) * 2009-06-19 2009-11-04 北京航空航天大学 一种嵌入式软件测试数据可视化自动生成方法及***
CN101833498A (zh) * 2009-07-31 2010-09-15 北京伟晨豪嘉科技有限责任公司 一种基于测试脚本技术的嵌入式***自动化检测***
CN101968770A (zh) * 2010-11-01 2011-02-09 北京航空航天大学 一种可复用的嵌入式软件测试开发方法和***
CN102141961A (zh) * 2011-03-25 2011-08-03 株洲南车时代电气股份有限公司 一种列车车载软件的测试方法和测试***
CN102968368A (zh) * 2012-08-30 2013-03-13 中国人民解放军63928部队 一种遍历场景状态图的嵌入式测试用例设计与生成方法
CN103995777A (zh) * 2014-05-29 2014-08-20 上海科梁信息工程有限公司 嵌入式软件黑盒自动化测试***及测试方法
CN104182341A (zh) * 2014-08-22 2014-12-03 上海斐讯数据通信技术有限公司 自动化测试平台的场景清理方法及脚本测试方法

Patent Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030227480A1 (en) * 2002-06-11 2003-12-11 Polk George Allyn Method and apparatus for testing embedded examples in GUI documentation
US20080270996A1 (en) * 2007-04-25 2008-10-30 Samsung Electronics Co., Ltd. Apparatus and method for automatically extracting interface of embedded software
CN101571802A (zh) * 2009-06-19 2009-11-04 北京航空航天大学 一种嵌入式软件测试数据可视化自动生成方法及***
CN101833498A (zh) * 2009-07-31 2010-09-15 北京伟晨豪嘉科技有限责任公司 一种基于测试脚本技术的嵌入式***自动化检测***
CN101968770A (zh) * 2010-11-01 2011-02-09 北京航空航天大学 一种可复用的嵌入式软件测试开发方法和***
CN102141961A (zh) * 2011-03-25 2011-08-03 株洲南车时代电气股份有限公司 一种列车车载软件的测试方法和测试***
CN102968368A (zh) * 2012-08-30 2013-03-13 中国人民解放军63928部队 一种遍历场景状态图的嵌入式测试用例设计与生成方法
CN103995777A (zh) * 2014-05-29 2014-08-20 上海科梁信息工程有限公司 嵌入式软件黑盒自动化测试***及测试方法
CN104182341A (zh) * 2014-08-22 2014-12-03 上海斐讯数据通信技术有限公司 自动化测试平台的场景清理方法及脚本测试方法

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
DMITRY EFANOV等: "Testing of relay-contact circuits of railway signalling and interlocking", 《IEEE》 *
周汉清等: "嵌入式软件仿真测试环境实时脚本技术的研究", 《航空标准化与质量》 *
赵伟慧: "基于场景的列控车载设备测试用例自动生成方法研究", 《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111124883A (zh) * 2019-11-15 2020-05-08 苏州浪潮智能科技有限公司 一种基于树形表格的测试用例库引入方法、***及设备
CN111124883B (zh) * 2019-11-15 2023-01-10 苏州浪潮智能科技有限公司 一种基于树形表格的测试用例库引入方法、***及设备
CN112925296A (zh) * 2021-01-29 2021-06-08 华南理工大学 一种基于人工智能的图形化车载网络诊断方法

Also Published As

Publication number Publication date
CN108595317B (zh) 2021-06-11

Similar Documents

Publication Publication Date Title
CN106649103B (zh) 一种安卓应用程序自动化黑盒测试的方法及***
CN104793076B (zh) 智能自动测试***及测试方法
CN112100080B (zh) 控件测试方法、装置、终端设备和计算机可读存储介质
CN107562969B (zh) 航空发动机控制***软件的集成方法和装置
CN106326107B (zh) 基于仿真环境的非侵入式嵌入式软件异常处理验证方法
CN111782539B (zh) 一种基于国产操作***的测试诊断一体化开发平台
CN110704323B (zh) 基于轨道交通线路数据的数据自动化测试方法及装置
CN104699613B (zh) 一种航天器测试需求自动生成***及其方法
CN106201891A (zh) 一种模型自动化测试方法和装置
CN111176984A (zh) 一种面向信号的自动测试实现方法
CN107944193A (zh) 航电半实物仿真***
CN104915287B (zh) 单元测试方法及***
CN108595317A (zh) 一种轨道交通安全计算机嵌入式自动化测试方法
CN116341428B (zh) 构建参考模型的方法、芯片验证方法及***
CN114239459B (zh) Fpga原型设计文件的处理方法、装置、设备及介质
Pang et al. Automatic model generation of IEC 61499 function block using net condition/event systems
Abid et al. A Real-Time Specification Patterns Language
CN108286972A (zh) 导航电子地图数据的智能查错方法和装置及混合导航***
CN109828922A (zh) 一种基于Python实时编译技术的通用自动测试引擎及使用方法
CN115794624A (zh) 智能变电站自动化单装置闭环测试方法及***
Zheng et al. A Close-Loop Conformance Testing System of IEC 61850.
CN109358855A (zh) 一种用于编程的前端模拟数据敏捷开发方法及电子设备
Exman et al. ROM: an approach to self-consistency verification of a runnable ontology model
Petersohn et al. Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant Systems
Petersohn et al. Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems

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