CN117033198B - 一种软件测试方法、装置、设备以及存储介质 - Google Patents
一种软件测试方法、装置、设备以及存储介质 Download PDFInfo
- Publication number
- CN117033198B CN117033198B CN202310994246.4A CN202310994246A CN117033198B CN 117033198 B CN117033198 B CN 117033198B CN 202310994246 A CN202310994246 A CN 202310994246A CN 117033198 B CN117033198 B CN 117033198B
- Authority
- CN
- China
- Prior art keywords
- proving
- test
- interval
- result
- characteristic values
- 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
Links
- 238000013522 software testing Methods 0.000 title claims abstract description 105
- 238000000034 method Methods 0.000 title claims abstract description 73
- 238000012360 testing method Methods 0.000 claims abstract description 203
- 238000012795 verification Methods 0.000 claims abstract description 58
- 238000004422 calculation algorithm Methods 0.000 claims description 52
- 238000004364 calculation method Methods 0.000 claims description 50
- 238000004088 simulation Methods 0.000 claims description 13
- 230000008569 process Effects 0.000 abstract description 30
- 230000006870 function Effects 0.000 description 50
- 238000010586 diagram Methods 0.000 description 6
- 230000008450 motivation Effects 0.000 description 5
- 238000013461 design Methods 0.000 description 3
- 230000006978 adaptation Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000010200 validation analysis Methods 0.000 description 2
- 239000002699 waste material Substances 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000001186 cumulative effect Effects 0.000 description 1
- 230000003247 decreasing effect Effects 0.000 description 1
- 238000005315 distribution function Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000002474 experimental method Methods 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
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/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/3692—Test management for test results analysis
-
- 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)
- 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)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
本发明公开了一种软件测试方法、装置、设备以及存储介质,涉及软件测试以及区块链技术领域,其中方法包括:根据指令从测试区间中获取测试子区间;利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;本发明中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少了证明过程的开销,以及能够有效防止软件测试过程中人为干预造成的错误,提升软件测试效率。
Description
技术领域
本发明涉及软件测试以及区块链技术领域,特别涉及一种软件测试方法、装置、设备以及存储介质。
背景技术
软件测试,描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。换句话说,软件测试是一种实际输出与预期输出之间的审核或者比较过程,即在规定的条件下对程序进行操作,以发现程序错误,衡量软件质量,并对其是否能满足设计要求进行评估的过程。
但目前现有的软件测试方法,存在软件测试平台数字记录可变能够被伪造、人为干预、软件测试错误发生率高、软件测试的安全性较差等问题,以及由于软件测试管理体系还不够完善,导致在软件测试期间,存在一定量的输入等效的测试案例,产生相同的测试结果即重复测试,造成资源浪费。即便存在应用于区块链的工作量证明机制进行软件测试,但传统的工作量证明只能展示一项任务的结果,无法体现一系列成功的任务,且需要智能合约的应用,证明过程的开销大,证明成本高,软件测试效率较低。
发明内容
本发明的目的是提供一种软件测试方法、装置、设备以及存储介质,本发明中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
依据本发明的一个方面,本发明提供了一种软件测试方法,应用于第一设备,包括:
根据指令从测试区间中获取测试子区间;
利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
可选地,所述利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真,包括:
利用软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;
若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;
根据所述机器状态序列、所述特征值和所述测试算法,利用哈希函数进行计算得到计算结果;
确定所述计算结果的数值是否小于预设数值;
相应的,所述将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证,包括:
若所述数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
可选地,所述利用软件测试算法计算所有的所述特征值之前,还包括:
设置执行所述软件测试算法的执行次数。
可选地,所述设置执行所述软件测试算法的执行次数,包括:
利用负二项分布进行软件模拟测试得到模拟测试结果;
根据所述模拟测试结果,设置执行所述软件测试算法的执行次数。
本发明还提供一种软件测试方法,应用于第二设备,包括:
接收第一设备发送的所述证明区间;
利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;
若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
可选地,所述应利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,包括:
确定所述证明区间中的所述特征值是否为所述测试区间中的特征值;
若为所述测试区间中的特征值,利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果。
本发明提供一种软件测试装置,应用于第一设备,包括:
获取模块,用于根据指令从测试区间中获取测试子区间;
软件测试模块,用于利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
发送模块,用于若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
本发明还提供一种软件测试装置,应用于第二设备,包括:
接收模块,用于接收第一设备发送的所述证明区间;
验证模块,用于利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
判断模块,用于若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
本发明提供一种软件测试设备,包括:
第一设备,用于根据指令从测试区间中获取测试子区间;利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;
第二设备,用于接收第一设备发送的所述证明区间;利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
本发明提供一种计算机可读存储介质,所述计算机可读存储介质中存储有计算机可执行指令,所述计算机可执行指令被处理器加载并执行时,实现如上述所述软件测试方法的步骤。
可见,本发明中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。本申请还提供一种软件测试装置、设备及计算机可读存储介质,具有上述有益效果。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据提供的附图获得其他的附图。
图1为本发明实施例所提供的一种软件测试方法的流程图;
图2为本发明实施例所提供的一种具体的软件测试方法的流程图;
图3为本发明实施例所提供的一种软件测试装置的结构框图;
图4为本发明实施例所提供的另一种软件测试方法的流程图;
图5为本发明实施例所提供的另一种软件测试装置的结构框图;
图6为本发明实施例所提供的一种软件测试设备的结构框图。
具体实施方式
为使本发明实施例的目的、技术方案和优点更加清楚,下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
软件测试,描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。换句话说,软件测试是一种实际输出与预期输出之间的审核或者比较过程,即在规定的条件下对程序进行操作,以发现程序错误,衡量软件质量,并对其是否能满足设计要求进行评估的过程。
但目前现有的软件测试方法,存在软件测试平台数字记录可变能够被伪造、人为干预、软件测试错误发生率高、软件测试的安全性较差等问题,以及由于软件测试管理体系还不够完善,导致在软件测试期间,存在一定量的输入等效的测试案例,产生相同的测试结果即重复测试,造成资源浪费。即便存在应用于区块链的工作量证明机制进行软件测试,但传统的工作量证明只能展示一项任务的结果,无法体现一系列成功的任务,且需要智能合约的应用,证明过程的开销大,证明成本高,软件测试效率较低。
鉴于此,本发明提供了一种软件测试方法,本发明中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
下面进行详细介绍,请参考图1,图1为本发明实施例所提供的一种软件测试方法的流程图,本发明实施例一种软件测试方法,应用于第一设备,本发明实施例中对第一设备不做限制,可以为证明者,也可以为服务端设备例如软件供应商的设备,可以包括:
步骤S101:根据指令从测试区间中获取测试子区间。
本发明实施例中指令的形式不进行限定,可以为一小段数据代码,可以为一个特定的高电平或低电平,或者可以是一个标识等,可以根据实际情况确定所需形式。
本发明实施例中可以根据指令从测试区间中获取测试子区间,需要说明的是,测试区间为测试算法的可数输入定义域,包含多个特征值。可以根据指令对测试区间进行选取得到测试子区间,即测试子区间为测试区间的子集,测试区间可以包含一个或多个测试子区间。其中,对于选取的方式不做限制,可以随机从测试区间中选取一部分特征值作为测试子区间,也可以按照预设选取范围对测试区间进行区间选取,将选取的区间作为测试子区间。
步骤S102:利用验证函数计算测试子区间中所有的特征值,得到与特征值对应的证明结果,并确定证明结果是否为真。
本发明实施例中验证函数可以由哈希函数和测试算法等组成,用于与第二设备进行验证证明,证明结果可以由哈希函数的计算结果和测试算法的测试结果等组成。
需要说明的是,本发明实施例中用于确定证明结果是否为真的方法,可以为在特征值属于测试区间内的同时,确定计算结果是否小于预设数值且测试结果是否为真,当特征值属于测试区间内,计算结果小于预设数值且测试结果为真时,证明结果为真,否则证明结果不为真,即任意一个判断条件不满足时,证明结果都不为真。具体的,本发明实施例中可以先利用测试算法计算测试子区间中所有的特征值,得到测试结果,并判断测试结果是否为真,在测试结果为真后,利用哈希函数进行计算得到计算结果,并判断确定计算结果的数值是否小于预设数值,当数值小于预设数值时,此时证明结果为真。当断测试结果不为真时,返回一个反例,并进行报告。
需要说明的是,本发明实施例中为防止证明过程中发现的反例被隐藏保密,本发明实施例中提出激励措施促使进行报告反例,具体的激励措施可以包含正向激励、正向惩罚、负向激励和负向惩罚等,其中,正向激励为如果发现并及时报告了反例,则给予奖金。正向惩罚为如果存在测试人员未报告的反例,则实施惩罚例如罚款等。负向激励为如果发现并及时报告了反例,则不会受到惩罚。负向惩罚为如果证明者声称在测试区间上测试了没有反例,而恰好存在反例,则撤销原有工作量证明的认证。
本发明实施例中可以利用验证函数计算测试子区间中所有的特征值,得到与特征值对应的证明结果,并确定证明结果是否为真,其中由于验证函数中存在哈希函数,这样在搜索哈希值时将会提供验证的证据,所以工作量证明过程中不需要智能合约,提升了软件测试效率。
步骤S103:若证明结果为真,则将与证明结果对应的特征值存入证明区间,并将证明区间发送至第二设备完成测试认证。
本发明实施例中对第二设备不做限制,可以为验证者,也可以为客户端设备例如软件需求方的设备,可以验证软件供应商是否已完成相关产品系列软件测试的工作量。
本发明实施例中证明区间包含在测试区间中,即证明区间为测试区间的子集,包含多个特征值,需要说明的是,第一设备与第二设备可以共享证明区间中包含的所有特征值。
本发明实施例中可以在证明结果为真后,则将与证明结果对应的特征值存入证明区间,并将证明区间发送至第二设备完成测试认证,使得第二设备后续可以仅验证证明区间的特征值进行工作量测试认证,有效减少证明过程的开销,降低了证明成本,提升了软件测试效率。
请参考图2,本发明实施例所提供的一种具体的软件测试方法的流程图,相对于上一实施例,本实施例对技术方案作了进一步的具体说明。
步骤S201:根据指令从测试区间中获取测试子区间。
本发明实施例中可以在根据指令从测试区间中获取测试子区间之前,设置机器模型、软件测试算法、哈希函数、常数∈∈[0,1]、κ∈2λ和ν>0等参数,其中,∈为一个常数,用于第二设备判断是否接受验证的条件,κ为一个整数,用于选定第一设备和第二设备的证明区间,ν为一个整数,用于要求证明区间包含r个不同元素,并且r≥ν。本发明实施例中通过预先设置参数的方式,保证了软件测试的可靠性和准确性。
步骤S202:利用软件测试算法计算所有的特征值,得到与特征值一一对应的测试结果,并确定测试结果是否为真。然后执行步骤S203:若测试结果为真,则利用机器模型对特征值进行计算得到机器状态序列。
本发明实施例中软件测试算法为具有可数输入域U的算法P,其中可数输入域可以为测试区间,该算法的编码[P]为位串,含有参数λ,且λ>0,表示函数输出的位串长度。
需要说明的是,本发明实施例中可以设置本发明实施例中可以设置执行软件测试算法的执行次数,具体地,可以利用负二项分布进行软件模拟测试得到模拟测试结果,然后根据模拟测试结果,设置执行所述软件测试算法的执行次数。例如假定可以假设证明者执行软件测试算法(P)的试验执行次数是整数值随机变量(N),当验证者接收到证明者发送的共享区间(V)时,确定N大于等于测试区间(U)中元素个数的概率为q,即证明者尝试了U中的所有值,若如果q高于1-∈,则验证者接受测试认证,否则验证者不接受测试认证,当证明者以相等的概率P=κ/2λ选择每个值x∈U,并且没有找到反例,那么N的分布由参数p和r的负二项式分布精确给出。
具体的,负二项式分布为模拟了在指定试验成功次数(表示为r)发生之前,一系列独立且相同分布的伯努利试验中的试验成功的次数。如果在以事件成功概率p迭代执行伯努利试验时观察到r次成功试验发生,则有n次试验的概率为:
其中,Pr表示试验概率,n为软件测试的实验次数,p为验证者进行软件测试,测试成功的概率,r为指定试验成功次数,需要说明的是,该分布是单峰的峰值位于具有有限平均值/>并且具有有限的方差进一步,本发明实施例中需要根据上述公式得到证明者尝试所有测试区间的概率(q),为找到q,满足Pr[N≥u]≥q,可以通过累积分布函数进行计算,具体的公式如下:
Pr[N≥u]=q=1-Pr[N<u]
需要说明的是,基于上述公式以及2F1高斯超几何函数,得到q的计算公式,具体如下:
其中,2F1为用高斯超几何函数,具体公式如下:
其中,(i)n=i(i+1)...(i+n-1)是Pochhammer(阶乘幂)符号,i为高斯函数中的a,b,c,需要说明的是,本发明实施例中将a替换为u-r,将b替换为1-r,将c替换为1+u-r,将x替换为1-p,进行计算得到q的数值。
进一步,本发明实施例中还可以利用二阶级数展开得到q的数值,具体的例如,计算q的公式在p=0附近的二阶级数展开如下:
其中,O(p2)表示为p2的无穷小。例如假设u=20,r=10,p=10-3,得到q的近似值为1-9.162218.10-26,精确值为
或者为1-9.162494.10-26-26。需要说明的是,本发明实施例中可以假设输入域U中的x是大数,因此u≈u±1,r≈r±1,计算q的公式的二阶级数展开式可以简化如下:
根据上述公式得到q=1-9.228.10-26。基于二阶级数展开,进一步,计算q的三阶级数展开式如下:
其中,O(p3)表示为p3的无穷小。需要说明的是,本发明实施例中选择测试成功的概率(p)的方法不做限制,可以为若需要在u=20,r=3时证明被接受,则可以根据p在区间[0,1]上的递减函数:
q=(1-p)17(1+17p+153p2)
求解q=1-∈,其中∈=2-16得出p=0.002532。也可以根据r=3,∈=2-16相同的计算中u=20,根据如下公式,确定p的数值:
q=(1-p)197(1+197p+19503p2)
基于上述公式,计算得到p=0.00023。
本发明实施例中机器模型可以为机器M(TinyRAM),由Ben-Sasson等人为证明程序执行的目的而引入的机器模型,它更接近真实,能够在大多数计算机体系结构上翻译和编译,并拥有完整的规范和一个小的指令集,且在理论上更容易处理,由两个整数(W,K)和一个状态(P,pc,{r1,…,rk},f,mem,x)构成,其中,P是要执行的程序即软件测试算法,被视为基本操作的只读序列,pc是一个W位整数,表示当前正在执行的指令,{r1,…,rk}是W位寄存器,f是一个1位标志,mem是W位数组,长度为2W,x是一串W位整数,代表输入的特殊值。具体的,本发明实施例中机器模型的每个时钟周期中,可以获取pc指示的P中的指令,并在必要时消耗输入x即特征值,存在一个特殊的输出指令answer,该指令含有参数A,并代表程序P的返回值,A=0表示接受。需要说明的是,程序P本质上利用TinyRAM汇编写的,其中,在执行P之前,所有的寄存器和存储单元被置零,标志被设置为零,程序计数器pc被设置为零。
本发明实施例中通过负二项分布模拟任务成功可能性,在指定试验成功次数发生之前,迭代执行一系列独立且相同分布的伯努利试验可实现展示一系列成功任务的结果,而不是仅是一项任务的结果,并重新计算执行了给定数量任务的概率,提高了软件测试的精确度。
步骤S204:根据机器状态序列、特征值和测试算法,利用哈希函数进行计算得到计算结果。根据计算结果执行步骤S205:确定计算结果的数值是否小于预设数值。然后执行步骤S206:若数值小于预设数值,则将与计算结果对应的特征值存入证明区间,并将证明区间发送至第二设备完成测试认证。
本发明实施例中哈希函数可以为单向哈希函数H:0,1*→0,1λ,可以将机器状态序列、特征值和测试算法带入哈希函数进行计算得到计算结果。需要说明的是,预设数值为预先设置的κ,κ为一个整数,用于选定第一设备和第二设备的证明区间,其中,本发明实施例中可以确定计算结果的数值是否小于预设数值,若数值小于预设数值,则将与计算结果对应的特征值存入证明区间,并将证明区间发送至第二设备完成测试认证,若数值不小于预设数值,则不将特征值存入证明区间。
基于上述实施例,本发明实施例中第一设备与第二设备存在共享输入的证明区间,第二设备有令人信服的统计证据认证第一设备尝试了所有的值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率,同时可以通过负二项分布模拟任务成功可能性,在指定试验成功次数发生之前,迭代执行一系列独立且相同分布的伯努利试验可实现展示一系列成功任务的结果,而不仅是一项任务的结果,并重新计算执行了给定数量任务的概率,提高了软件测试的精确度。
下面通过具体的例子说明上述过程,该例子中第一设备为证明者,第二设备为验证者,存在软件测试算法P(x),哈希函数H(x),具体过程如下:
1、证明者选择对于每个x∈U',进行软件测试得到P(x)。
2、判断P(x)是否为真,若不为真,则返回一个返例,即x∈U,P(x)=False,若为真即P(x)=True,则在机器M上用输入x运行算法(P),收集机器状态序列M(x)。
3、利用哈希函数,计算H([P],M(x),x)的计算结果,并判断计算结果是否小于预设数值(κ),若小于κ,则将x加入证明区间(V)中,并将证明区间发送至验证者。
本发明实施例中第一设备与第二设备存在共享输入的证明区间,第二设备有令人信服的统计证据认证第一设备尝试了所有的值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
下面对本发明实施例所提供的一种软件测试装置进行介绍,下文描述的软件测试装置与上文描述的软件测试方法可相互对应参照。
请参考图3,图3为本发明实施例所提供的一种软件测试装置的结构框图,该装置应用于第一设备,可以包括:
获取模块10,用于根据指令从测试区间中获取测试子区间;
软件测试模块20,用于利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
发送模块30,用于若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
基于上述实施例,所述软件测试模块20,可以包括:
测试单元,用于利用软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;
第一计算单元,用于若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;
第二计算单元,用于根据所述机器状态序列、所述特征值和所述测试算法,利用哈希函数进行计算得到计算结果;
判断单元,用于确定所述计算结果的数值是否小于预设数值。
相应的,所述发送模块30,可以包括:
发送单元,用于若所述数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
基于上述任意实施例,所述测试单元之前,还可以包括:
设置单元,用于设置执行所述软件测试算法的执行次数。
基于上述任意实施例,所述设置单元,可以包括:
模拟子单元,用于利用负二项分布进行软件模拟测试得到模拟测试结果;
设置子单元,用于根据所述模拟测试结果,设置执行所述软件测试算法的执行次数。
本发明实施例中利用发送模块30中的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率,以及通过模拟子单元进行负二项分布模拟,得到任务成功可能性,即在指定试验成功次数发生之前,迭代执行一系列独立且相同分布的伯努利试验,重新计算执行了给定数量任务的概率,实现了展示一系列成功任务的结果,而不仅是一项任务的结果,提高了软件测试的精确度。
请参考图4,图4为本发明实施例所提供的另一种软件测试方法的流程图,应用于第二设备,本发明实施例中对第二设备不做限制,可以为验证者,也可以为客户端设备例如软件使用方,可以包括:
步骤S401:接收第一设备发送的证明区间。
步骤S402:利用验证函数计算证明区间中所有的特征值,得到与特征值对应的证明结果,并确定证明结果是否为真。
本发明实施例中验证函数可以由哈希函数和测试算法等组成,用于第二设备进行验证证明,证明结果可以由哈希函数的计算结果和测试算法的测试结果等组成。
需要说明的是,本发明实施例中可以先确定证明区间中的特征值是否为所述测试区间中的特征值,若为测试区间中的特征值,利用验证函数计算证明区间中所有的特征值,得到与所述特征值对应的证明结果,若不为测试区间中的特征值,则拒绝接受认证。
需要说明的是,本发明实施例中可以利用验证函数计算证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定证明结果是否为真。具体的,可以为先利用测试算法计算得到测试结果,然后根据测试结果,利用哈希函数计算得到计算结果,并确定证明结果中的计算结果是否小于预设数值且测试结果是否为真,当特征值属于测试区间内,计算结果小于预设数值且测试结果为真时,证明结果为真,否则证明结果不为真,即任意一个判断条件不满足时,证明结果都不为真。例如存在包含r个不同元素的验证区间(V)和验证函数Sx,当满足如下的条件时,证明结果为真,具体条件如下:
S(x):={x∈UandH([P],M(x),x)<κandP(x)=True}
需要说明的是,P(x)为软件测试算法,H(x)为哈希函数,M(x)为机器状态序列,x∈U证明x属于V的同时且x属于U,H[P],M(x),x)为将测试算法、机器状态序列和特殊值为参数,利用哈希函数进行计算得到计算结果,并判断计算结果是否小于预设数值(κ)。其中,证明区间(V)的范围小于可数输入域(U)的范围。当验证函数中任意一个条件不满足时,具体的例如当时,证明者使用约定域之外的输入执行计算,要求证明者提供更多的x,当H([P],M(x),x)≥κ时,证明者用x∈U,但是/>进行计算,要求证明者提供更多的x,或者当P(x)=False,证明者提供验证者一个反例(x∈U,P(x)=False)。由于“P(x)for all x∈U”不成立,因此可以使用其他不同的算法程序的返回值实现接受,或者拒绝整个计算。
步骤S403:若证明结果为真,则确定所有特征值的总数值是否超过预设数值;然后执行步骤S404:若总数值超过预设数值,则第二设备接受测试认证。
本发明实施例中可以在对验证结果进行是否为真判断,若证明结果不为真,则不接受测试认证,若证明结果为真,则确定证明区间中所有特征值的总数值是否超过预设数值(ν),若总数值超过预设数值,则第二设备接受测试认证,若总数值未超过预设数值,则第二设备不接受测试认证,表明第一设备未能提供足够的证据,要求第一设备提供更多的数值。例如验证者在接收到包含r个不同元素的证明区间(V)时,检查每个x∈V,如果对于S(x):={x∈UandH([P],M(x),x)<κandP(x)=True}这些条件都成立,并且r≥v,则验证者接受,否则拒绝。
需要说明的是,本发明实施例中对于预设数值的设置不做限制,可以根据实际使用情况进行设置,也可以由设计人员根据试验预先设置。例如可以设可数输入域中元素(u)的总数为20,验证者进行软件测试,测试成功的概率(p)为0.1,假设证明者提供证明区间中元素(r)的数值,则证明者尝试了所有u值的概率(q)为如下所示:
q(r=1)=0.13
q(r=2)=0.42
q(r=3)=0.70
q(r=5)=0.96
q(r=10)=1-3.9.10-6
q(r=15)=1-2.6.10-12
q(r=19)=1-10-19
此外,有q(r=20)=1。因此,如果∈=2-16≈1.5.10-5则只要r≥10,验证者就接受该证明,此时ν=10。
还可以假设p=0.001,则证明者尝试了所有u值的概率为如下所示:
q(r=1)=0.98
q(r=2)=1-1.7.10-4
q(r=3)=1-9.5.10-7
q(r=5)=1-1.1.10-11
q(r=10)=1-9.1.10-26
q(r=15)=1-3.8.10-42
q(r=19)=1-10-57
意味着只要r≥3,验证者即接受证明,此时ν=10,基于此可以将10设置为预设数值。
基于上述实施例,本发明实施例中基于证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
下面对本发明实施例所提供的一种软件测试装置进行介绍,下文描述的软件测试装置与上文描述的软件测试方法可相互对应参照。
请参考图5,图5为本发明实施例所提供的一种软件测试装置的结构框图,该装置应用于第二设备,可以包括:
接收模块11,用于接收第一设备发送的所述证明区间;
验证模块12,用于利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
判断模块13,用于若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
基于上述实施例,所述验证模块12,可以包括:
判断单元,用于确定所述证明区间中的所述特征值是否为所述测试区间中的特征值;
验证单元,用于若为所述测试区间中的特征值,利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果。
本发明实施例中通过利用验证模块12根据证明区间进行测试验证,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本。
请参考图6,图6为本发明实施例所提供的一种软件测试设备的结构框图,该设备包括:
第一设备21,用于根据指令从测试区间中获取测试子区间;利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;
第二设备22,用于接收第一设备发送的所述证明区间;利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
本发明实施例中第一设备21可以为证明者,也可以为服务端设备例如软件供应商的设备,第二设备22可以为验证者,也可以为客户端设备例如软件使用方,第二设备用于验证第一设备是否完成软件测试的工作量。
基于上述实施例,所述第一设备21,可以利用软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;根据所述机器状态序列、所述特征值和所述测试算法,利用哈希函数进行计算得到计算结果;确定所述计算结果的数值是否小于预设数值;若所述数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
本发明实施例中可以设置执行所述软件测试算法的执行次数,具体的可以利用负二项分布进行软件模拟测试得到模拟测试结果;根据所述模拟测试结果,设置执行所述软件测试算法的执行次数。
基于上述任意实施例,所述第二设备22,可以确定所述证明区间中的所述特征值是否为所述测试区间中的特征值;若为所述测试区间中的特征值,利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果。
本发明实施例中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
本发明实施例还提供一种计算机可读存储介质,计算机可读存储介质中存储有计算机可执行指令,计算机可执行指令被处理器加载并执行时,实现根据指令从测试区间中获取测试子区间;利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。本发明实施例中由于第一设备与第二设备存在共享输入的证明区间,使得第二设备有令人信服的统计证据认证第一设备尝试了所有的特征值,不需要对所有特征值进行验证,有效减少证明过程的开销,降低了证明成本,以及能够有效防止软件测试过程中人为干预造成的错误,提升了软件测试效率。
说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似部分互相参见即可。对于实施例公开的装置而言,由于其与实施例公开的方法相对应,所以描述的比较简单,相关之处参见方法部分说明即可。
专业人员还可以进一步意识到,结合本文中所公开的实施例描述的各示例的单元及算法步骤,能够以电子硬件、计算机软件或者二者的结合来实现,为了清楚地说明硬件和软件的可互换性,在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出本发明的范围。
结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块,或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。
以上对本发明所提供的一种软件测试方法、装置、设备以及存储介质进行了详细介绍。本文中应用了具体个例对本发明的原理及实施方式进行了阐述,以上实施例的说明只是用于帮助理解本发明的方法及其核心思想。应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明原理的前提下,还可以对本发明进行若干改进和修饰,这些改进和修饰也落入本发明权利要求的保护范围内。
Claims (9)
1.一种软件测试方法,其特征在于,应用于第一设备,包括:
根据指令从测试区间中获取测试子区间;所述测试区间为软件测试算法的可数输入定义域,包含多个特征值;
利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;
其中,所述利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真,包括:
利用所述软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;
若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;
根据所述机器状态序列、所述特征值和所述软件测试算法,利用哈希函数进行计算得到计算结果;
确定所述计算结果的数值是否小于预设数值;
相应的,所述将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证,包括:
若所述计算结果的数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
2.如权利要求1所述的一种软件测试方法,其特征在于,所述利用软件测试算法计算所有的所述特征值之前,还包括:
设置执行所述软件测试算法的执行次数。
3.如权利要求2所述的一种软件测试方法,其特征在于,所述设置执行所述软件测试算法的执行次数,包括:
利用负二项分布进行软件模拟测试得到模拟测试结果;
根据所述模拟测试结果,设置执行所述软件测试算法的执行次数。
4.一种软件测试方法,其特征在于,应用于第二设备,包括:
接收第一设备发送的证明区间;其中,所述证明区间为利用权利要求1至3任一项所述的应用于第一设备的软件测试方法得到的证明区间;
利用验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;其中,所述预设数值为权利要求1至3任一项所述的预设数值;
若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
5.如权利要求4所述的一种软件测试方法,其特征在于,所述利用验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,包括:
确定所述证明区间中的所述特征值是否为测试区间中的特征值;所述测试区间为软件测试算法的可数输入定义域,包含多个特征值;
若为所述测试区间中的特征值,利用所述验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果。
6.一种软件测试装置,其特征在于,应用于第一设备,包括:
获取模块,用于根据指令从测试区间中获取测试子区间;所述测试区间为软件测试算法的可数输入定义域,包含多个特征值;
软件测试模块,用于利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
发送模块,用于若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;
其中,所述软件测试模块,用于执行:
利用所述软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;
若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;
根据所述机器状态序列、所述特征值和所述软件测试算法,利用哈希函数进行计算得到计算结果;
确定所述计算结果的数值是否小于预设数值;
相应的,所述发送模块用于执行:若所述计算结果的数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证。
7.一种软件测试装置,其特征在于,应用于第二设备,包括:
接收模块,用于接收第一设备发送的所述证明区间;其中,所述证明区间为利用权利要求1至3任一项所述的应用于第一设备的软件测试方法得到的证明区间;
验证模块,用于利用验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;
判断模块,用于若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;其中,所述预设数值为权利要求1至3任一项所述的预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
8.一种软件测试设备,其特征在于,包括:
第一设备,用于根据指令从测试区间中获取测试子区间;所述测试区间为软件测试算法的可数输入定义域,包含多个特征值;利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;其中,所述利用验证函数计算所述测试子区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真,包括:利用所述软件测试算法计算所有的所述特征值,得到与所述特征值一一对应的测试结果,并确定所述测试结果是否为真;若所述测试结果为真,则利用机器模型对所述特征值进行计算得到机器状态序列;根据所述机器状态序列、所述特征值和所述软件测试算法,利用哈希函数进行计算得到计算结果;确定所述计算结果的数值是否小于预设数值;相应的,所述将与所述证明结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证,包括:若所述计算结果的数值小于所述预设数值,则将与所述计算结果对应的所述特征值存入证明区间,并将所述证明区间发送至第二设备完成测试认证;
第二设备,用于接收第一设备发送的证明区间;其中,所述证明区间为利用权利要求1至3任一项所述的应用于第一设备的软件测试方法得到的证明区间;利用验证函数计算所述证明区间中所有的特征值,得到与所述特征值对应的证明结果,并确定所述证明结果是否为真;若所述证明结果为真,则确定所有所述特征值的总数值是否超过预设数值;其中,所述预设数值为权利要求1至3任一项所述的预设数值;若所述总数值超过所述预设数值,则所述第二设备接受测试认证。
9.一种计算机可读存储介质,其特征在于,所述计算机可读存储介质中存储有计算机可执行指令,所述计算机可执行指令被处理器加载并执行时,实现如权利要求1至5任一项所述软件测试方法的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310994246.4A CN117033198B (zh) | 2023-08-09 | 2023-08-09 | 一种软件测试方法、装置、设备以及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202310994246.4A CN117033198B (zh) | 2023-08-09 | 2023-08-09 | 一种软件测试方法、装置、设备以及存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN117033198A CN117033198A (zh) | 2023-11-10 |
CN117033198B true CN117033198B (zh) | 2024-05-31 |
Family
ID=88642380
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202310994246.4A Active CN117033198B (zh) | 2023-08-09 | 2023-08-09 | 一种软件测试方法、装置、设备以及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN117033198B (zh) |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102010014720A1 (de) * | 2010-04-12 | 2011-12-15 | Iav Gmbh Ingenieurgesellschaft Auto Und Verkehr | Verfahren zum Verifizieren eines aus einem Quellmodell generierten Zielprogramms |
CN108322304A (zh) * | 2018-02-28 | 2018-07-24 | 北京比特大陆科技有限公司 | 工作量证明的计算方法和装置、电子设备、程序和介质 |
US10809992B1 (en) * | 2019-04-26 | 2020-10-20 | Hitachi, Ltd. | Method and apparatus for continuous delivery of permissioned blockchain application |
CN114499885A (zh) * | 2022-02-14 | 2022-05-13 | 中国农业银行股份有限公司 | 一种工作量证明的方法及*** |
CN115687474A (zh) * | 2022-10-26 | 2023-02-03 | 北京航空航天大学 | 一种面向PoW区块链的跨链验证*** |
CN116072197A (zh) * | 2021-10-29 | 2023-05-05 | 鲸链科技股份有限公司 | 基于晶片堆叠架构的计算机***和存储器测试方法 |
CN116185878A (zh) * | 2023-04-23 | 2023-05-30 | 深圳市一航网络信息技术有限公司 | 基于区块链技术的软件认证测试技术平台 |
-
2023
- 2023-08-09 CN CN202310994246.4A patent/CN117033198B/zh active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102010014720A1 (de) * | 2010-04-12 | 2011-12-15 | Iav Gmbh Ingenieurgesellschaft Auto Und Verkehr | Verfahren zum Verifizieren eines aus einem Quellmodell generierten Zielprogramms |
CN108322304A (zh) * | 2018-02-28 | 2018-07-24 | 北京比特大陆科技有限公司 | 工作量证明的计算方法和装置、电子设备、程序和介质 |
US10809992B1 (en) * | 2019-04-26 | 2020-10-20 | Hitachi, Ltd. | Method and apparatus for continuous delivery of permissioned blockchain application |
CN116072197A (zh) * | 2021-10-29 | 2023-05-05 | 鲸链科技股份有限公司 | 基于晶片堆叠架构的计算机***和存储器测试方法 |
CN114499885A (zh) * | 2022-02-14 | 2022-05-13 | 中国农业银行股份有限公司 | 一种工作量证明的方法及*** |
CN115687474A (zh) * | 2022-10-26 | 2023-02-03 | 北京航空航天大学 | 一种面向PoW区块链的跨链验证*** |
CN116185878A (zh) * | 2023-04-23 | 2023-05-30 | 深圳市一航网络信息技术有限公司 | 基于区块链技术的软件认证测试技术平台 |
Non-Patent Citations (3)
Title |
---|
Blockchain-based Marketplace for Software Testing;Yu Wang等;《2019 17th International Conference on Privacy, Security and Trust (PST)》;20200106;1-3 * |
基于以太坊的区块链共识算法研究与实现;胡倩;《中国优秀硕士学位论文全文数据库信息科技辑》;20211015;I138-47 * |
基于可满足性问题的有用工作量证明共识机制;萧梓健等;《软件导刊 》;20200815;72-75 * |
Also Published As
Publication number | Publication date |
---|---|
CN117033198A (zh) | 2023-11-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Demirtas et al. | Simulation of massive public health data by power polynomials | |
CN110083514B (zh) | 软件测试缺陷评估方法、装置、计算机设备及存储介质 | |
CN101923615B (zh) | 一种基于灰色模糊综合评价的信任量化方法 | |
Kalai et al. | Calibrated forecasting and merging | |
Fiondella et al. | Optimal allocation of testing effort considering software architecture | |
CN112613601A (zh) | 神经网络模型更新方法、设备及计算机存储介质 | |
Forthmann et al. | On the conceptual overlap between the fluency contamination effect in divergent thinking scores and the chance view on scientific creativity | |
CN111415027A (zh) | 构建件量预测模型的方法和装置 | |
CN117932973B (zh) | 航天器地面等效性试验评估方法 | |
CN117033198B (zh) | 一种软件测试方法、装置、设备以及存储介质 | |
Kusuma et al. | The Implementation of the Black Box Method for Testing Smart Hajj Application Ministry of Religion | |
CN110516475A (zh) | 一种数据处理方法、装置及服务器 | |
CN114548700A (zh) | 建筑工程信用模型的生成方法及装置 | |
JP7443218B2 (ja) | データ処理装置、モデル生成装置、データ処理方法、モデル生成方法、及びプログラム | |
CN112418819A (zh) | 用于建筑企业诚信管理的区块链*** | |
Insua et al. | Bayesian forecasting for accident proneness evaluation | |
CN110502736B (zh) | 一种总线数据解析方法及装置 | |
CN113987328A (zh) | 一种题目推荐方法、设备、服务器及存储介质 | |
CN114242181A (zh) | 沙漠砂混凝土强度预测模型训练方法、装置、设备及介质 | |
CN113159537A (zh) | 电网新技术项目的评估方法、装置和计算机设备 | |
CN113065793A (zh) | 一种测评方法、装置、电子设备及可读存储介质 | |
CN117112847B (zh) | 一种基于社区模型的图数据库的数据生成方法及装置 | |
CN112215424A (zh) | 医疗指标预测方法、装置、电子设备及存储介质 | |
Amelin | Monte Carlo simulation in engineering | |
CN116298930B (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 |