DocumentCode
1787870
Title
On using program specifications in hardware testing
Author
Shatilov, Nikita P. ; Kozhevnikov, Danil S. ; Kushik, Natalya G. ; Torgaev, S.N.
Author_Institution
Nat. Res. Tomsk State Univ., Tomsk, Russia
fYear
2014
fDate
June 30 2014-July 4 2014
Firstpage
154
Lastpage
157
Abstract
In this paper, we discuss how the hardware might be tested when given a well debugged software tool implementing the same algorithm. In other words, the paper contributes on hardware testing when a specification of a system under test is given in terms of a software implementation. Such software specification is used to generate random test sequences with a step T as well as to perform boundary hardware testing with a step t. Preliminary experimental results on choosing values of integers T and t for the DES cryptosystem are provided in the paper.
Keywords
cryptography; program debugging; program testing; DES cryptosystem; hardware testing; program specifications; random test sequences; software specification; software tool; Cryptography; Educational institutions; Hardware; Software; Software algorithms; Testing; Vectors; DES cryptosystem; software/hardware testing; testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Micro/Nanotechnologies and Electron Devices (EDM), 2014 15th International Conference of Young Specialists on
Conference_Location
Novosibirsk
ISSN
2325-4173
Print_ISBN
978-1-4799-4669-3
Type
conf
DOI
10.1109/EDM.2014.6882500
Filename
6882500
Link To Document