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.