CN114553714B - 一种解决区块链网络测试不确定性的模拟方法 - Google Patents

一种解决区块链网络测试不确定性的模拟方法 Download PDF

Info

Publication number
CN114553714B
CN114553714B CN202111643234.4A CN202111643234A CN114553714B CN 114553714 B CN114553714 B CN 114553714B CN 202111643234 A CN202111643234 A CN 202111643234A CN 114553714 B CN114553714 B CN 114553714B
Authority
CN
China
Prior art keywords
instruction
scene
state
simulation
function
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.)
Active
Application number
CN202111643234.4A
Other languages
English (en)
Other versions
CN114553714A (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.)
Beijing Tiancheng Tonglian Technology Co ltd
Original Assignee
Beijing Tiancheng Tonglian 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 Beijing Tiancheng Tonglian Technology Co ltd filed Critical Beijing Tiancheng Tonglian Technology Co ltd
Priority to CN202111643234.4A priority Critical patent/CN114553714B/zh
Publication of CN114553714A publication Critical patent/CN114553714A/zh
Application granted granted Critical
Publication of CN114553714B publication Critical patent/CN114553714B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/14—Network analysis or design
    • H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L43/00—Arrangements for monitoring or testing data switching networks
    • H04L43/50—Testing arrangements
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明公开了一种解决区块链网络测试不确定性的模拟方法，包括：步骤1：对场景进行配置，并发布场景；步骤2：进入到场景模拟的生命周期，包括场景初始化、场景执行和场景销毁；步骤3：生成场景报告，呈现所述场景的模拟测试情况。本发明提出了一种通过控制指令的执行时序，完成对区块链网络中相关功能的模拟分析；在一定程度上，解决了区块链网络人工测试困难的问题，构造了一种自动化的模拟方式进行相关测试，从而提升了网络的可分析能力，大大推动了区块链网络的工业化。

Description

一种解决区块链网络测试不确定性的模拟方法
技术领域
本发明涉及区块链网络技术领域，尤其涉及一种解决区块链网络测试不确定性的模拟方法。
背景技术
区块链网络是一种分布式的网络，包括多个参与节点，区块链网络中的节点角色既可以是客户端，也可以是服务器，这些节点通过消息通信进行数据的传输。在工程实施方面，区块链网络中的相关功能，需要经过设计、开发、测试、上线等几个阶段。
但是在对分布式程度比较高的区块链网络来说，测试的功能需要耗费大量的人力物力。区块链网络具有测试的不确定性，由于区块链网络内部运行算法的高度复杂性，导致区块链网络的测试，不像普通的工程项目一样，具备比较成熟的解决方案。对于区块链网络来说，需要测试人员对网络的运行机制以及代码逻辑相对熟悉，否则难以解决测试过程中出现的问题。
基于区块链网络是未来社会的发展方向，由于存着这种测试的不确定性，致使区块链网络无法大批量的工业化实施，从而阻碍了社会在此层面的进步，无法像其他工程项目一样，能够在低成本的情况下产生巨大的社会价值。因此，本发明为能够解决上述问题，提出一种解决区块链网络测试不确定性的模拟方法，对区块链技术大规模落地实施甚至推动社会进步的层面具有重要意义。
发明内容
本发明的目的在于克服现有技术的不足，提供一种解决区块链网络测试不确定性的模拟方法。
本发明的目的是通过以下技术方案来实现的：
一种解决区块链网络测试不确定性的模拟方法，包括以下步骤：
步骤1：对场景进行配置，并发布场景；
步骤2：进入到场景模拟的生命周期，包括场景初始化、场景执行和场景销毁；
步骤3：生成场景报告，呈现所述场景的模拟测试情况。
进一步的，对所述场景配置的内容包括需要配置组件的类型、组件个数、组件功能、功能切片、功能执行序列。
进一步的，所述场景初始化包括启动模拟功能块、启动指令控制以及状态许可控制功能，将模拟功能块的状态置为停止服务，即只是空操作，不进行实质的功能逻辑执行。
进一步的，所述场景执行通过指令控制的方式，将模拟功能块的状态置为启动，即模拟功能块执行真正的逻辑操作；所述场景销毁具体为将模拟功能块清理掉，并将场景配置的一些参数进行清理。
进一步的，所述指令包括启动、停止、销毁和数据发送，每个指令都具有一个时间属性用来标识此指令的执行时间点。
进一步的，所述指令只负责修改功能状态，不负责具体功能的实现，指令的执行流程为：
步骤201：定时任务查询指令表；
步骤202：从指令表中获取一条指令；
步骤203：根据指令的执行时间判断该指令是否可执行，若不可执行，则返回步骤202；
步骤204：若可执行，则判断指令的类型；
步骤205：若指令类型是数据发送，则修改状态许可表的发送状态为已许可，然后修改指令表中的状态为已执行；返回步骤201；
步骤206：若指令类型是启动，则修改指令对应的功能表中的状态为启动，然后修改指令表中的状态为已执行；返回步骤201；
步骤207：若指令类型是停止，则修改指令对应的功能表中的状态为停止，然后修改指令表中的状态为已执行；返回步骤201；
步骤208：若指令类型是销毁，则关闭场景线程池，清空指令表、状态许可表、数据表和功能表中的数据；然后修改指令表中的状态为已执行；返回步骤201。
进一步的，所述状态许可控制分为两种类型，一是在得到许可的前提下，通过线程自身完成发送；二是开启另外的线程进行发送；状态许可控制具体执行过程为：
步骤211：定时任务扫描状态许可表；
步骤212：查询发送状态为已许可时，按照时间正序查询一条数据；
步骤213：根据发送类型，确定发送的线程；
步骤214：获取对应的数据信息，以及发送的组件信息，将信息进行发送；
步骤215：将发送状态修改为已发送。
本发明的有益效果：本发明提出了一种通过控制指令的执行时序，完成对区块链网络中相关功能的模拟分析；在一定程度上，解决了区块链网络人工测试困难的问题，构造了一种自动化的模拟方式进行相关测试，从而提升了网络的可分析能力，大大推动了区块链网络的工业化。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图示出的结构获得其他的附图。
图1是本发明的方法流程图。
图2是指令执行流程图。
图3是状态许可控制流程图。
具体实施方式
应当理解，此处所描述的具体实施例仅用以解释本发明，并不用于限定本发明。
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅是本发明的一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
本实施例中，如图1所示，一种解决区块链网络测试不确定性的模拟方法，包括以下步骤：
步骤1：对场景进行配置，并发布场景；
步骤2：进入到场景模拟的生命周期，包括场景初始化、场景执行和场景销毁；
步骤3：生成场景报告，呈现所述场景的模拟测试情况。
进一步的，对所述场景配置的内容包括需要配置组件的类型、组件个数、组件功能、功能切片、功能执行序列。
进一步的，所述场景初始化包括启动模拟功能块、启动指令控制以及状态许可控制功能，将模拟功能块的状态置为停止服务，即只是空操作，不进行实质的功能逻辑执行。
进一步的，所述场景执行通过指令控制的方式，将模拟功能块的状态置为启动，即模拟功能块执行真正的逻辑操作；所述场景销毁具体为将模拟功能块清理掉，并将场景配置的一些参数进行清理。
进一步的，所述指令包括启动、停止、销毁和数据发送，每个指令都具有一个时间属性用来标识此指令的执行时间点。
进一步的，所述指令只负责修改功能状态，不负责具体功能的实现，指令的执行流程为：
步骤201：定时任务查询指令表；
步骤202：从指令表中获取一条指令；
步骤203：根据指令的执行时间判断该指令是否可执行，若不可执行，则返回步骤202；
步骤204：若可执行，则判断指令的类型；
步骤205：若指令类型是数据发送，则修改状态许可表的发送状态为已许可，然后修改指令表中的状态为已执行；返回步骤201；
步骤206：若指令类型是启动，则修改指令对应的功能表中的状态为启动，然后修改指令表中的状态为已执行；返回步骤201；
步骤207：若指令类型是停止，则修改指令对应的功能表中的状态为停止，然后修改指令表中的状态为已执行；返回步骤201；
步骤208：若指令类型是销毁，则关闭场景线程池，清空指令表、状态许可表、数据表和功能表中的数据；然后修改指令表中的状态为已执行；返回步骤201。
进一步的，所述状态许可控制分为两种类型，一是在得到许可的前提下，通过线程自身完成发送；二是开启另外的线程进行发送；状态许可控制具体执行过程为：
步骤211：定时任务扫描状态许可表；
步骤212：查询发送状态为已许可时，按照时间正序查询一条数据；
步骤213：根据发送类型，确定发送的线程；
步骤214：获取对应的数据信息，以及发送的组件信息，将信息进行发送；
步骤215：将发送状态修改为已发送。
在本实施中，模拟测试的主体是场景，场景的概念是从网络创建开始，一直贯穿到某个功能点的执行为结束。
此模拟平台可以模拟一个组件或者多个组件，可以同时和一个真实的组件或者多个真实的组件进行交互。
对于场景中涉及到的某个功能来说，关注点是真实组件的执行情况。对于在场景执行过程中需要的数据，可以根据需求动态生成数据。在场景之下的单位是切片，即对于目前网络中的某个功能，可以根据外界环境的不同，生成多种不同的场景切片，用来从多个层析对功能的正确性进行模拟测试。
每个场景完成之后，会生成一份场景报告，用来呈现此场景的模拟测试情况。
模拟场景在执行之前，需要将相关信息配置完成。模拟场景需要配置组件的类型以及个数、组件功能、功能切片、功能执行序列。模拟场景发布之后，会进入到场景模拟的生命周期，包括场景初始化、场景执行、场景销毁。
场景初始化主要是启动模拟功能块、启动指令控制以及状态许可控制功能，将模拟功能块的状态置为停止服务，即只是空操作，不进行实质的功能逻辑执行。
场景执行即通过指令控制的方式，将模拟功能块的状态置为启动，即模拟功能块执行真正的逻辑操作。对于模拟功能块的停止，也是通过指令控制来执行的。
场景销毁主要是将模拟功能块清理掉，并将场景配置的一些参数进行清理。
在本实施例中，逻辑控制主要包括指令控制以及状态许可控制。在整个场景模拟的过程中，最核心的部分是指令控制部分。
场景模拟需要涉及到一些功能，这些功能的执行是需要时序控制的。指令之间可以具备关联关系，另外每个指令都有一个时间属性，标识此指令的执行时间点。
需要注意的是，指令类型目前分成四种：启动、停止、销毁、数据发送。对于启动或者停止指令来说，只需要修改功能对应的状态信息。对于场景销毁来说，会执行一些清理操作。对于数据发送指令，会修改状态许可中的相关状态。指令只负责修改功能状态，不负责具体功能的实现。具体执行过程如图2所示。
模拟系统和真实组件之间的交互，从接受真实组件的请求到数据发送给真实组件，都是受制于模拟系统的控制。而状态许可控制主要是控制模拟系统将数据发送出去的节奏，可以人工接入，也可以通过其他方式进行介入。
由于受到消息通信具体实现方式的影响，将这种状态许可通过分成了两种类型：一种是通信线程自身完成发送，但是需要在得到许可的前提下；另一种是开启另外的线程进行发送，前提是状态得到需要。具体的执行流程如图3所示。
由于模拟评估的区块链网络是分布式的，各个组件之间需要实现通信。通信服务和平台是一体的，即会随着平台的启动或者停止而启动或者销毁。结合具体的场景需求，模拟平台具备被动响应或者主动请求的需求。对于真实组件的请求，模拟平台属于被动响应，但是这些控制并不是一直提供服务，会根据指令的控制关闭相关的通信服务。模拟平台还会模拟主动请求。
主动请求的执行功能是在场景初始化的时候开始的，但是因为有状态控制，因此只有在状态为启动的情况下，才能具体执行。
本发明提出的解决方案能够保证区块链网络在确定性的条件下完成相关测试功能，实现区块链网络的自动化模拟分析，使得区块链网络在低成本的前提下发挥更大的社会价值，使得区块链网络布局成为可能。
需要说明的是，对于前述的各个方法实施例，为了简单描述，故将其都表述为一系列的动作组合，但是本领域技术人员应该知悉，本申请并不受所描述的动作顺序的限制，因为依据本申请，某一些步骤可以采用其他顺序或者同时进行。其次，本领域技术人员也应该知悉，说明书中所描述的实施例均属于优选实施例，所涉及的动作和单元并不一定是本申请所必须的。
在上述实施例中，对各个实施例的描述都各有侧重，某个实施例中没有详细描述的部分，可以参见其他实施例的相关描述。
本领域普通技术人员可以理解实现上述实施例方法中的全部或部分流程，是可以通过计算机程序来指令相关的硬件来完成，所述的程序可存储于计算机可读取存储介质中，该程序在执行时，可包括如上述各方法的实施例的流程。其中，所述的存储介质可为磁碟、光盘、ROM、RAM等。
以上所揭露的仅为本发明较佳实施例而已，当然不能以此来限定本发明之权利范围，因此依本发明权利要求所作的等同变化，仍属本发明所涵盖的范围。

