本文给出了一处基于代数学和拓扑学技术的自动测试向量生成系统。其中采用了电路分块，可测性度量，ｑ值函数，修正试探法，交互性故障模拟等......

Lne justification is a basic factor in affecting the efficiency of algorithms for test generation.The existence of recon......