Новости
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
17 Февраля, 2025
Конкурс на замещение должности
Метод проверки линеаризуемости многопоточных Java программ.
Аннотация
В статье описывается новый метод Sapsan. Он предназначен для функционального тестирования Java программ, предоставляющих программный интерфейс (API), процедуры (операции) которого можно вызывать из нескольких потоков одновременно. Метод Sapsan позволяет проверять одно из распространенных требований к таким программам – требование линеаризуемости, заключающееся в том, что параллельное выполнение операций эквивалентно н екоторому последовательному выполнению этих же операций, удовлетворяющему спецификации.
Издание
Труды Института системного программирования РАН, том 16, 2009, стр. 89-106.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf
