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
fDate :
June 30 2014-July 4 2014
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;
Conference_Titel :
Micro/Nanotechnologies and Electron Devices (EDM), 2014 15th International Conference of Young Specialists on
Conference_Location :
Novosibirsk
Print_ISBN :
978-1-4799-4669-3
DOI :
10.1109/EDM.2014.6882500
