A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors

Authors: Alexander Kamkin, Mikhail Petrochenkov

Source: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 149-160 (2018)

Subject Terms: многоядерные микропроцессоры, кэш-память, консистентность памяти, протоколы когерентности, функциональная верификация, тестирование на основе моделей, автоматизация разработки тестов, тестовый оракул, «эльбрус-8c», Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/5d7462bd39834489ac29b6acc5f68097

A MODEL-BASED APPROACH TO DESIGN TEST ORACLES FOR MEMORY SUBSYSTEMS OF MULTICORE MICROPROCESSORS

Authors: KAMKIN ALEXANDER, PETROCHENKOV MIKHAIL

Subject Terms: МНОГОЯДЕРНЫЕ МИКРОПРОЦЕССОРЫ, КЭШ-ПАМЯТЬ, КОНСИСТЕНТНОСТЬ ПАМЯТИ, ПРОТОКОЛЫ КОГЕРЕНТНОСТИ, ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ТЕСТОВ, ТЕСТОВЫЙ ОРАКУЛ, "ЭЛЬБРУС-8C"

File Description: text/html

Availability: http://cyberleninka.ru/article/n/a-model-based-approach-to-design-test-oracles-for-memory-subsystems-of-multicore-microprocessors
http://cyberleninka.ru/article_covers/15899113.png