Claims (4)

1.一种解决区块链网络测试不确定性的模拟方法，其特征在于，包括以下步骤：
步骤1：对场景进行配置，并发布场景；
步骤2：进入到场景模拟的生命周期，包括场景初始化、场景执行和场景销毁；所述场景初始化包括启动模拟功能块、启动指令控制以及状态许可控制功能，将模拟功能块的状态置为停止服务，即只是空操作，不进行实质的功能逻辑执行；所述指令只负责修改功能状态，不负责具体功能的实现，指令的执行流程为：
步骤201：定时任务查询指令表；
步骤202：从指令表中获取一条指令；
步骤203：根据指令的执行时间判断该指令是否可执行，若不可执行，则返回步骤202；
步骤204：若可执行，则判断指令的类型；
步骤205：若指令类型是数据发送，则修改状态许可表的发送状态为已许可，然后修改指令表中的状态为已执行；返回步骤201；
步骤206：若指令类型是启动，则修改指令对应的功能表中的状态为启动，然后修改指令表中的状态为已执行；返回步骤201；
步骤207：若指令类型是停止，则修改指令对应的功能表中的状态为停止，然后修改指令表中的状态为已执行；返回步骤201；
步骤208：若指令类型是销毁，则关闭场景线程池，清空指令表、状态许可表、数据表和功能表中的数据；然后修改指令表中的状态为已执行；返回步骤201；
所述状态许可控制分为两种类型，一是在得到许可的前提下，通过线程自身完成发送；二是开启另外的线程进行发送；状态许可控制具体执行过程为：
步骤211：定时任务扫描状态许可表；
步骤212：查询发送状态为已许可时，按照时间正序查询一条数据；
步骤213：根据发送类型，确定发送的线程；
步骤214：获取对应的数据信息，以及发送的组件信息，将信息进行发送；
步骤215：将发送状态修改为已发送；
步骤3：生成场景报告，呈现所述场景的模拟测试情况。
2.根据权利要求1所述的一种解决区块链网络测试不确定性的模拟方法，其特征在于，对所述场景配置的内容包括需要配置组件的类型、组件个数、组件功能、功能切片、功能执行序列。
3.根据权利要求1所述的一种解决区块链网络测试不确定性的模拟方法，其特征在于，所述场景执行通过指令控制的方式，将模拟功能块的状态置为启动，即模拟功能块执行真正的逻辑操作；所述场景销毁具体为将模拟功能块清理掉，并将场景配置的一些参数进行清理。
4.根据权利要求1所述的一种解决区块链网络测试不确定性的模拟方法，其特征在于，所述指令包括启动、停止、销毁和数据发送，每个指令都具有一个时间属性用来标识此指令的执行时间点。
CN202111643234.4A 2021-12-30 2021-12-30 一种解决区块链网络测试不确定性的模拟方法 Active CN114553714B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111643234.4A CN114553714B (zh) 2021-12-30 2021-12-30 一种解决区块链网络测试不确定性的模拟方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111643234.4A CN114553714B (zh) 2021-12-30 2021-12-30 一种解决区块链网络测试不确定性的模拟方法

