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