Mutation Testing for Effective Verification of Digital Components of Physical Systems; Russian Physics Journal; Vol. 58, № 8
| Parent link: | Russian Physics Journal.— , 1965- Vol. 58, № 8.— 2015.— [P. 1128-1133] |
|---|---|
| Tác giả chính: | |
| Tác giả của công ty: | |
| Tác giả khác: | , |
| Tóm tắt: | Title screen 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. Режим доступа: по договору с организацией-держателем ресурса |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
2015
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://dx.doi.org/10.1007/s11182-015-0622-6 |
| Định dạng: | Điện tử Chương của sách |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=647577 |
MARC
| LEADER | 00000naa0a2200000 4500 | ||
|---|---|---|---|
| 001 | 647577 | ||
| 005 | 20250213154933.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\12717 | ||
| 035 | |a RU\TPU\network\12605 | ||
| 090 | |a 647577 | ||
| 100 | |a 20160415d2015 k||y0rusy50 ba | ||
| 101 | 0 | |a eng | |
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Mutation Testing for Effective Verification of Digital Components of Physical Systems |f N. G. Kushik, N. V. Evtushenko, S. N. Torgaev | |
| 203 | |a Text |c electronic | ||
| 300 | |a Title screen | ||
| 320 | |a [References: p. 1133 (17 tit.)] | ||
| 330 | |a 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. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Russian Physics Journal |d 1965- | ||
| 463 | |t Vol. 58, № 8 |v [P. 1128-1133] |d 2015 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 700 | 1 | |a Kushik |b N. G. |g Nataljya Gennadjevna | |
| 701 | 1 | |a Evtushenko |b N. V. |g Nina Vladimirovna | |
| 701 | 1 | |a Torgaev |b S. N. |c specialist in the field of electronics |c associate Professor of Tomsk Polytechnic University, candidate of physico-mathematical Sciences |f 1984- |g Stanislav Nikolaevich |3 (RuTPU)RU\TPU\pers\31663 |9 15800 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет |b Институт неразрушающего контроля |b Кафедра промышленной и медицинской электроники |3 (RuTPU)RU\TPU\col\18719 |9 27169 |
| 801 | 2 | |a RU |b 63413507 |c 20160415 |g RCR | |
| 856 | 4 | |u http://dx.doi.org/10.1007/s11182-015-0622-6 | |
| 942 | |c CF | ||