提出了一种基于穷举和回溯的自反馈测试生成算法,并在Xilinx Virtex-ⅡPro开发环境下实现了测试生成算法.穷举和回溯算法用软件设计实现.算法中状态矩阵的计算和检测用硬件设计实现.系统的整体设计在型号为XC2VP30的实验板上进行了验证.
This article proposed a self-feedback test generation algorithm based on the exhaustion and backtracking,and realized it in the development environment of Xilinx Virtex-Ⅱ Pro.The exhaustion and the backtracking algorithms were realized with the software,while the computation and the examination of state matrix in the algorithm were realized with the hardware.The system was validated on the XC2VP30 experiment board.