Title :
Transformation from test language ATLAS to C++
Author :
De-gui, Guo ; Lei, Liu ; Wen-Jin, Li
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
Abstract :
ATLAS is designed to describe tests in terms that are independent of any specific test system, and has been constrained to ensure that it can be implemented on ATE (automatic test equipment). An ATLAS transformation system was designed and implemented. In this paper, we first discuss a transformation technique from standard test language ATLAS to C++ and then present the key methods of this technique. In this system, class is introduced to construct an abstract syntax tree as the intermediate representation of ATLAS. Basing on the test characteristics of ATLAS, we give a search algorithm for device allocation, make use of DFA to describe the state transition rules of the device, and implement the parallelism and timing of the ATLAS bus statement employing the thread and event mechanism provided in Windows API. Furthermore, three languages, device description language, switch description language and ITA description language, are well designed for the device, switch and ITA respectively in the ATE system.
Keywords :
C++ language; automatic test equipment; formal specification; formal verification; program testing; ATLAS transformation system; C++; ITA description language; abstract syntax tree; automatic test equipment; device allocation; device description language; search algorithm; specific test system; switch description language; Automatic test equipment; Automatic testing; Educational institutions; Electronic equipment testing; Knowledge engineering; Military standards; Parallel processing; Switches; System testing; Timing;
Conference_Titel :
Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on
Print_ISBN :
0-7695-2432-X
DOI :
10.1109/CIT.2005.194