On using program specifications in hardware testing

Nikita P. Shatilov, Danil S. Kozhevnikov, Natalya G. Kushik, Stanislav N. Torgaev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationInternational Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM
PublisherIEEE Computer Society
Pages154-157
Number of pages4
ISBN (Print)9781479946686
DOIs
Publication statusPublished - 2014
Event2014 IEEE 15th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2014 - Altai, Russian Federation
Duration: 30 Jun 20144 Jul 2014

Other

Other2014 IEEE 15th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2014
CountryRussian Federation
CityAltai
Period30.6.144.7.14

Fingerprint

specifications
hardware
Specifications
Hardware
Testing
computer programs
Cryptography
software development tools
integers

Keywords

  • DES cryptosystem
  • software/hardware testing
  • testing

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Atomic and Molecular Physics, and Optics

Cite this

Shatilov, N. P., Kozhevnikov, D. S., Kushik, N. G., & Torgaev, S. N. (2014). On using program specifications in hardware testing. In International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM (pp. 154-157). [6882500] IEEE Computer Society. https://doi.org/10.1109/EDM.2014.6882500

On using program specifications in hardware testing. / Shatilov, Nikita P.; Kozhevnikov, Danil S.; Kushik, Natalya G.; Torgaev, Stanislav N.

International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, 2014. p. 154-157 6882500.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Shatilov, NP, Kozhevnikov, DS, Kushik, NG & Torgaev, SN 2014, On using program specifications in hardware testing. in International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM., 6882500, IEEE Computer Society, pp. 154-157, 2014 IEEE 15th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2014, Altai, Russian Federation, 30.6.14. https://doi.org/10.1109/EDM.2014.6882500
Shatilov NP, Kozhevnikov DS, Kushik NG, Torgaev SN. On using program specifications in hardware testing. In International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society. 2014. p. 154-157. 6882500 https://doi.org/10.1109/EDM.2014.6882500
Shatilov, Nikita P. ; Kozhevnikov, Danil S. ; Kushik, Natalya G. ; Torgaev, Stanislav N. / On using program specifications in hardware testing. International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, 2014. pp. 154-157
@inproceedings{e4c097f3d0644928a6f5b42e9a3b1407,
title = "On using program specifications in hardware testing",
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 = "DES cryptosystem, software/hardware testing, testing",
author = "Shatilov, {Nikita P.} and Kozhevnikov, {Danil S.} and Kushik, {Natalya G.} and Torgaev, {Stanislav N.}",
year = "2014",
doi = "10.1109/EDM.2014.6882500",
language = "English",
isbn = "9781479946686",
pages = "154--157",
booktitle = "International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - On using program specifications in hardware testing

AU - Shatilov, Nikita P.

AU - Kozhevnikov, Danil S.

AU - Kushik, Natalya G.

AU - Torgaev, Stanislav N.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - DES cryptosystem

KW - software/hardware testing

KW - testing

UR - http://www.scopus.com/inward/record.url?scp=84907414774&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84907414774&partnerID=8YFLogxK

U2 - 10.1109/EDM.2014.6882500

DO - 10.1109/EDM.2014.6882500

M3 - Conference contribution

AN - SCOPUS:84907414774

SN - 9781479946686

SP - 154

EP - 157

BT - International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM

PB - IEEE Computer Society

ER -