Publications (2)

Publication Number Publication Date
CN114553714A CN114553714A (zh) 2022-05-27
CN114553714B true CN114553714B (zh) 2024-05-14

Family

ID=81669008

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111643234.4A Active CN114553714B (zh) 2021-12-30 2021-12-30 一种解决区块链网络测试不确定性的模拟方法

Country Status (1)

Country Link
CN (1) CN114553714B (zh)

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109617759A (zh) * 2018-12-04 2019-04-12 中钞信用卡产业发展有限公司杭州区块链技术研究院 区块链系统稳定性测试方法、装置、设备及存储介质
CN109728961A (zh) * 2017-10-27 2019-05-07 北京乾唐视联网络科技有限公司 一种自治网络的组网测试方法和系统
CN110351156A (zh) * 2018-04-03 2019-10-18 大唐移动通信设备有限公司 一种测试方法和装置
CN112073269A (zh) * 2020-09-14 2020-12-11 腾讯科技（深圳）有限公司 区块链网络测试方法、装置、服务器及存储介质
CN112533237A (zh) * 2020-11-16 2021-03-19 北京科技大学 工业互联网中支持大规模设备通信的网络容量优化方法
CN112559535A (zh) * 2020-12-28 2021-03-26 平安银行股份有限公司 基于多线程的异步任务处理方法、装置、设备及介质
CN113067728A (zh) * 2021-03-17 2021-07-02 中国人民解放军海军工程大学 一种网络安全攻防试验平台
CN113300900A (zh) * 2020-06-28 2021-08-24 阿里巴巴集团控股有限公司 云上服务测试方法、装置和系统以及容器测试方法和装置

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20190394113A1 (en) * 2018-06-25 2019-12-26 Blocktest Global Systems and methods to automatically evaluate blockchain-based solution performance

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109728961A (zh) * 2017-10-27 2019-05-07 北京乾唐视联网络科技有限公司 一种自治网络的组网测试方法和系统
CN110351156A (zh) * 2018-04-03 2019-10-18 大唐移动通信设备有限公司 一种测试方法和装置
CN109617759A (zh) * 2018-12-04 2019-04-12 中钞信用卡产业发展有限公司杭州区块链技术研究院 区块链系统稳定性测试方法、装置、设备及存储介质
CN113300900A (zh) * 2020-06-28 2021-08-24 阿里巴巴集团控股有限公司 云上服务测试方法、装置和系统以及容器测试方法和装置
CN112073269A (zh) * 2020-09-14 2020-12-11 腾讯科技（深圳）有限公司 区块链网络测试方法、装置、服务器及存储介质
CN112533237A (zh) * 2020-11-16 2021-03-19 北京科技大学 工业互联网中支持大规模设备通信的网络容量优化方法
CN112559535A (zh) * 2020-12-28 2021-03-26 平安银行股份有限公司 基于多线程的异步任务处理方法、装置、设备及介质
CN113067728A (zh) * 2021-03-17 2021-07-02 中国人民解放军海军工程大学 一种网络安全攻防试验平台

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
Indoor Mobility Prediction for mmWave Communications using Markov Chain;Aysenur Turkmen等;《2021 IEEE Wireless Communications and Networking Conference (WCNC)》;20210505;全文 *
基于混合空间剖分八叉树场景管理技术的研究;王瑞雪;安建成;;电脑开发与应用;20100405(第04期);全文 *

