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