1) random testing model
随机测试模型
3) nonstochastic forecasting model
非随机预测模型
4) random test
随机测试
1.
Technology of Random Test Based on Coverage Driven Verification;
基于CDV的随机测试技术
2.
The whole verification integrated directed functional test and ISS random test into one flow, and located several ordinarily hard-to-discover bugs effectively.
整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误。
3.
And also,it compares coverage of partiton test and random test by using certain test data.
并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优
5) random testing
随机测试
1.
Path-oriented automatic random testing method based on double constraint propagation;
一种基于双约束传播的面向路径自动随机测试方法
2.
The authors compare the partition testing and the random testing under different assumption (Certainty and Uncertainty models).
对划分测试和随机测试在不同的假设模型下（确定模型和不确定模型）进行比较并得出以下结论：在确定失败率的假设下，随机测试优于划分测试；而在不确定模型的假设下，划分测试优于随机测试。
3.
In this paper,we investigate the expected number of failures detected by partition testing and random testing without test cases replacement and put forward a new method to compare the efficacy of partition testing and random testing strategies using the programm reliability after testing.
在测试用例不放回的情况下,给出了经过一次随机测试或划分测试发现软件错误数的概率分布及其期望值,并在此基础上提出了一种比较随机测试和划分测试的方法,即从测试后程序的可靠性这个角度来比较随机测试与划分测试的有效性问题。
6) random censoring test model
随机截尾试验模型
1.
The random censoring test model with incomplete information (IIRCT) is a extension of ordinary random censoring test model.
将带有不完全信息的随机截尾试验模型应用于二元指数分布场合 ,讨论了当相依两部件寿命具有联合二元指数分布时 ,它们组成的并联系统的统计分析问题 ,建立了参数所满足的似然方程组 ,给出了随机模拟数值解例子。
2.
The random censoring test model with incomplete information is further discussed based on the Refs.
在文［１－４］的基础上进一步研究了带有不完全信息的随机截尾试验模型（ＩＲＣＴ）。
补充资料：随机存取机器模型
算法分析与计算复杂性理论中重要的串行计算模型，简称 RAM。引进它是为了便于从理论上分析计算机串行程序所耗费的时间、空间等资源。一个RAM由k个变址器I1,I2,...,Ik、无穷个普通寄存器R0,R1,R2,...和一个有穷长的程序所组成。变址器也是寄存器，每个寄存器中可以存放一个自然数，但只有变址器的内容可以作为间接地址。
RAM的程序使用两种形式的地址。一种是直接地址，形式为Ij(j=1,2,...,k)或Ri(i=0,1,2,...);另一种是间接地址,形式为Ij(j=1,2,...,k)。如果Ij中存的自然数为i，则Ij代表地址Ri。
RAM的指令为下列形式之一:①A←a,表示把地址A的内容改为自然数a;②A←B,表示把地址A的内容改为地址B的内容;③A←B*C,表示把地址B中的内容和地址C中的内容作为运算*之后,送入地址A。这里*可以是自然数的加法、减法、乘法或整数除法。减法的定义为：若a≥b则等于a-b,否则等于0；④A←F(B,C)，此处F是一个可以用多带图灵机器在多项式空间和对数多项式的巡回中实现的变换（见多带图灵机模型）。A、B、C可以是直接地址，也可以是间接地址。A是写入地址,B、C是读出地址。
RAM除了可以用以上的指令编程序外,还可以判断某个寄存器或变址器的内容是否为0，以实现条件转移。
变址器是用来实现间接地址的，所以要求在运算过程中变址器中所存的自然数不大于所用到的普通寄存器数目的某个常数倍。
RAM程序的一个例子是：设n个自然数a1,a2,...,an分别存放在R1,R2,...，Rn中，n存放在R0中,要求把这n个数的和计算出来,结果放在R0中。程序如图。
RAM的资源耗费有两种定义方式,即均匀耗费和对数耗费。均匀的空间耗费是指计算中曾经使用过的寄存器的总数。均匀的时间耗费是指自始至终被执行的指令和转移的总条数。均匀耗费常用于算法分析中。
另一种标准是对数耗费。此时空间耗费指计算中普通寄存器存过的自然数的最大长度之和。时间耗费则指被执行的每条指令的时间耗费之和。而一条指令的时间耗费则被认为与被运算的自然数的长度成正比的。
对于RAM,还可以定义巡回（虚拟的并行时间）。它是计算中周相的总数，而一个周相则是 RAM工作的一个阶段，在此阶段中，没有任何一个普通寄存器先被写入然后又被读出。
RAM的程序使用两种形式的地址。一种是直接地址，形式为Ij(j=1,2,...,k)或Ri(i=0,1,2,...);另一种是间接地址,形式为Ij(j=1,2,...,k)。如果Ij中存的自然数为i，则Ij代表地址Ri。
RAM的指令为下列形式之一:①A←a,表示把地址A的内容改为自然数a;②A←B,表示把地址A的内容改为地址B的内容;③A←B*C,表示把地址B中的内容和地址C中的内容作为运算*之后,送入地址A。这里*可以是自然数的加法、减法、乘法或整数除法。减法的定义为：若a≥b则等于a-b,否则等于0；④A←F(B,C)，此处F是一个可以用多带图灵机器在多项式空间和对数多项式的巡回中实现的变换（见多带图灵机模型）。A、B、C可以是直接地址，也可以是间接地址。A是写入地址,B、C是读出地址。
RAM除了可以用以上的指令编程序外,还可以判断某个寄存器或变址器的内容是否为0，以实现条件转移。
变址器是用来实现间接地址的，所以要求在运算过程中变址器中所存的自然数不大于所用到的普通寄存器数目的某个常数倍。
RAM程序的一个例子是：设n个自然数a1,a2,...,an分别存放在R1,R2,...，Rn中，n存放在R0中,要求把这n个数的和计算出来,结果放在R0中。程序如图。
RAM的资源耗费有两种定义方式,即均匀耗费和对数耗费。均匀的空间耗费是指计算中曾经使用过的寄存器的总数。均匀的时间耗费是指自始至终被执行的指令和转移的总条数。均匀耗费常用于算法分析中。
另一种标准是对数耗费。此时空间耗费指计算中普通寄存器存过的自然数的最大长度之和。时间耗费则指被执行的每条指令的时间耗费之和。而一条指令的时间耗费则被认为与被运算的自然数的长度成正比的。
对于RAM,还可以定义巡回（虚拟的并行时间）。它是计算中周相的总数，而一个周相则是 RAM工作的一个阶段，在此阶段中，没有任何一个普通寄存器先被写入然后又被读出。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条