摘要
本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。
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.
出处
《计算机学报》
EI
CSCD
北大核心
1993年第7期497-508,共12页
Chinese Journal of Computers
