Zobrazeno 1 - 4
of 4
pro vyhledávání: '"построение тестовых программ"'
Autor:
D. N. Vorobyev, A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)
In this work, a method for the automated test programs generation aimed at the verification of microprocessor control logic is considered. The method is based on formal specification of a microprocessor instruction set and description of pipeline haz
Externí odkaz:
https://doaj.org/article/24c5594b039e4243a3ceebf75f6e809a
Autor:
A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)
In this work, some issues of automated construction of test programs intended for functional verification of branch units of microprocessors are considered. Problems appearing when creating such programs are defined, and techniques for their automate
Externí odkaz:
https://doaj.org/article/eba638d98234499ba0778eb38c4b6ed6
Publikováno v:
Труды Института системного программирования РАН.
В работе рассматриваются вопросы автоматизированного построения тестовых программ, предназначенных для функциональной верификации м
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::5e03455bb65e2c74c890d36844b879ff
http://cyberleninka.ru/article/n/nekotorye-voprosy-avtomatizatsii-postroeniya-testovyh-programm-dlya-moduley-obrabotki-perehodov-mikroprotsessorov
http://cyberleninka.ru/article/n/nekotorye-voprosy-avtomatizatsii-postroeniya-testovyh-programm-dlya-moduley-obrabotki-perehodov-mikroprotsessorov
Publikováno v:
Труды Института системного программирования РАН.
В работе рассматривается методика автоматизированного построения тестовых программ для верификации управляющей логики микропроцессо
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::a1bfb796f53adc464e8ed1c1fda2d1c3
http://cyberleninka.ru/article_covers/13969851.png
http://cyberleninka.ru/article_covers/13969851.png
