|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessorsстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 20 апреля 2016 г.
- Авторы: Kamkin A., Petrochenkov M.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 27
- Номер: 3
- Год издания: 2015
- Первая страница: 149
- Последняя страница: 160
- DOI: 10.15514/ISPRAS-2015-27(3)-11
- Аннотация: The paper describes a method for constructing test oracles for memory subsystems of multicore microprocessors. The method is based on using nondeterministic reference models of systems under test. The key idea of the approach is on-the-fly determinization of the model behavior by using reactions from the system. Every time a nondeterministic choice appears in the reference model, additional model instances are created and launched (each simulating a possible variant of the system behavior). When the testbench receives a reaction from the system under test, it terminates all model instances whose behavior is inconsistent with that reaction. An error is detected if there is no active instance of the model. The suggested method was used to verify the L3 cache of Elbrus-8C microprocessor and allowed finding three bugs.
- Добавил в систему: Камкин Александр Сергеевич