An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

Συγγραφείς: I. . Melnichenko, A. . Kamkin, S. . Smolov

Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 161-182 (2018)

Θεματικοί όροι: проектирование аппаратуры, язык описания аппаратуры, имитационная верификация, генерация тестов, моделирование, расширенный конечный автомат, обход графа, случайный обход, поиск с возвратами, символическое исполнение, разрешение ограничений, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/644; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/f458ed7a4f804d708ac53b93c9240478

AN EXTENDED FINITE STATE MACHINE-BASED APPROACH TO CODE COVERAGE-DIRECTED TEST GENERATION FOR HARDWARE DESIGNS

Συγγραφείς: MELNICHENKO I., KAMKIN A., SMOLOV S.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ АППАРАТУРЫ, ЯЗЫК ОПИСАНИЯ АППАРАТУРЫ, ИМИТАЦИОННАЯ ВЕРИФИКАЦИЯ, ГЕНЕРАЦИЯ ТЕСТОВ, МОДЕЛИРОВАНИЕ, РАСШИРЕННЫЙ КОНЕЧНЫЙ АВТОМАТ, ОБХОД ГРАФА, СЛУЧАЙНЫЙ ОБХОД, ПОИСК С ВОЗВРАТАМИ, СИМВОЛИЧЕСКОЕ ИСПОЛНЕНИЕ, РАЗРЕШЕНИЕ ОГРАНИЧЕНИЙ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/an-extended-finite-state-machine-based-approach-to-code-coverage-directed-test-generation-for-hardware-designs
http://cyberleninka.ru/article_covers/15899114.png