Новости
07 Октября, 2023
Защита диссертаций
20 Сентября, 2023
Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году
08 Сентября, 2023
Напоминаем, что в Москве начались выборы Мэра
Метод проверки линеаризуемости многопоточных Java программ.
Аннотация
В статье описывается новый метод Sapsan. Он предназначен для функционального тестирования Java программ, предоставляющих программный интерфейс (API), процедуры (операции) которого можно вызывать из нескольких потоков одновременно. Метод Sapsan позволяет проверять одно из распространенных требований к таким программам – требование линеаризуемости, заключающееся в том, что параллельное выполнение операций эквивалентно н екоторому последовательному выполнению этих же операций, удовлетворяющему спецификации.
Издание
Труды Института системного программирования РАН, том 16, 2009, стр. 89-106.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf
