RUS  ENG
Full version
JOURNALS // Vestnik Sankt-Peterburgskogo Universiteta. Seriya 10. Prikladnaya Matematika. Informatika. Protsessy Upravleniya // Archive

Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2013 Issue 4, Pages 90–98 (Mi vspui160)

Informatics

Approach to automated testing digital devices

G. S. Lopatkin

St. Petersburg State University, 199034 St. Petersburg, Russia Federation

Abstract: The methodology for automating the process of test development for electronic digital devices is described. The mode based on representation of the device as a software model is suggested. The method for creating a model of input signals is described. Bibliogr. 5. Il. 7.

Keywords: test control, digital devices, modeling, logical interface, software model.

UDC: 530.34.013.4

Received: May 30, 2013



© Steklov Math. Inst. of RAS, 2024