Mutation Testing for Effective Verification of Digital Components of Physical Systems

N. G. Kushik, N. V. Evtushenko, S. N. Torgaev

Research output: Contribution to journalArticlepeer-review


Digital components of modern physical systems are often designed applying circuitry solutions based on the field programmable gate array technology (FPGA). Such (embedded) digital components should be carefully tested. In this paper, an approach for the verification of digital physical system components based on mutation testing is proposed. The reference description of the behavior of a digital component in the hardware description language (HDL) is mutated by introducing into it the most probable errors and, unlike mutants in high-level programming languages, the corresponding test case is effectively derived based on a comparison of special scalable representations of the specification and the constructed mutant using various logic synthesis and verification systems.

Original languageEnglish
Pages (from-to)1128-1133
Number of pages6
JournalRussian Physics Journal
Issue number8
Publication statusPublished - 1 Dec 2015


  • digital components
  • FPGA technology
  • mutants
  • testing
  • verification

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Fingerprint Dive into the research topics of 'Mutation Testing for Effective Verification of Digital Components of Physical Systems'. Together they form a unique fingerprint.

Cite this