查询词典 testability

Therefore, a new hypergeometric distribution method is proposed for testability estimation and demonstration. Based on hypergeometric distribution, the maximum likelihood estimate method is applied in point estimation, and the Bayes formula is applied for interval estimation, hence a testability demonstration rule is provided.

基于故障检测成功数的超几何分布，利用极大似然法思想研究了RR(上标 FIC指标的点估计方法，利用贝叶斯公式研究了区间估计方法，并给出了测试性验证规则。

Binomial distribution is preferred in testability demonstration,but it is discrete.Because of calculation difficulty,the sampling plan is usually worked out with some adaptations.

在测试性验证中首选的二项分布是离散取值的，由于计算困难，确定抽样方案通常采用一些变通的方法。

Design for Testability; test selection ; boolean logic ; fault detection ; fault isolation

测试性设计；测试选择；布尔逻辑；故障检测；故障隔离

Design by contract is an important approach to design for testability of software.

合约式设计是一种重要的软件易测试性设计方法。

The modified critical path trace algorithm is employed to improve the pattern testability and compact the test set.

使用简化的临界路径跟踪方法来提高测试码的检测能力，达到压缩测试集的目的。

Traceability and testability of requirements have to be concentrated during requirements elicitation and analysis.

可追溯性和可测性的要求必须集中在需求获取和分析上。

In the 20th century, Potter proposed his criterion of demarcation for science:"The criterion of the scientific status of a theory is its falsifiability, or refutability, or testability."

20世纪波普尔提出了他对科学的分界标准："衡量一种理论的科学地位的是它的可证伪性或可反驳性或可检验性。"

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

This paper proposes a new model and measurement for software testability based on program slicing. In contrast to most traditional ones, it is designed to analyze the testability of a module, rather than that of program locations.

提出了一种利用程序切片技术分析软件可测试性的模型和度量方法，与已有其它方法的最大不同在于它是模块级而不是语句级的可测试性分析。

This paper discusses the feature and factors of software testability,and the method how to improve the design of software testability.

目前在硬件电路的设计时，有许多方法和工具来辅助增加电路的可测试性，从而降低测试工作的强

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。