Title :
The Denotational Semantics of the Signal Statement in ATLAS
Author :
De-gui, Guo ; Lei, Liu
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun
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. In this language, the semantics of signal statements is far different from that of the traditional programming languages. First, the performance of signal statements is to transmit the signals between the test devices and UUTs, according to which the ways of semantic description in the course of devices allocation are given; second, the transmission of the signals is realized by changing the state of test devices, then following the semantic description of device state which includes the state of device operation, the state of the device attributes and the connection state; last, the denotational semantics of the single-action signal statements are given based on the semantics of the device allocation and the state of test devices
Keywords :
automatic test software; high level languages; programming language semantics; ATE; ATLAS; denotational semantics; device attributes; devices allocation; signal statement; test devices; test system; Automatic testing; Computer languages; Computer science; Educational institutions; Educational technology; Electronic equipment testing; Military standards; Standards publication; Switches; System testing;
Conference_Titel :
Software Engineering Research, Management and Applications, 2006. Fourth International Conference on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-2656-X
DOI :
10.1109/SERA.2006.66