Also Published As

Publication number Publication date
CN114553714A (zh) 2022-05-27

Similar Documents

Publication Publication Date Title
CN106095677B (zh) 基于Robot Framework实现的RESTful Webservice接口自动化测试方法
CN109597761A (zh) 一种基于Jmeter的接口自动化测试方法
CN107153603B (zh) 游戏的模拟测试方法、装置及系统
CN110262964A (zh) 测试方法、装置、设备及计算机可读存储介质
US9823991B2 (en) Concurrent workload simulation for application performance testing
CN106933745A (zh) Web接口自动化测试方法和系统
CN110109829B (zh) 智能对话自动化校验方法、存储介质
CN112631846A (zh) 一种故障演练方法、装置、计算机设备及存储介质
CN104978262A (zh) 一种终端测试方法和装置
CN114328217A (zh) 应用的测试方法、装置、设备、介质及计算机程序产品
CN109710513B (zh) 一种用于cbtc系统自动化测试的引擎
CN114553714B (zh) 一种解决区块链网络测试不确定性的模拟方法
CN115396352A (zh) Cms服务器端协议测试方法、系统、设备及存储介质
Dauphinais et al. Automated vulnerability testing and detection digital twin framework for 5g systems
CN111352832B (zh) 自动测试页面的方法、装置
JP6542397B2 (ja) イメージ制作中のコンテンツテスト
CN116467188A (zh) 一种多环境场景下的通用本地复现系统和方法
CN115017512A (zh) 基于区块链的越权访问漏洞测试方法及装置
CN112416798B (zh) 数据处理方法、装置、设备和存储介质
CN117194131B (zh) 数据处理方法、装置、设备、可读存储介质及程序产品
CN111444108A (zh) 一种基于s7工业协议的行为审计自动化测试方法
Wallace et al. A situated evaluation of the Object Management Group's (OMG) Object Management Architecture (OMA)
CN113722133B (zh) 一种内存泄漏检测方法、装置及设备
CN116991673A (zh) 一种模拟设备自动发送和响应数据的方法及装置
Cohen A brief history of ‘Formal Methods’

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