CN115858404B - 一种基于eda的图形用户界面的测试系统 - Google Patents

一种基于eda的图形用户界面的测试系统 Download PDF

Info

Publication number
CN115858404B
CN115858404B CN202310184390.1A CN202310184390A CN115858404B CN 115858404 B CN115858404 B CN 115858404B CN 202310184390 A CN202310184390 A CN 202310184390A CN 115858404 B CN115858404 B CN 115858404B
Authority
CN
China
Prior art keywords
test
con
standard test
standard
rep
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
CN202310184390.1A
Other languages
English (en)
Other versions
CN115858404A (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.)
Shanghai Hejian Industrial Software Group Co Ltd
Original Assignee
Shanghai Hejian Industrial Software Group 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 Shanghai Hejian Industrial Software Group Co Ltd filed Critical Shanghai Hejian Industrial Software Group Co Ltd
Priority to CN202310184390.1A priority Critical patent/CN115858404B/zh
Publication of CN115858404A publication Critical patent/CN115858404A/zh
Application granted granted Critical
Publication of CN115858404B publication Critical patent/CN115858404B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • YGENERAL 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
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02DCLIMATE 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/00Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • User Interface Of Digital Computer (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明涉及电子设计自动化技术领域,特别是涉及一种基于EDA的图形用户界面的测试系统,其数据库中包括图形用户界面中N个测试项的标准测试命令文件CON和每个测试项的标准测试结果文件REP,每个标准测试命令文件中包括J(i)个按照标准测试动作的执行顺序记录的标准测试动作的标准测试命令,每个标准测试结果中包括J(i)个标准测试命令的标准测试结果;对待测的图形用户界面执行CON中的每个标准测试命令文件,得到当前测试结果文件RREP,将RREP与REP进行比对,进而判断是否测试通过,解决了现有技术中依赖于人工对图形用户界面进行测试导致重复劳动且无法保证测试效率的问题。

Description

一种基于EDA的图形用户界面的测试系统
技术领域
本发明涉及电子设计自动化技术领域,特别是涉及一种基于EDA的图形用户界面的测试系统。
背景技术
电子设计自动化(Electronic design automation,EDA)是设计大规模集成电路必备的工具,也被称为EDA工具。EDA工具与IP、工艺制程等深度耦合,使EDA工具不断更新,如果需要基于行业先进技术进行集成电路设计,就需要将所使用的EDA工具更新到最新版本。
EDA每次更新都需要将图形用户界面的全部功能进行测试,全部功能包括未更新的功能和更新的功能,功能测试依赖于测试工程师的人工测试,由于更新前后大多数的测试对象、测试用例与测试步骤和软件更新前相同,导致测试工程师重复劳动,并且无法保证测试的效率。
发明内容
针对上述技术问题,本发明采用的技术方案为:一种基于EDA的图形用户界面的测试系统,所述系统包括数据库、处理器和存储有计算机程序的存储器,所述数据库包括图形用户界面中N个测试项的标准测试命令文件CON和每个测试项的标准测试结果文件REP,其中:CON={con1,con2,…,coni,…,conN},coni={comi,1,comi,2,…,comi,j,…,comi,J(i)},coni为记录第i个测试项的标准测试动作对应的标准测试命令文件,comi,j为coni中按照标准测试动作的执行顺序记录的第j个标准测试动作的标准测试命令,j的取值范围为1到J(i),J(i)的函数值为大于0的整数,i的取值范围为1到N,N为大于0的整数;REP={rep1,rep2,…,repi,…,repN},repi={resi,1,resi,2,…,resi,j,…,resi,J(i)},repi为第i个测试项的标准测试结果文件;resi,j为comi,j的标准测试结果;
当所述计算机程序被处理器执行时,实现以下步骤:
S200,根据CON中的N个标准测试命令文件对待测的图形用户界面进行测试,得到N个当前测试的测试结果文件RREP={rrep1,rrep2,…,rrepi,…,rrepN},其中rrepi为coni的当前测试结果文件,rrepi={rresi,1,rresi,2,…,rresi,j,…,rresi,J(i)},rresi,j为comi,j的当前测试结果。
S400,将RREP与REP进行比对,得到N个比对结果文件IDE={ide1,ide2,…,idei,…,ideN},idei={sami,1,sami,2,…,sami,j,…,sami,J(i)},idei为repi和rrepi的比对结果文件,sami,j为resi,j和rresi,j的比对结果标签,比对结果标签为相同标签或者不同标签。
S600,当N个比对结果文件中均为相同标签时,则整体测试通过;否则,记录不同标签对应的比对结果文件idei及对应的测试项coni
本发明与现有技术相比具有明显的有益效果,借由上述技术方案,本发明提供的一种基于EDA的图形用户界面的测试系统可达到相当的技术进步性及实用性,并具有产业上的广泛利用价值,其至少具有以下有益效果:
本发明提供了一种基于EDA的图形用户界面的测试系统,通过记录标准测试命令并对待测的图形用户界面执行记录的标准测试命令,达到将重复性劳动的工作交给计算机执行的目的,且测试效率相对于人工测试得到了提高,解决了现有技术中依赖于人工对图形用户界面进行测试导致重复劳动且无法保证测试效率的问题;同时,在记录标准测试命令的同时,也记录下了每个标准测试命令的标准测试结果,并将标准测试结果与当前测试结果进行比对,根据比对结果判断是否测试通过,并记录下测试失败的测试项,达到提高测试效率的目的;此外,将每个测试项进行单独记录能够达到对待测的图形用户界面中测试项解耦的目的,使测试项的测试顺序的灵活性更大。
附图说明
为了更清楚地说明本发明实施例中的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明实施例提供基于EDA的图形用户界面的测试步骤流程图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
本发明实施例提供了一种基于EDA的图形用户界面的测试系统,所述系统包括数据库、处理器和存储有计算机程序的存储器,所述数据库包括图形用户界面中N个测试项的标准测试命令文件CON和每个测试项的标准测试结果文件REP,其中:CON={con1,con2,…,coni,…,conN},coni={comi,1,comi,2,…,comi,j,…,comi,J(i)},coni为记录第i个测试项的标准测试动作对应的标准测试命令文件,comi,j为coni中按照标准测试动作的执行顺序记录的第j个标准测试动作的标准测试命令,j的取值范围为1到J(i),J(i)的函数值为大于0的整数,i的取值范围为1到N,N为大于0的整数;REP={rep1,rep2,…,repi,…,repN},repi={resi,1,resi,2,…,resi,j,…,resi,J(i)},repi为第i个测试项的标准测试结果文件;resi,j为comi,j的标准测试结果。
需要说明的是,标准测试命令文件中保存的标准测试命令为相应测试项对应的正确命令,相应的,标准测试结果文件中保存的标准测试结果为正确的结果;在对待测的图形用户界面进行测试时,标准测试命令文件可以作为标准执行相应的步骤,将执行后生成的测试结果与标准测试结果进行比较,若出现不一致的测试结果,说明图形用户界面中的相应测试项有问题。
其中,测试项为图形用户界面中的每项功能,例如,图形用户界面中的测试项:创建总线(create bus)、在波形窗口中增加待查看的某一信号等。以创建总线为例,创建总线的测试步骤包括:第一步,在Wave选择一个bus;第二步,点击菜单Wave;第三步,点击Wave的二级扩展菜单View;第四步,点击三级扩展菜单Bus Operations;第五步,点击create bus;第六步,输入bus名称、位宽和内容;第七步,保存。第一步到第七步为一个测试创建总线是否正常工作的测试项。其中,每一步的操作为标准测试动作,每一步执行的标准测试动作对应的命令即为标准测试命令。
可选的,标准测试命令为脚本命令。可选的,脚本命令为符合工具命令语言(ToolCommand Language,TCL)标准的命令。
作为一个优选实施例,当第i个测试项的第j个标准测试动作下不包括随机约束条件时,直接记录标准测试动作对应的标准测试命令;否则,记录comi,j的步骤还包括:
S110,当检测到第j个标准测试动作被触发后,获取随机结果hr。
S120,将hr与随机约束条件进行比较,当hr满足随机约束条件时,将第j个标准测试动作和hr记录为comi,j;否则,丢弃hr,不记录第j个标准测试动作和hr。
可选的,当测试表达式时,第j个标准测试动作为测试操作符pp,且随机约束条件为约束pp在表达式中出现的次数。记录comi,j的步骤包括:当检测到第j个标准测试动作被触发后,获取测试的操作符pp在表达式中出现的次数的随机结果hr,将hr与随机约束条件进行比较,当满足随机约束条件时,将第j个标准测试动作和hr记录为comi,j,否则,丢弃hr,不记录第j个标准测试动作和hr。
作为一个示例,随机约束条件为pp在表达式中出现的次数大于sp1且小于sp2。
可选的,操作符为“+”、“-”、“×”等。
通过记录满足约束条件的随机结果,并丢弃不满足约束条件的随机结果,保证随机结果的完备性,解决了现有技术中依赖人工获取随机结果导致无法保证完备性的技术问题;在后续测试过程中直接根据记录的随机结果执行相应的测试,能够保证后续测试步骤与标准测试步骤严格相同,解决了现有技术中依赖人工根据随机结果操作测试导致无法保证正确性的技术问题。
进一步,请参阅图1,当所述计算机程序被处理器执行时,实现以下步骤:
S200,根据CON中的N个标准测试命令文件对待测的图形用户界面进行测试,得到N个当前测试结果文件RREP={rrep1,rrep2,…,rrepi,…,rrepN},其中rrepi为coni的当前测试结果文件,rrepi={rresi,1,rresi,2,…,rresi,j,…,rresi,J(i)},rresi,j为comi,j的当前测试结果。
需要说明的是,当利用CON中的N个标准测试命令文件对待测的图形用户界面进行测试时,相当于将标准测试动作重现,能够避免重复劳动,提高测试效率。
其中,当前测试结果文件与标准测试结果文件的格式相同。
作为一个优选实施例,当第i个测试项与第q个测试项存在依赖关系时,所述S200还包括:
S220,根据用户指定的测试项的执行顺序将第i个测试项的标准测试命令文件coni与第q个测试项的标准测试命令文件conq的执行顺序进行拼接。其中,拼接是指将两个测试项对应的标准测试命令文件按照用户指定的执行顺序关联起来。用户指定的执行顺序可以是执行完coni之后执行conq,或者执行完conq之后执行coni,进而根据拼接后的顺序执行相应的测试项。
S240,按照拼接后的执行顺序更新CON得到更新后的CON,执行更新后的CON中的标准测试命令文件。
通过步骤S220和S240根据用户指定的顺序拼接相应的测试项,能够使测试流程变得可控。
作为一个优选实施例,当CON包括M个执行顺序可随机组合的测试项时,所述S200还包括:
S260,随机生成M个测试项的随机执行顺序。
S280,根据所述随机执行顺序拼接M个测试项并更新CON得到更新后的CON,执行更新后的CON中的标准测试命令文件。
作为一个示例,对于创建bus的测试项和创建表达式的测试项,可以是先执行创建bus再执行创建表达式的测试项,也可以是先执行创建表达式的测试项再执行创建bus的测试项,这两个测试项的执行顺序可以随机组合。随机组合测试项的执行顺序这部分可以通过计算机随机生成一个执行顺序即可,不需要人工参与,使图形用户界面的测试更加趋近于自动化。
作为一个优选实施例,M个执行顺序可随机组合的测试项的获取步骤包括:在数据库中包括K个随机组{ran1,ran2,…,rank,…,ranK},rank为第k个随机组,rank包括R(k)个可随机组合执行顺序的测试项{ite1,ite2,…,iter,…, iteR(k)},iter为rank中可随机组合执行顺序的第r个测试项,r的取值范围为1到R(k),R(k)的函数值大于等于2,k的取值范围为1到K;当检测到CON中M个测试项均为同一个随机组中的测试项时,CON中M个测试项为执行顺序可随机组合的测试项。
S400,将RREP与REP进行比对,得到N个比对结果文件IDE={ide1,ide2,…,idei,…,ideN},idei={sami,1,sami,2,…,sami,j,…,sami,J(i)},idei为repi和rrepi的比对结果文件,sami,j为resi,j和rresi,j的比对结果标签,比对结果标签为相同标签或者不同标签。
其中,当标准测试命令comi,j对应的标准测试结果resi,j和当前测试结果rresi,j相同时,比对结果文件中记录标准测试命令comi,j的测试结果对应的相同标签;当标准测试结果resi,j和当前测试结果rresi,j不同时,比对结果文件中记录标准测试命令comi,j的测试结果对应的不同标签。
可选的,标准测试结果和当前测试结果比对的步骤还包括:S420,比对标准测试结果和当前测试结果的文本是否相同,若文本相同,则测试结果相同;否则,测试结果不同。
S600,当N个比对结果文件中均为相同标签时,则整体测试通过;否则,记录不同标签对应的比对结果文件idei及对应的测试项coni。将具有不同标签的测试项记录下来之后,在后续测试的过程中可针对性的进行测试,确保后续版本不再出现测试结果异常的测试项。
综上所述,本发明实施例提供了一种基于EDA的图形用户界面的测试系统,该系统的数据库中包括图形用户界面中N个测试项的标准测试命令文件CON和每个测试项的标准测试结果文件REP,每个标准测试命令文件中包括J(i)个按照标准测试动作的执行顺序记录的标准测试动作的标准测试命令,每个标准测试结果中包括J(i)个标准测试命令的标准测试结果;对待测的图形用户界面执行CON中的每个标准测试命令文件,得到当前测试的测试结果文件RREP,将RREP与REP进行比对,判断是否测试通过,并记录验证不通过的测试项以及相应的测试结果,本发明将重复性劳动的工作交给计算机进行执行,且测试效率相对于人工测试得到了提高,解决了现有技术中依赖于人工对图形用户界面进行测试导致重复劳动且无法保证测试效率的问题。
虽然已经通过示例对本发明的一些特定实施例进行了详细说明,但是本领域的技术人员应该理解,以上示例仅是为了进行说明,而不是为了限制本发明的范围。本领域的技术人员还应理解,可以对实施例进行多种修改而不脱离本发明的范围和精神。本发明公开的范围由所附权利要求来限定。

Claims (6)

1.一种基于EDA的图形用户界面的测试系统,其特征在于,所述系统包括数据库、处理器和存储有计算机程序的存储器,所述数据库包括图形用户界面中N个测试项的标准测试命令文件CON和每个测试项的标准测试结果文件REP,其中:
CON={con1,con2,…,coni,…,conN},coni={comi,1,comi,2,…,comi,j,…,comi,J(i)},coni为记录第i个测试项的标准测试动作对应的标准测试命令文件,comi,j为coni中按照标准测试动作的执行顺序记录的第j个标准测试动作的标准测试命令,j的取值范围为1到J(i),J(i)的函数值为大于0的整数,i的取值范围为1到N,N为大于0的整数;其中,当第i个测试项的第j个标准测试动作下包括随机约束条件时,记录comi,j的步骤还包括:S110,当检测到第j个标准测试动作被触发后,获取随机结果hr;S120,将hr与随机约束条件进行比较,当hr满足随机约束条件时,将第j个标准测试动作和hr记录为comi,j;否则,丢弃hr;
REP={rep1,rep2,…,repi,…,repN},repi={resi,1,resi,2,…,resi,j,…,resi,J(i)},repi为第i个测试项的标准测试结果文件;resi,j为comi,j的标准测试结果;
当所述计算机程序被处理器执行时,实现以下步骤:
S200,根据CON中的N个标准测试命令文件对待测的图形用户界面进行测试,得到N个当前测试结果文件RREP={rrep1,rrep2,…,rrepi,…,rrepN},其中rrepi为coni的当前测试结果文件,rrepi={rresi,1,rresi,2,…,rresi,j,…,rresi,J(i)},rresi,j为comi,j的当前测试结果;其中,当CON包括M个执行顺序可随机组合的测试项时,所述S200还包括:
S260,随机生成M个测试项的随机执行顺序;
S280,根据所述随机执行顺序拼接M个测试项并更新CON得到更新后的CON,执行更新后的CON中的标准测试命令文件;
S400,将RREP与REP进行比对,得到N个比对结果文件IDE={ide1,ide2,…,idei,…,ideN},idei={sami,1,sami,2,…,sami,j,…,sami,J(i)},idei为repi和rrepi的比对结果文件,sami,j为resi,j和rresi,j的比对结果标签,比对结果标签为相同标签或者不同标签;
S600,当N个比对结果文件中均为相同标签时,则整体测试通过;否则,记录不同标签对应的比对结果文件idei及对应的测试项coni
2.根据权利要求1所述的系统,其特征在于,当第i个测试项与第q个测试项存在依赖关系时,所述S200还包括:
S220,根据用户指定的测试项的执行顺序将第i个测试项的标准测试命令文件coni与第q个测试项的标准测试命令文件conq的执行顺序进行拼接;
S240,按照拼接后的执行顺序更新CON得到更新后的CON,执行更新后的CON中的标准测试命令文件。
3.根据权利要求1所述的系统,其特征在于,M个执行顺序可随机组合的测试项的获取步骤包括:在数据库中包括K个随机组{ran1,ran2,…,rank,…,ranK},rank为第k个随机组,rank包括R(k)个可随机组合执行顺序的测试项{ite1,ite2,…,iter,…, iteR(k)},iter为rank中可随机组合执行顺序的第r个测试项,r的取值范围为1到R(k),R(k)的函数值大于等于2,k的取值范围为1到K;当检测到CON中M个测试项均为同一随机组中的测试项时,CON中M个测试项为执行顺序可随机组合的测试项。
4.根据权利要求1所述的系统,其特征在于,S400还包括:
S420,比对标准测试结果和当前测试结果的文本是否相同,若文本相同,则测试结果相同;否则,测试结果不同。
5.根据权利要求1所述的系统,其特征在于,所述标准测试命令为脚本命令。
6.根据权利要求5所述的系统,其特征在于,所述脚本命令为符合TCL标准的命令。
CN202310184390.1A 2023-03-01 2023-03-01 一种基于eda的图形用户界面的测试系统 Active CN115858404B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202310184390.1A CN115858404B (zh) 2023-03-01 2023-03-01 一种基于eda的图形用户界面的测试系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202310184390.1A CN115858404B (zh) 2023-03-01 2023-03-01 一种基于eda的图形用户界面的测试系统

Publications (2)

Publication Number Publication Date
CN115858404A CN115858404A (zh) 2023-03-28
CN115858404B true CN115858404B (zh) 2023-05-12

Family

ID=85659505

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202310184390.1A Active CN115858404B (zh) 2023-03-01 2023-03-01 一种基于eda的图形用户界面的测试系统

Country Status (1)

Country Link
CN (1) CN115858404B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117094260B (zh) * 2023-10-16 2024-01-19 上海合见工业软件集团有限公司 一种基于自然语言的命令交互系统

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107656871A (zh) * 2017-09-30 2018-02-02 郑州云海信息技术有限公司 一种基于Postmark的后端存储性能自动化测试方法
CN113590491A (zh) * 2021-08-06 2021-11-02 深圳市共进电子股份有限公司 一种测试平台和产品测试方法

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6002871A (en) * 1997-10-27 1999-12-14 Unisys Corporation Multi-user application program testing tool
TW200530800A (en) * 2004-03-12 2005-09-16 Hon Hai Prec Ind Co Ltd System and method for rapidly diagnosing and testing computer hardware
CN102665094A (zh) * 2012-03-27 2012-09-12 深圳市九洲电器有限公司 一种机顶盒测试方法及测试系统
CN107301130A (zh) * 2017-06-28 2017-10-27 歌尔科技有限公司 一种vr一体机测试工具及其方法
CN109976988A (zh) * 2019-03-15 2019-07-05 山东云缦智能科技有限公司 一种动态配置图形化接口的方法及装置
US11392485B2 (en) * 2020-06-01 2022-07-19 Cerner Innovation, Inc. Auto test generator
CN112286741A (zh) * 2020-10-09 2021-01-29 湖南中联重科智能技术有限公司 一种硬件测试方法、装置、电子设备及存储介质
CN112996029A (zh) * 2021-04-30 2021-06-18 成都爱瑞无线科技有限公司 用于无线通信的测试方法、测试装置及存储介质
CN113342671B (zh) * 2021-06-25 2023-06-02 海光信息技术股份有限公司 对运算模块进行验证的方法、装置、电子设备和介质

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107656871A (zh) * 2017-09-30 2018-02-02 郑州云海信息技术有限公司 一种基于Postmark的后端存储性能自动化测试方法
CN113590491A (zh) * 2021-08-06 2021-11-02 深圳市共进电子股份有限公司 一种测试平台和产品测试方法

Also Published As

Publication number Publication date
CN115858404A (zh) 2023-03-28

Similar Documents

Publication Publication Date Title
US7917895B2 (en) Automated software testing and validation system
US7681180B2 (en) Parameterized test driven development
Wang et al. Formalizing and integrating the dynamic model within OMT
US7500149B2 (en) Generating finite state machines for software systems with asynchronous callbacks
US7895575B2 (en) Apparatus and method for generating test driver
CN115858404B (zh) 一种基于eda的图形用户界面的测试系统
CN111008154B (zh) 一种基于强化学习的Android应用自动测试方法及系统
CN108763064B (zh) 一种基于黑盒函数与机器学习的代码测试生成方法和装置
EP3693860A1 (en) Generation of test models from behavior driven development scenarios based on behavior driven development step definitions and similarity analysis using neuro linguistic programming and machine learning mechanisms
Pandey et al. Enhancing test case reduction by k-means algorithm and elbow method
CN116776787B (zh) 信号别名的自动识别方法、电子设备和介质
US10268556B2 (en) System and method for simulation results analysis and failures debug using a descriptive tracking header
US20050203717A1 (en) Automated testing system, method and program product using testing map
Seiler et al. Comparing traceability through information retrieval, commits, interaction logs, and tags
CN115659700B (zh) 基于信号依赖关系的波形自动对比分析方法、设备和介质
CN108304330B (zh) 内容提取方法、装置和计算机设备
US6546526B2 (en) Active trace debugging for hardware description languages
JP2010055293A (ja) 検証支援プログラム、検証支援装置、および検証支援方法
US6968523B2 (en) Design method of logic circuit using data flow graph
US6243848B1 (en) Process for analyzing complex structures and system for implementing a process of this type
CN108664383B (zh) 一种控件测试方法及软件自动测试方法
CN117539793B (zh) 一种浏览器ui自动测试的方法、装置及存储介质
US20220327259A1 (en) A method for computer-implemented generation of a state machine from a simulated technical component in a block-based simulation model
EP3989080A1 (en) Data transformation and verification method
CN118012492A (zh) 芯片参考模型文件可用版本确定方法、电子设备和介质

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