Abstract
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 language | English |
|---|---|
| Pages (from-to) | 1128-1133 |
| Number of pages | 6 |
| Journal | Russian Physics Journal |
| Volume | 58 |
| Issue number | 8 |
| DOIs | |
| Publication status | Published - 1 Dec 2015 |
Fingerprint
Keywords
- digital components
- FPGA technology
- mutants
- testing
- verification
ASJC Scopus subject areas
- Physics and Astronomy(all)
Cite this
Mutation Testing for Effective Verification of Digital Components of Physical Systems. / Kushik, N. G.; Evtushenko, N. V.; Torgaev, S. N.
In: Russian Physics Journal, Vol. 58, No. 8, 01.12.2015, p. 1128-1133.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Mutation Testing for Effective Verification of Digital Components of Physical Systems
AU - Kushik, N. G.
AU - Evtushenko, N. V.
AU - Torgaev, S. N.
PY - 2015/12/1
Y1 - 2015/12/1
N2 - 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.
AB - 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.
KW - digital components
KW - FPGA technology
KW - mutants
KW - testing
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=84956891930&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84956891930&partnerID=8YFLogxK
U2 - 10.1007/s11182-015-0622-6
DO - 10.1007/s11182-015-0622-6
M3 - Article
AN - SCOPUS:84956891930
VL - 58
SP - 1128
EP - 1133
JO - Russian Physics Journal
JF - Russian Physics Journal
SN - 1064-8887
IS - 8
ER -