DocumentCode
2828777
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
fYear
2005
fDate
21-23 Sept. 2005
Firstpage
848
Lastpage
852
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on
Print_ISBN
0-7695-2432-X
Type
conf
DOI
10.1109/CIT.2005.194
Filename
1562762
Link To Document