摘要
ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该算法能够以较高的效率实现静态设备分配.
As a test language of special domain,ATLAS(Abbreviated Test Language for All Systems)is difficult to be implemented for its proper device allocation.This paper proposes a kind of static device allocation algorithm based on the privative heuristic duple-back-tracing searching.Furthermore,according to the character of practical ATE(Automatic Test Equipment),two practicable heuristic functions are provided to guide the process of device allocation.Finally some instances are shown to indicate the algorithm can implement the static device allocation with better efficiency.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第11期2205-2210,共6页
Acta Electronica Sinica
基金
吉林省科技发展计划项目基金(No.20050527)
博士学科点专项科研基金(No.20060183044)
关键词
设备分配
启发函数
双重回溯搜索算法
设备分配请求
device allocation
heuristic function
duple-back-tracing searching algorithm
device allocation request