| 构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现 |
| |
| 引用本文： | 张端仪,吴翰声. 构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现[J]. 计算机学报, 1993, 0(7) |
| |
| 作者姓名： | 张端仪 吴翰声 |
| |
| 作者单位： | 镇江船舶学院，镇江船舶学院 镇江 212003，镇江 212003 |
| |
| 摘 要： | 本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。
|
| 关 键 词： | 验证测试 伪穷举测试 恒权矢量 测试图生成 内在自测试 |
GENERAL FORMULAE AND PROGRAM IMPLEMENTATION OF UNIVERSAL REDUCED VERIFICATION TEST SET MATRIX U(p,w) |
| |
| Zhang Duanyi and Wu HanshengZhenjiang Shiphuilding Institute,Zhenjiang. GENERAL FORMULAE AND PROGRAM IMPLEMENTATION OF UNIVERSAL REDUCED VERIFICATION TEST SET MATRIX U(p,w)[J]. Chinese Journal of Computers, 1993, 0(7) |
| |
| Authors: | Zhang Duanyi Wu HanshengZhenjiang Shiphuilding Institute Zhenjiang |
| |
| Affiliation: | Zhang Duanyi and Wu HanshengZhenjiang Shiphuilding Institute,Zhenjiang 212003 |
| |
| Abstract: | This paper aims to solve a problem in pseudoexhaustive test technique.The generation relation graph of all vectors of a binary multidimensional space is obtained by a recursive method.On the basis of investigating the properties of the graph,general formulate to construct the optimal universal reduced verification test set matrix U(p,w) are developed.Finally,an appli-.cation program in GCLISP is presented. |
| |
| Keywords: | Verification test pseudoexhaustive test constant weight vectors test pattern generation built-in self-test. |
| 本文献已被 CNKI 等数据库收录！ |
